"...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 [PGP Public Key]

I have graduated. I am a research staff member at NEC Laboratories America, Inc. starting October 2007. Find out where I am right now and if I am available.

• Balakrishnan, G., Sankaranarayanan, S., Ivancic, F., and Gupta, A., Refining the Control Structure of Loops using Static Analysis, EMSOFT 2009 (to appear).
  
  
• 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. (to appear)
  
  
• 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 (to appear). [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 (to appear).
  
  
• 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]
  
  
• [Complete List]