Gogul Balakrishnan

According to our database, Gogul Balakrishnan authored at least 31 papers between 2004 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Pre-trained Contextual Embedding of Source Code.

Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi

CoRR, 2020

Learning and Evaluating Contextual Embedding of Source Code.

Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi

Proceedings of the 37th International Conference on Machine Learning, 2020

2015

Scalable and scope-bounded software verification in Varvel.

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain

Autom. Softw. Eng., 2015

2014

Environment-Sensitive Performance Tuning for Distributed Service Orchestration.

Yu Lin, Franjo Ivancic, Pallavi Joshi, Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta

Proceedings of the High Performance Computing for Computational Science - VECPAR 2014 - 11th International Conference, Eugene, OR, USA, June 30, 2014

ARC++: effective typestate and lifetime dependency analysis.

Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

SETSUDŌ: perturbation-based testing framework for scalable distributed systems.

Pallavi Joshi, Malay K. Ganai, Gogul Balakrishnan, Aarti Gupta, Nadia Papakonstantinou

Proceedings of the First ACM SIGOPS Conference on Timely Results in Operating Systems, 2013

Feedback-directed unit test generation for C/C++ using concolic execution.

Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Donut Domains: Efficient Non-convex Domains for Abstract Interpretation.

Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis.

Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma

Proceedings of the Compiler Construction - 21st International Conference, 2012

2011

DC2: A framework for scalable, scope-bounded software verification.

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

BEST: A symbolic testing tool for predicting multi-threaded program failures.

Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Modeling and Analyzing the Interaction of C and C++ Strings.

Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil

Proceedings of the Formal Verification of Object-Oriented Software, 2011

Interprocedural Exception Analysis for C++.

Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010

WYSINWYX: What you see is not what you eXecute.

Gogul Balakrishnan, Thomas W. Reps

ACM Trans. Program. Lang. Syst., 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, Nishant Sinha, Chao Wang

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

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

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Refining the control structure of loops using static analysis.

Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2008

Analyzing Stripped Device-Driver Executables.

Gogul Balakrishnan, Thomas W. Reps

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes.

Gogul Balakrishnan, Malay K. Ganai

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.

Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta

Proceedings of the Static Analysis, 15th International Symposium, 2008

Improved Memory-Access Analysis for x86 Executables.

Thomas W. Reps, Gogul Balakrishnan

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

A Next-Generation Platform for Analyzing Executables.

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum

Proceedings of the Malware Detection, 2007

DIVINE: DIscovering Variables IN Executables.

Gogul Balakrishnan, Thomas W. Reps

Proceedings of the Verification, 2007

2006

Recency-Abstraction for Heap-Allocated Storage.

Gogul Balakrishnan, Thomas W. Reps

Proceedings of the Static Analysis, 13th International Symposium, 2006

Intermediate-representation recovery from low-level code.

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

2005

WYSINWYX: What You See Is Not What You eXecute.

Gogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum

Proceedings of the Verified Software: Theories, 2005

CodeSurfer/x86-A Platform for Analyzing x86 Executables.

Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum

Proceedings of the Compiler Construction, 14th International Conference, 2005

Extended Weighted Pushdown Systems.

Akash Lal, Thomas W. Reps, Gogul Balakrishnan

Proceedings of the Computer Aided Verification, 17th International Conference, 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

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

A Next-Generation Platform for Analyzing Executables.

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Analyzing Memory Accesses in x86 Executables.

Gogul Balakrishnan, Thomas W. Reps

Proceedings of the Compiler Construction, 13th International Conference, 2004