Active Bibliography

52 WYSINWYX: What You See Is Not What You eXecute – Gogul Balakrishnan, Thomas Reps - 2009
8 Improved Memory-Access Analysis for x86 Executables – Thomas Reps, Gogul Balakrishnan
3 A Practical and Precise Inference and Specializer for Array Bound Checks Elimination – Corneliu Popeea
8 Deriving Pre-conditions for Array Bound Check Elimination – Wei-ngan Chin, Siau-cheng Khoo, Dana N. Xu - 2001
26 DIVINE: DIscovering Variables IN Executables – Gogul Balakrishnan, Thomas Reps - 2007
20 Intermediate-Representation Recovery from Low-Level Code – Thomas Reps, Gogul Balakrishnan, Junghee Lim - 2006
1 Modular inference for array checks optimization – Dana N. Xu, Corneliu Popeea, Siau-cheng Khoo, Wei-ngan Chindepartment, Computer Science - 2003
22 Static Analysis and Computer Security: New techniques for software assurance – David A. Wagner - 2000
54 Safety checking of machine code – Zhichen Xu, Barton P. Miller, Thomas Reps - 2000
44 Buffer Overrun Detection using Linear Programming and Static Analysis – Vinod Ganapathy, Somesh Jha - 2003
31 Static analysis in disjunctive numerical domains – Sriram Sankaranarayanan, Franjo Ivančić, Ilya Shlyakhter, Aarti Gupta - 2006
14 A Next-Generation Platform for Analyzing Executables – T. Reps, G. Balakrishnan, J. Lim, T. Teitelbaum - 2005
28 Abstract interpretation based formal methods and future challenges, invited paper – Patrick Cousot - 2001
Form Methods Syst Des DOI 10.1007/s10703-009-0089-6 Why does ASTRÉE scale up? – Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival
20 A few graph-based relational numerical abstract domains – Antoine Miné - 2002
5 Why does ASTRÉE scale up? – Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival - 2009
and – Franjo Ivančić, Sriram Sankaranarayanan, Aarti Gupta, Ilya Shlyakhter
12 Program analysis using symbolic ranges – Sriram Sankaranarayanan, Franjo Ivančić, Aarti Gupta - 2007
2 Towards Precise and Scalable Verification of Embedded Software – Malay K. Ganai, Aarti Gupta, Franjo Ivančić, Vineet Kahlon, Weihong Li, Nadia Papakonstantinou, Sriram Sankaranarayanan, Chao Wang