Arnaud Venet

20 papers A* 2B 5Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Taming Scope Extrusion in Gradual Imperative Metaprogramming.
CoRR
Tianyu Chen, Darshal Shetty, Jeremy G. Siek, Chao-Hong Chen, Weixi Ma, Arnaud Venet, Rocky Liu
2025 J jnl
Gradual Metaprogramming.
CoRR
Tianyu Chen, Darshal Shetty, Jeremy G. Siek, Chao-Hong Chen, Weixi Ma, Arnaud Venet, Rocky Liu
2024 — conf
F3: A Compiler for Feature Engineering.
FUNARCH
Weixi Ma, Siyu Wang, Arnaud Venet, Junhua Gu, Subbu Subramanian, Rocky Liu, Yafei Yang, Daniel P. Friedman
2015 J jnl
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation.
CoRR
Mendes Oulamara, Arnaud Venet
2014 — ed.
Fifth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2014, Munich, Germany, September 10, 2014
NSAD@SAS
Axel Simon, Arnaud Venet
2014 B conf
IKOS: A Framework for Static Analysis Based on Abstract Interpretation.
SEFM
Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet
2014 — conf
Preface.
NSAD
Axel Simon, Arnaud Venet
2013 — ed.
NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods
Guillaume Brat, Neha Rungta, Arnaud Venet
2012 A* conf
The Gauge Domain: Scalable Analysis of Linear Inequality Invariants.
CAV
Arnaud Venet
2010 — conf
Software Model Checking of ARINC-653 Flight Code with MCP.
NASA Formal Methods
Sarah Thompson, Guillaume P. Brat, Arnaud Venet
2010 — conf
Static analysis for software assurance: soundness, scalability and adaptiveness.
FoSER
Arnaud Venet, Michael R. Lowry
2005 — conf
Towards the Integration of Symbolic and Numerical Static Analysis.
VSTTE
Arnaud Venet
2004 B conf
A Scalable Nonuniform Pointer Analysis for Embedded Programs.
SAS
Arnaud Venet
2004 J jnl
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software.
Formal Methods Syst. Des.
Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
2004 A* conf
Precise and efficient static array bound checking for large embedded C programs.
PLDI
Arnaud Venet, Guillaume P. Brat
2002 B conf
Nonuniform Alias Analysis of Recursive Data Structures and Arrays.
SAS
Arnaud Venet
1999 J jnl
Automatic Analysis of Pointer Aliasing for Untyped Programs.
Sci. Comput. Program.
Arnaud Venet
1998 B conf
Automatic Determination of Communication Topologies in Mobile Systems.
SAS
Arnaud Venet
1996 B conf
Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs.
SAS
Arnaud Venet
1996 — conf
Abstract Interpretation of the pi-Calculus.
LOMAPS
Arnaud Venet