Gogul Balakrishnan

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