Arnaud Venet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1996–2014
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SEFM | IKOS: A Framework for Static Analysis Based on Abstract Interpretation. | Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet |
| 2012 | CAV | The Gauge Domain: Scalable Analysis of Linear Inequality Invariants. | Arnaud Venet |
| 2004 | PLDI | Precise and efficient static array bound checking for large embedded C programs. | Arnaud Venet, Guillaume P. Brat |
| 2004 | SAS | A Scalable Nonuniform Pointer Analysis for Embedded Programs. | Arnaud Venet |
| 2002 | SAS | Nonuniform Alias Analysis of Recursive Data Structures and Arrays. | Arnaud Venet |
| 1998 | SAS | Automatic Determination of Communication Topologies in Mobile Systems. | Arnaud Venet |
| 1996 | SAS | Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs. | Arnaud Venet |