Home

Photgraph of Gogul "...There is neither happiness nor misfortune in this world. There is merely a comparison between one state and another, nothing more. - Edmond Dantès"

Gogul Balakrishnan,
NEC Laboratories America, Inc.
4 Independence Way, Ste 200
Princeton, NJ 08540.

Phone: +1-609-951-2976

I have graduated. I am a research staff member at NEC Laboratories America, Inc. starting October 2007. Of late, I have taken a liking to photography.

Recent Publications
  • Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan and Naveen Sharma. Object Model Construction for Inheritance in C++ and its Applications to Program Analysis, In CC2012 (to appear).

  • Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta: Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. VMCAI 2012

  • Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki: DC2: A framework for scalable, scope-bounded software verification. ASE 2011

  • Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan: BEST: A symbolic testing tool for predicting multi-threaded program failures. ASE 2011

  • Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta: Interprocedural Exception Analysis for C++. ECOOP 2011

  • Reps, T., Lim, J., Thakur, A., Balakrishnan, G., and Lal, A., There's plenty of room at the bottom: Analyzing and verifying machine code (Invited tutorial). In Proc. Computer Aided Verification, July 2010.

  • Balakrishnan, G., and Reps, T., WYSINWYX: What You See Is Not What You eXecute, In Proc. TOPLAS, Vol 32, Nr. 6, Aug 2010. (Journal version of my thesis)

  • Balakrishnan, G., Sankaranarayanan, S., Ivancic, F., and Gupta, A., Refining the Control Structure of Loops using Static Analysis, EMSOFT 2009, Grenoble, France.

  • Balakrishnan, G. and Ganai, M., PED: Proof-guided Error Diagnosis by Triangulation of Program Error Causes, In Proc. of Software Engineering and Formal Methods (SEFM), Cape Town, South Africa, Nov 2008.

  • Balakrishnan, G., Sankaranarayanan, S., Ivancic, F., Wei, O., and Gupta, A., SLR: Path-Sensitive Analysis Through Infeasible-Path Detection and Syntactic-Language Refinement. In Proc. Static Analysis Symposium (SAS), Jul 2008.

  • Reps, T. and Balakrishnan, G., Improved Memory-Access Analysis for x86 Executables. In Proc. Compiler Construction, Budapest, Hungary, Apr 2008. [Paper accompanying a unifying invited talk at ETAPS 08.]

  • Balakrishnan G. and Reps, T., Analyzing stripped device-driver executables.
    In Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Budapest, Hungary, Apr. 2008.

  • WYSINWYX: What You See Is Not What You eXecute, Ph.D. dissertation and Tech. Rep. TR-1603, Computer Sciences Department, University of Wisconsin, Madison, WI, August 2007.

  • Balakrishnan, G. and Reps, T., DIVINE: DIscovering Variables IN eXecutables. In Proc. Conf. on Verification Model Checking and Abstract Interpretation (VMCAI), (Nice, France, Jan 14-17, 2007). [Invited Paper]

  • Balakrishnan G. and Reps, T., Recency-abstraction for heap-allocated storage.
    In Proc. 13th Static Analysis Symposium (SAS), Aug. 2006.

  • [Complete List]