Arnaud Venet-Silicon Valley Campus - Carnegie Mellon University

Skip navigation and jump directly to page content

|Silicon Valley Campus| > Faculty & Staff > Arnaud Venet

Contact Info:
Arnaud Venet
Carnegie Mellon University
Silicon Valley
MS 269-3, Bldg. 269, Rm. 234
P.O. Box 1
Moffett Field, CA 94035-0001
Phone: 650-604-1337
Fax: 650-604-4036
Email: arnaud.j.venet@nasa.gov
Web page: http://ti.arc.nasa.gov/profile/arnaud/

Arnaud Venet, Sr. Research Scientist

Areas of Interest:

Static analysis, automated software verification, embedded systems, cybersecurity, compiler technology

Education

M.Sc. Mathematics & Computer Science, École Normale Supérieure, France, 1995
Ph.D. Computer Science, École Polytechnique, France, 1998

Overview:

Dr. Arnaud Venet’s main research area is static program analysis by Abstract Interpretation. He is the architect of a static analyzer for C programs named C Global Surveyor (CGS). CGS has been applied to the flight software of several NASA missions such as Mars missions (MPF, DS1, MER) and some ISS payload software (UPA). CGS has been shown to scale to codes over 550K LOC. Dr. Venet’s research work focuses on algorithms and techniques for specializing static analyzers in order to achieve high precision and performance on large codes. He has designed a static analyzer generator named CodeHawk that allows the rapid development of customized static analyzers. Dr. Venet is currently working on a static analyzer for C/C++ targeted to flight software developed under the Integrated Modular Avionics framework.