Travelled to:1 × France
1 × Germany
1 × Spain
2 × Italy
2 × USA
Collaborated with:∅ G.P.Brat G.Brat J.A.Navas N.Shi
Talks about:analysi (5) program (3) nonuniform (2) abstract (2) scalabl (2) static (2) domain (2) embed (2) array (2) alia (2)
Person: Arnaud Venet
DBLP: Venet:Arnaud
Contributed to:
2014
2012
2004
2004200219981996Wrote 7 papers:
- SEFM-2014-BratNSV #abstract interpretation #framework #named #static analysis
- IKOS: A Framework for Static Analysis Based on Abstract Interpretation (GB, JAN, NS, AV), pp. 271–277.
- CAV-2012-Venet #analysis #difference #invariant #linear #scalability
- The Gauge Domain: Scalable Analysis of Linear Inequality Invariants (AV), pp. 139–154.
- PLDI-2004-VenetB #array #bound #c #embedded #performance #precise #scalability #source code
- Precise and efficient static array bound checking for large embedded C programs (AV, GPB), pp. 231–242.
- SAS-2004-Venet #analysis #embedded #pointer #scalability #source code
- A Scalable Nonuniform Pointer Analysis for Embedded Programs (AV), pp. 149–164.
- SAS-2002-Venet #alias #analysis #array #data type #recursion
- Nonuniform Alias Analysis of Recursive Data Structures and Arrays (AV), pp. 36–51.
- SAS-1998-Venet #automation #communication #mobile
- Automatic Determination of Communication Topologies in Mobile Systems (AV), pp. 152–167.
- SAS-1996-Venet #alias #analysis #source code
- Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs (AV), pp. 366–382.