Active Bibliography

ACKNOWLEDGMENTS – Gogul Balakrishnan, Gogul Balakrishnan
To my beloved grandma Rajakrishnammal... – Gogul Balakrishnan - 2007
20 Intermediate-Representation Recovery from Low-Level Code – Thomas Reps, Gogul Balakrishnan, Junghee Lim - 2006
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
14 A Next-Generation Platform for Analyzing Executables – T. Reps, G. Balakrishnan, J. Lim, T. Teitelbaum - 2005
389 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
19 Static Program Analysis via 3-Valued Logic – Thomas Reps, Mooly Sagiv, Reinhard Wilhelm - 2004
12 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