Gogul Balakrishnan

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: 144-164

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

Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta: Interprocedural Exception Analysis for C++. ECOOP 2011: 583-608

Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil: Modeling and Analyzing the Interaction of C and C++ Strings. FoVeOOS 2011: 67-85

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: 133-142

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

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: 41-56

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: 273-274

Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Refining the control structure of loops using static analysis. EMSOFT 2009: 49-58

Thomas W. Reps, Gogul Balakrishnan: Improved Memory-Access Analysis for x86 Executables. CC 2008: 16-35

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

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

Gogul Balakrishnan, Thomas W. Reps: Analyzing Stripped Device-Driver Executables. TACAS 2008: 124-140

Gogul Balakrishnan, Thomas W. Reps: DIVINE: DIscovering Variables IN Executables. VMCAI 2007: 1-28

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum: A Next-Generation Platform for Analyzing Executables. Malware Detection 2007: 43-61

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim: Intermediate-representation recovery from low-level code. PEPM 2006: 100-111

Gogul Balakrishnan, Thomas W. Reps: Recency-Abstraction for Heap-Allocated Storage. SAS 2006: 221-239

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum: A Next-Generation Platform for Analyzing Executables. APLAS 2005: 212-229

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: 158-163

Akash Lal, Thomas W. Reps, Gogul Balakrishnan: Extended Weighted Pushdown Systems. CAV 2005: 434-448

Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum: CodeSurfer/x86-A Platform for Analyzing x86 Executables. CC 2005: 250-254

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

Gogul Balakrishnan, Thomas W. Reps: Analyzing Memory Accesses in x86 Executables. CC 2004: 5-23