Active Bibliography

20 Intermediate-Representation Recovery from Low-Level Code – Thomas Reps, Gogul Balakrishnan, Junghee Lim - 2006
14 A Next-Generation Platform for Analyzing Executables – T. Reps, G. Balakrishnan, J. Lim, T. Teitelbaum - 2005
19 Static Program Analysis via 3-Valued Logic – Thomas Reps, Mooly Sagiv, Reinhard Wilhelm - 2004
contributed articles A Decade of Software Model Checking with SLAM – Thomas Ball
11 A Decade of Software Model Checking with SLAM – Thomas Ball, Vladimir Levin, Sriram K. Rajamani
8 Improved Memory-Access Analysis for x86 Executables – Thomas Reps, Gogul Balakrishnan
26 Polymorphic predicate abstraction – Thomas Ball, Todd Millstein, Sriram K. Rajamani - 2000
Program Verification by . . . – Ranjit Jhala - 2004
63 SLAM and static driver verifier: Technology transfer of formal methods inside Microsoft – Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani - 2004
385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
for Machine Code ∗ – Akash Lal, Junghee Lim, Thomas Reps, Akash Lal, Junghee Lim, Thomas Reps
13 CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS – John Whaley, Monica S. Lam - 2007
22 Model checking C programs using F-Soft – Franjo Ivančić, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang - 2005
27 Efficient Verification of Sequential and Concurrent C Programs – Sagar Chaki, Edmund Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav - 2003
ACKNOWLEDGMENTS – Akash Lal
Intraprocedural Analysis and the Verification of Concurrent Programs – Akash Lal - 2009
141 Thorough Static Analysis of Device Drivers – Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner - 2006
1 Debugging concurrent programs with sequential analysis – Shaz Qadeer