Gogul Balakrishnan

Publication Activity (10 Years)

Years Active: 2004-2020
Publications (10 Years): 3

Top Topics

Dependency Analysis

Distributed Systems

Top Venues

Autom. Softw. Eng.

Publications

Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi
Learning and Evaluating Contextual Embedding of Source Code. ICML (2020)
Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi
Pre-trained Contextual Embedding of Source Code. CoRR (2020)
Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain
Scalable and scope-bounded software verification in Varvel. Autom. Softw. Eng. 22 (4) (2015)
Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri
ARC++: effective typestate and lifetime dependency analysis. ISSTA (2014)
Yu Lin, Franjo Ivancic, Pallavi Joshi, Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta
Environment-Sensitive Performance Tuning for Distributed Service Orchestration. VECPAR (2014)
Pallavi Joshi, Malay K. Ganai, Gogul Balakrishnan, Aarti Gupta, Nadia Papakonstantinou
SETSUDŌ: perturbation-based testing framework for scalable distributed systems. TRIOS@SOSP (2013)
Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
Feedback-directed unit test generation for C/C++ using concolic execution. ICSE (2013)
Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. VMCAI (2012)
Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. CC (2012)
Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan
BEST: A symbolic testing tool for predicting multi-threaded program failures. ASE (2011)
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)
Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil
Modeling and Analyzing the Interaction of C and C++ Strings. FoVeOOS (2011)
Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta
Interprocedural Exception Analysis for C++. ECOOP (2011)
Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang
Scalable and precise program analysis at NEC. FMCAD (2010)
Gogul Balakrishnan, Thomas W. Reps
WYSINWYX: What you see is not what you eXecute. ACM Trans. Program. Lang. Syst. 32 (6) (2010)
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. CAV (2010)
Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
Refining the control structure of loops using static analysis. EMSOFT (2009)
Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. SAS (2008)
Gogul Balakrishnan, Malay K. Ganai
PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes. SEFM (2008)
Gogul Balakrishnan, Thomas W. Reps
Analyzing Stripped Device-Driver Executables. TACAS (2008)
Thomas W. Reps, Gogul Balakrishnan
Improved Memory-Access Analysis for x86 Executables. CC (2008)
Gogul Balakrishnan, Thomas W. Reps
DIVINE: DIscovering Variables IN Executables. VMCAI (2007)
Thomas W. Reps, Gogul Balakrishnan, Junghee Lim
Intermediate-representation recovery from low-level code. PEPM (2006)
Gogul Balakrishnan, Thomas W. Reps
Recency-Abstraction for Heap-Allocated Storage. SAS (2006)
Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum
CodeSurfer/x86-A Platform for Analyzing x86 Executables. CC (2005)
Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. CAV (2005)
Gogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum
WYSINWYX: What You See Is Not What You eXecute. VSTTE (2005)
Akash Lal, Thomas W. Reps, Gogul Balakrishnan
Extended Weighted Pushdown Systems. CAV (2005)
Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum
A Next-Generation Platform for Analyzing Executables. APLAS (2005)
Gogul Balakrishnan, Thomas W. Reps
Analyzing Memory Accesses in x86 Executables. CC (2004)