1. Detecting equality of variables in programs
2. C. Scott Ananian and Martin Rinard . 1999. Static Single Information Form. Master’s Thesis , Massachussets Institute of Technology . C. Scott Ananian and Martin Rinard. 1999. Static Single Information Form. Master’s Thesis, Massachussets Institute of Technology.
3. Manuel Arenaz , Pedro Amoedo , and Juan Touriño . 2008. Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers . In Euro-Par 2008 – Parallel Processing, Emilio Luque, Tomàs Margalef, and Domingo Benítez (Eds.) . Springer Berlin Heidelberg , Berlin, Heidelberg . 360–369. isbn:978-3-540-85451-7 Manuel Arenaz, Pedro Amoedo, and Juan Touriño. 2008. Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers. In Euro-Par 2008 – Parallel Processing, Emilio Luque, Tomàs Margalef, and Domingo Benítez (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 360–369. isbn:978-3-540-85451-7
4. Formal Verification of an SSA-Based Middle-End for CompCert
5. S. Blazy , V. Laporte , A. Maroneze , and D. Pichardie . 2013. Formal Verification of a C Value Analysis Based on Abstract Interpretation . In SAS (LNCS , Vol. 7935). Springer, 324– 344 . S. Blazy, V. Laporte, A. Maroneze, and D. Pichardie. 2013. Formal Verification of a C Value Analysis Based on Abstract Interpretation. In SAS (LNCS, Vol. 7935). Springer, 324–344.