Home > Research
Talks
- "WYSINWYX: What You See Is Not What You eXecute",
- North East Verification (NEVER) Seminar, U Penn, Philadelphia, PA, Nov 2007.
- IBM Research, Hawthorne, NY, May 2007.
- GrammaTech, Inc., Ithaca, NY, April 2007.
- NEC Labs, Princeton, NJ, March 2007.
- Microsoft Research, Bangalore, India, August 2006.
- IBM India Research Lab, New Delhi, India, August 2006.
- "Recency-Abstraction for Heap-Allocated Storage",
Static Analysis Symposium (SAS), Seoul, South Korea, August 2006.
- "Model Checking x86 Executables with CodeSurfer/x86 and WPDS++",
Conference on Computer Aided Verification (CAV), Scotland, UK, July
2005.
- "CodeSurfer/x86 - A Platform for Analyzing x86 Executables"
Conference on Compiler Construction (CC), Scotland, UK, April 2005.
- "Analyzing Memory Accesses in x86 Executables",
- CSA Dept., Indian Institute of Science (IISc), Bangalore, India, August 2004.
- CSE Dept., Anna University, Chennai, India, August 2004.
- CS Dept., Indian Institute of Technology (IIT), Chennai, India, August 2004.
- Conference on Compiler Construction (CC), Barcelona, Spain, April 2004.
- IBM Watson Research Center, Hawthorne, NY, USA, December 2003.
- Dagstuhl Seminar on Language-based Security, Germany, October 2003.