Travelled to:
1 × USA
2 × United Kingdom
Collaborated with:
J.Leroux S.Bardin E.Fleury O.Ly A.Vincent
Talks about:
framework (1) presburg (1) arithmet (1) insight (1) analysi (1) talenc (1) releas (1) extend (1) binari (1) suit (1)
Person: Gérald Point
DBLP: Point:G=eacute=rald
Contributed to:
Wrote 3 papers:
- TACAS-2015-FleuryLPV #analysis #framework #named
- Insight: An Open Binary Analysis Framework (EF, OL, GP, AV), pp. 218–224.
- TACAS-2009-LerouxP #named
- TaPAS: The Talence Presburger Arithmetic Suite (JL, GP), pp. 182–185.
- CAV-2006-BardinLP #performance
- FAST Extended Release (SB, JL, GP), pp. 63–66.