Explore over 5,214,755 papers,
46,254 were added last week.
Author
|
Conference
|
Journal
|
Year
Look for results that meet for the following criteria:
Later than
Equal to
Earlier than
Papers
Authors
Conferences
Journals
View Top Co-Authors In
Visual Explorer
Junghee Lim
Top Co-Authors:
Thomas W. Reps (7)
Akash Lal (4)
Gogul Balakrishnan (3)
Tim Teitelbaum (2)
Ben Liblit (2)
Sang Lyul Min (1)
Jae-jin Lee (1)
Chan-ik Park (1)
David Melski (1)
Suan Hsi Yong (1)
Nicholas Kidd (1)
Ki-won Kwon (1)
Chi-hua Chen (1)
Marina Polishchuk (1)
Radu Gruian (1)
ObjectID : Author/3462286
Junghee Lim
(
Publications: 9
)
(
Citation Count: 66
)
(
G-Index: 8
)
(
H-Index: 6
)
USA
Computer Sciences Department, University of Wisconsin-Madison
Permanent Link:
http://academic.research.microsoft.com/Author/3462286.aspx
Order by:
Year
|
Citation
|
Rank
The rank of a paper is calculated by considering the authors, the published conference or journal, and its citation graph. The highest ranking result will appear first.
Learn more
Papers
Citations
Year 2009
Junghee Lim
,
Akash Lal
,
Thomas W. Reps
:
Symbolic Analysis via Semantic Reinterpretation
,
SPIN
, 2009
(
Citations: 1
)
Year 2008
Junghee Lim
,
Thomas W. Reps
:
A System for Generating Static Analyzers for Machine Instructions
,
CC
, 2008
(
Citations: 3
)
Year 2006
Thomas W. Reps
,
Gogul Balakrishnan
,
Junghee Lim
:
Intermediate-representation recovery from low-level code
,
PEPM
, 2006
(
Citations: 12
)
Akash Lal
,
Junghee Lim
,
Marina Polishchuk
,
Ben Liblit
:
Path Optimization in Programs and Its Application to Debugging
,
ESOP
, 2006
(
Citations: 9
)
Junghee Lim
,
Thomas W. Reps
,
Ben Liblit
:
Extracting Output Formats from Executables
,
WCRE
, 2006
(
Citations: 6
)
Year 2005
Thomas W. Reps
,
Gogul Balakrishnan
,
Junghee Lim
,
Tim Teitelbaum
:
A Next-Generation Platform for Analyzing Executables
,
APLAS
, 2005
(
Citations: 9
)
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
(
Citations: 8
)
Year 2004
Chanik Park
,
Junghee Lim
,
Kiwon Kwon
,
Jaejin Lee
,
Sang Lyul Min
:
Compiler-assisted demand paging for embedded systems with flash memory
,
EMSOFT
, 2004
(
Citations: 18
)
Year Unknown
Akash Lal
,
Junghee Lim
,
Thomas Reps
:
MCDASH: Refinement-Based Property Verification for Machine Code