Statistics
Publications
1
Citations
35
H-Index
1
Active since
2000
Affiliations
École Polytechnique(Current)
Dagenais is an author at École Polytechnique specializing in symbolic execution of kernel code, compilers, and code generation.
Publications per year
2000–2000
1
1
C/C++ conditional compilation analysis using symbolic execution
1–1 of 1