Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(23)
Thomas W. Reps
13
Akash Lal
8
Gogul Balakrishnan
5
Ben Liblit
3
Tim Teitelbaum
3
Conferences
(9)
CAV
3
PEPM
1
APLAS
1
ASPLOS
1
WCRE
1
Journals
(2)
STTT
1
TR
1
Keywords
(62)
Embed
Subscribe
Academic
Authors
Junghee Lim
Edit
Junghee Lim
University of Wisconsin Madison
Publications: 17
|
Citations: 160
|
G-Index: 12
|
H-Index: 7
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
23 co-authors
from 2004 to 2011
; Cited by
219 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(17)
BibTeX
|
RIS
|
RefWorks
Download
ConSeq: detecting concurrency bugs through sequential errors
Wei Zhang
,
Junghee Lim
,
Ramya Olichandran
,
Joel Scherpelz
,
Guoliang Jin
,
Shan Lu
,
Thomas W. Reps
Conference:
Architectural Support for Programming Languages and Operating Systems - ASPLOS
, pp. 251-264, 2011
Symbolic analysis via semantic reinterpretation
Junghee Lim
,
Akash Lal
,
Thomas W. Reps
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 1, pp. 61-87, 2011
Directed Proof Generation for Machine Code
(
Citations: 6
)
Aditya V. Thakur
,
Junghee Lim
,
Akash Lal
,
Amanda Burton
,
Evan Driscoll
,
Matt Elder
,
Tycho Andersen
,
Thomas W. Reps
Conference:
Computer Aided Verification - CAV
, pp. 288-305, 2010
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
(
Citations: 2
)
Thomas W. Reps
,
Junghee Lim
,
Aditya V. Thakur
,
Gogul Balakrishnan
,
Akash Lal
Conference:
Computer Aided Verification - CAV
, pp. 41-56, 2010
Symbolic Analysis via Semantic Reinterpretation
(
Citations: 6
)
Junghee Lim
,
Akash Lal
,
Thomas W. Reps
Conference:
International Workshop on Model Checking of Software - SPIN
, pp. 148-168, 2009
Order by:
Citations
(160 times by 125 publications)
Refinement-Based CFG Reconstruction from Unstructured Programs
(
Citations: 3
)
Sébastien Bardin
,
Philippe Herrmann
,
Franck Védrine
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 54-69, 2011
Static extraction of program configuration options
Ariel Rabkin
,
Randy H. Katz
Conference:
International Conference on Software Engineering - ICSE
, pp. 131-140, 2011
Symbolic analysis via semantic reinterpretation
Junghee Lim
,
Akash Lal
,
Thomas W. Reps
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 1, pp. 61-87, 2011
RT-PLRU: A New Paging Scheme for RealTime Execution of Program Codes on NAND Flash Memory for Portable Media Players
Jong-Chan Kim
,
Duhee Lee
,
Chang-Gun Lee
,
Kanghee Kim
Journal:
IEEE Transactions on Computers - TC
, vol. 60, no. 8, pp. 1126-1141, 2011
RELEASE: Generating Exploits Using Loop-Aware Concolic Execution
Bing-Han Li
,
Shiuhpyng Shieh
Conference:
International Conference on Secure System Integration and Reliability Improvement - SSIRI
, 2011
Comments