Gogul Balakrishnan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
15
Active years
2004–2020
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICML | Learning and Evaluating Contextual Embedding of Source Code. | Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi |
| 2014 | ISSTA | ARC++: effective typestate and lifetime dependency analysis. | Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri |
| 2013 | ICSE | Feedback-directed unit test generation for C/C++ using concolic execution. | Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta |
| 2013 | SOSP | SETSUDŌ: perturbation-based testing framework for scalable distributed systems. | Pallavi Joshi, Malay K. Ganai, Gogul Balakrishnan, Aarti Gupta, Nadia Papakonstantinou |
| 2012 | CC | 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 |
| 2012 | VMCAI | Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. | Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta |
| 2011 | ECOOP | Interprocedural Exception Analysis for C++. | Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta |
| 2010 | CAV | 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 |
| 2010 | FMCAD | 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 |
| 2009 | EMSOFT | Refining the control structure of loops using static analysis. | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2008 | CC | Improved Memory-Access Analysis for x86 Executables. | Thomas W. Reps, Gogul Balakrishnan |
| 2008 | SAS | SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta |
| 2008 | SEFM | PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes. | Gogul Balakrishnan, Malay K. Ganai |
| 2008 | TACAS | Analyzing Stripped Device-Driver Executables. | Gogul Balakrishnan, Thomas W. Reps |
| 2007 | VMCAI | DIVINE: DIscovering Variables IN Executables. | Gogul Balakrishnan, Thomas W. Reps |
| 2006 | PEPM | Intermediate-representation recovery from low-level code. | Thomas W. Reps, Gogul Balakrishnan, Junghee Lim |
| 2006 | SAS | Recency-Abstraction for Heap-Allocated Storage. | Gogul Balakrishnan, Thomas W. Reps |
| 2005 | APLAS | A Next-Generation Platform for Analyzing Executables. | Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum |
| 2005 | CAV | 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 |
| 2005 | CAV | Extended Weighted Pushdown Systems. | Akash Lal, Thomas W. Reps, Gogul Balakrishnan |
| 2005 | CC | CodeSurfer/x86-A Platform for Analyzing x86 Executables. | Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum |
| 2004 | CC | Analyzing Memory Accesses in x86 Executables. | Gogul Balakrishnan, Thomas W. Reps |