Analyzing Memory Accesses in x86 Executables. - Gogul Balakrishnan; Thomas W. Reps (CC, 2004)

A Next-Generation Platform for Analyzing Executables. - Thomas W. Reps; Gogul Balakrishnan; Junghee Lim; Tim Teitelbaum (APLAS, 2005)

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. - Gogul Balakrishnan; Thomas W. Reps; Nicholas Kidd; Akash Lal; Junghee Lim; David Melski; Radu Gruian; Suan Hsi Yong; Chi-Hua Chen; Tim Teitelbaum (CAV, 2005)

Extended Weighted Pushdown Systems. - Akash Lal; Thomas W. Reps; Gogul Balakrishnan (CAV, 2005)

CodeSurfer/x86-A Platform for Analyzing x86 Executables. - Gogul Balakrishnan; Radu Gruian; Thomas W. Reps; Tim Teitelbaum (CC, 2005)

WYSINWYX: What You See Is Not What You eXecute. - Gogul Balakrishnan; Thomas W. Reps; David Melski; Tim Teitelbaum (VSTTE, 2005)

Intermediate-representation recovery from low-level code. - Thomas W. Reps; Gogul Balakrishnan; Junghee Lim (PEPM, 2006)

Recency-Abstraction for Heap-Allocated Storage. - Gogul Balakrishnan; Thomas W. Reps (SAS, 2006)

DIVINE: DIscovering Variables IN Executables. - Gogul Balakrishnan; Thomas W. Reps (VMCAI, 2007)

A Next-Generation Platform for Analyzing Executables. - Thomas W. Reps; Gogul Balakrishnan; Junghee Lim; Tim Teitelbaum (Malware Detection, 2007)

Improved Memory-Access Analysis for x86 Executables. - Thomas W. Reps; Gogul Balakrishnan (CC, 2008)

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. - Gogul Balakrishnan; Sriram Sankaranarayanan 001; Franjo Ivancic; Ou Wei; Aarti Gupta (SAS, 2008)

PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes. - Gogul Balakrishnan; Malay K. Ganai (SEFM, 2008)

Analyzing Stripped Device-Driver Executables. - Gogul Balakrishnan; Thomas W. Reps (TACAS, 2008)

Refining the control structure of loops using static analysis. - Gogul Balakrishnan; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (EMSOFT, 2009)

There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. - Thomas W. Reps; Junghee Lim; Aditya V. Thakur; Gogul Balakrishnan; Akash Lal (CAV, 2010)

Scalable and precise program analysis at NEC. - Gogul Balakrishnan; Malay K. Ganai; Aarti Gupta; Franjo Ivancic; Vineet Kahlon; Weihong Li; Naoto Maeda; Nadia Papakonstantinou; Sriram Sankaranarayanan 001; Nishant Sinha 001; Chao Wang 001 (FMCAD, 2010)

WYSINWYX: What you see is not what you eXecute. - Gogul Balakrishnan; Thomas W. Reps (ACM Trans. Program. Lang. Syst., 2010)

Interprocedural Exception Analysis for C++. - Prakash Prabhu; Naoto Maeda; Gogul Balakrishnan; Franjo Ivancic; Aarti Gupta (ECOOP, 2011)

Modeling and Analyzing the Interaction of C and C++ Strings. - Gogul Balakrishnan; Naoto Maeda; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta; Rakesh Pothengil (FoVeOOS, 2011)

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

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

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. - Jing Yang 003; Gogul Balakrishnan; Naoto Maeda; Franjo Ivancic; Aarti Gupta; Nishant Sinha 001; Sriram Sankaranarayanan 001; Naveen Sharma (CC, 2012)

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

Feedback-directed unit test generation for C/C++ using concolic execution. - Pranav Garg 001; Franjo Ivancic; Gogul Balakrishnan; Naoto Maeda; Aarti Gupta (ICSE, 2013)

SETSUDŌ: perturbation-based testing framework for scalable distributed systems. - Pallavi Joshi; Malay K. Ganai; Gogul Balakrishnan; Aarti Gupta; Nadia Papakonstantinou (TRIOS@SOSP, 2013)

ARC++: effective typestate and lifetime dependency analysis. - Xusheng Xiao; Gogul Balakrishnan; Franjo Ivancic; Naoto Maeda; Aarti Gupta; Deepak Chhetri (ISSTA, 2014)

Environment-Sensitive Performance Tuning for Distributed Service Orchestration. - Yu Lin; Franjo Ivancic; Pallavi Joshi; Gogul Balakrishnan; Malay K. Ganai; Aarti Gupta (VECPAR, 2014)

Scalable and scope-bounded software verification in Varvel. - Franjo Ivancic; Gogul Balakrishnan; Aarti Gupta; Sriram Sankaranarayanan 001; Naoto Maeda; Takashi Imoto; Rakesh Pothengil; Mustafa Hussain (Autom. Softw. Eng., 2015)

Learning and Evaluating Contextual Embedding of Source Code. - Aditya Kanade 001; Petros Maniatis; Gogul Balakrishnan; Kensen Shi (ICML, 2020)

Pre-trained Contextual Embedding of Source Code. - Aditya Kanade 001; Petros Maniatis; Gogul Balakrishnan; Kensen Shi (CoRR, 2020)