Home > Research
Technical Presentations
Conference and External Seminar Presentations
- "Scalable Program Analysis at NEC," Dagstuhl Seminar on
Pointer Analysis (13162), April 2013.
- "Object Model Construction for Inheritance in C++ and Its
Applications to Program Analysis," Intl. Conf. on Compiler
Construction (CC), Tallinn, Estonia, March 2012.
- "Tale of two tools: BEST & GIRA," Dagstuhl Seminar on
Executable Analysis (12051), Jan 2012.
- " DC2: A framework for scalable, scope-bounded software
verification," Intl. Conf. on Automated on Software
Engg. (ASE), Lawrence, Kansas, November 2011.
- "Refining the control structure of loops using static analysis,"
Intl. Conf. on Embedded Software (EMSOFT), Grenoble, France, Oct 2009.
- "SLR: Path-Sensitive Analysis Through
Infeasible-Path Detection and Syntactic-Language Refinement,"
Static Analysis Symposium (SAS), Valencia, Spain, June 2008.
- "Analyzing Stripped Device Driver Executables,"
Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Budapest, Hungary, March 2008.
- "WYSINWYX: What You See Is Not What You eXecute,"
- ROSAEC Center, Seoul National University, June 02, 2009.
- IMDEA, Madrid, Spain, June 2008.
- North East Verification (NEVER) Seminar, U Penn, Philadelphia, PA, Nov 2007.
- Ph.D Defense at UW Madison, Aug 2, 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.
Presentations to Funding Agencies
- "Identifying Variables in x86 Executables,"
ONR MURI Workshop, Arlington, Virginia, February 14, 2005.
- "Analyzing Memory Accesses in x86 Executables,"
- ONR MURI Workshop, Pittsburgh, Pennsylvania, July 23, 2003.
- ONR MURI Workshop, Williamsburg, Virginia, January 28, 2003.
- ONR MURI Workshop, Harpers Ferry, West Virginia, July 12, 2002.
- ONR MURI Workshop, Washington, DC, January 15, 2002.
Conference and External Seminar Presentations
- ROSAEC Center, Seoul National University, June 02, 2009.
- IMDEA, Madrid, Spain, June 2008.
- North East Verification (NEVER) Seminar, U Penn, Philadelphia, PA, Nov 2007.
- Ph.D Defense at UW Madison, Aug 2, 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.
- 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.
Presentations to Funding Agencies
- ONR MURI Workshop, Pittsburgh, Pennsylvania, July 23, 2003.
- ONR MURI Workshop, Williamsburg, Virginia, January 28, 2003.
- ONR MURI Workshop, Harpers Ferry, West Virginia, July 12, 2002.
- ONR MURI Workshop, Washington, DC, January 15, 2002.