Junghee Lim

	2011
14		Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps: ConSeq: detecting concurrency bugs through sequential errors. ASPLOS 2011: 251-264
13		Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps: Abstract Domains of Affine Relations. SAS 2011: 198-215
12		Junghee Lim, Akash Lal, Thomas W. Reps: Symbolic analysis via semantic reinterpretation. STTT 13(1): 61-87 (2011)
	2010
11		Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps: Directed Proof Generation for Machine Code. CAV 2010: 288-305
10		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
	2009
9		Junghee Lim, Akash Lal, Thomas W. Reps: Symbolic Analysis via Semantic Reinterpretation. SPIN 2009: 148-168
	2008
8		Junghee Lim, Thomas W. Reps: A System for Generating Static Analyzers for Machine Instructions. CC 2008: 36-52
	2007
7		Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum: A Next-Generation Platform for Analyzing Executables. Malware Detection 2007: 43-61
	2006
6		Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit: Path Optimization in Programs and Its Application to Debugging. ESOP 2006: 246-263
5		Thomas W. Reps, Gogul Balakrishnan, Junghee Lim: Intermediate-representation recovery from low-level code. PEPM 2006: 100-111
4		Junghee Lim, Thomas W. Reps, Ben Liblit: Extracting Output Formats from Executables. WCRE 2006: 167-178
	2005
3		Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum: A Next-Generation Platform for Analyzing Executables. APLAS 2005: 212-229
2		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
	2004
1		Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min: Compiler-assisted demand paging for embedded systems with flash memory. EMSOFT 2004: 114-124

Coauthor Index

1	Tycho Andersen	[11] [13]
2	Gogul Balakrishnan	[2] [3] [5] [7] [10]
3	Amanda Burton	[11]
4	Chi-Hua Chen	[2]
5	Evan Driscoll	[11]
6	Matt Elder	[11] [13]
7	Radu Gruian	[2]
8	Guoliang Jin	[14]
9	Nicholas Kidd	[2]
10	Kiwon Kwon	[1]
11	Akash Lal	[2] [6] [9] [10] [11] [12]
12	Jaejin Lee	[1]
13	Ben Liblit	[4] [6]
14	Shan Lu	[14]
15	David Melski	[2]
16	Sang Lyul Min	[1]
17	Ramya Olichandran	[14]
18	Chanik Park	[1]
19	Marina Polishchuk	[6]
20	Thomas W. Reps	[2] [3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14]
21	Joel Scherpelz	[14]
22	Tushar Sharma	[13]
23	Tim Teitelbaum	[2] [3] [7]
24	Aditya V. Thakur	[10] [11]
25	Suan Hsi Yong	[2]
26	Wei Zhang	[14]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page