Gogul Balakrishnan

	2012
23		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
22		Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta: Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. VMCAI 2012: 235-250
	2011
21		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
20		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
19		Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta: Interprocedural Exception Analysis for C++. ECOOP 2011: 583-608
	2010
18		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
17		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
16		Gogul Balakrishnan, Thomas W. Reps: WYSINWYX: What you see is not what you eXecute. ACM Trans. Program. Lang. Syst. 32(6): (2010)
	2009
15		Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Refining the control structure of loops using static analysis. EMSOFT 2009: 49-58
	2008
14		Thomas W. Reps, Gogul Balakrishnan: Improved Memory-Access Analysis for x86 Executables. CC 2008: 16-35
13		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
12		Gogul Balakrishnan, Malay K. Ganai: PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes. SEFM 2008: 268-278
11		Gogul Balakrishnan, Thomas W. Reps: Analyzing Stripped Device-Driver Executables. TACAS 2008: 124-140
	2007
10		Gogul Balakrishnan, Thomas W. Reps: DIVINE: DIscovering Variables IN Executables. VMCAI 2007: 1-28
9		Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum: A Next-Generation Platform for Analyzing Executables. Malware Detection 2007: 43-61
	2006
8		Thomas W. Reps, Gogul Balakrishnan, Junghee Lim: Intermediate-representation recovery from low-level code. PEPM 2006: 100-111
7		Gogul Balakrishnan, Thomas W. Reps: Recency-Abstraction for Heap-Allocated Storage. SAS 2006: 221-239
	2005
6		Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum: A Next-Generation Platform for Analyzing Executables. APLAS 2005: 212-229
5		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
4		Akash Lal, Thomas W. Reps, Gogul Balakrishnan: Extended Weighted Pushdown Systems. CAV 2005: 434-448
3		Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum: CodeSurfer/x86-A Platform for Analyzing x86 Executables. CC 2005: 250-254
2		Gogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum: WYSINWYX: What You See Is Not What You eXecute. VSTTE 2005: 202-213
	2004
1		Gogul Balakrishnan, Thomas W. Reps: Analyzing Memory Accesses in x86 Executables. CC 2004: 5-23

Coauthor Index

1	Nipun Arora	[20]
2	Chi-Hua Chen	[5]
3	Malay K. Ganai	[12] [17] [20]
4	Khalil Ghorbal	[22]
5	Radu Gruian	[3] [5]
6	Aarti Gupta	[13] [15] [17] [19] [20] [21] [22] [23]
7	Takashi Imoto	[21]
8	Franjo Ivancic	[13] [15] [17] [19] [21] [22] [23]
9	Vineet Kahlon	[17]
10	Nicholas Kidd	[5]
11	Akash Lal	[4] [5] [18]
12	Weihong Li	[17]
13	Junghee Lim	[5] [6] [8] [9] [18]
14	Naoto Maeda	[17] [19] [21] [22] [23]
15	David Melski	[2] [5]
16	Yoshiaki Miyazaki	[21]
17	Nadia Papakonstantinou	[17]
18	Prakash Prabhu	[19]
19	Thomas W. Reps	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [14] [16] [18]
20	Sriram Sankaranarayanan	[13] [15] [17] [21] [23]
21	Naveen Sharma	[23]
22	Nishant Sinha	[17] [23]
23	Tim Teitelbaum	[2] [3] [5] [6] [9]
24	Aditya V. Thakur	[18]
25	Hiroki Tokuoka	[21]
26	Chao Wang	[17] [20]
27	Ou Wei	[13]
28	Jing Yang	[23]
29	Suan Hsi Yong	[5]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page