Gogul Balakrishnan

	2009
14		Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Refining the control structure of loops using static analysis. EMSOFT 2009: 49-58
	2008
13		Thomas W. Reps, Gogul Balakrishnan: Improved Memory-Access Analysis for x86 Executables. CC 2008: 16-35
12		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
11		Gogul Balakrishnan, Malay Ganai: PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes. SEFM 2008: 268-278
10		Gogul Balakrishnan, Thomas W. Reps: Analyzing Stripped Device-Driver Executables. TACAS 2008: 124-140
	2007
9		Gogul Balakrishnan, Thomas W. Reps: DIVINE: DIscovering Variables IN Executables. VMCAI 2007: 1-28
	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	Chi-Hua Chen	[5]
2	Malay Ganai	[11]
3	Radu Gruian	[3] [5]
4	Aarti Gupta	[12] [14]
5	Franjo Ivancic	[12] [14]
6	Nicholas Kidd	[5]
7	Akash Lal	[4] [5]
8	Junghee Lim	[5] [6] [8]
9	David Melski	[2] [5]
10	Thomas W. Reps	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [13]
11	Sriram Sankaranarayanan	[12] [14]
12	Tim Teitelbaum	[2] [3] [5] [6]
13	Ou Wei	[12]
14	Suan Hsi Yong	[5]

Colors in the list of coauthors