Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(24)
Thomas W. Reps
14
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
(3)
STTT
1
SIGPLAN
1
TR
1
Keywords
(62)
Embed
Subscribe
Academic
Authors
Junghee Lim
Junghee Lim,University of Wisconsin Madison,Software Engineering,Programming Languages,Algorithms & Theory
Edit
Junghee Lim
University of Wisconsin Madison
Publications:
18
|
Citations:
160
Fields:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research areas and Fields of study
Collaborated with
24 co-authors
from 2004 to 2012
|
Cited by
219 authors
Cumulative
Annual
Sort by:
Publications
(18)
BibTeX
|
RIS
|
RefWorks
Download
ConSeq: detecting concurrency bugs through sequential errors
Wei Zhang
,
Junghee Lim
,
Ramya Olichandran
,
Joel Scherpelz
,
Guoliang Jin
,
Shan Lu
,
Thomas Reps
Journal:
Sigplan Notices - SIGPLAN
, pp. 251-264, 2012
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
Sort 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
Register allocation for write activity minimization on non-volatile main memory
Yazhi Huang
,
Tiantian Liu
,
Chun Jason Xue
Conference:
Asia and South Pacific Design Automation Conference - ASP-DAC
, pp. 129-134, 2011
Comments