default search action
Junghee Lim
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2014
- [j4]Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps:
Abstract Domains of Affine Relations. ACM Trans. Program. Lang. Syst. 36(4): 11:1-11:73 (2014) - 2013
- [j3]Junghee Lim, Thomas W. Reps:
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis. ACM Trans. Program. Lang. Syst. 35(1): 4:1-4:59 (2013) - [j2]Wei Zhang, Chong Sun, Junghee Lim, Shan Lu
, Thomas W. Reps:
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach. ACM Trans. Softw. Eng. Methodol. 22(2): 10:1-10:33 (2013) - [c13]Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps:
PostHat and All That: Automating Abstract Interpretation. TAPAS@SAS 2013: 15-32 - 2011
- [j1]Junghee Lim, Akash Lal, Thomas W. Reps:
Symbolic analysis via semantic reinterpretation. Int. J. Softw. Tools Technol. Transf. 13(1): 61-87 (2011) - [c12]Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu
ConSeq: detecting concurrency bugs through sequential errors. ASPLOS 2011: 251-264 - [c11]Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps:
Abstract Domains of Affine Relations. SAS 2011: 198-215 - 2010
- [c10]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 - [c9]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
2000 – 2009
- 2009
- [c8]Junghee Lim, Akash Lal, Thomas W. Reps:
Symbolic Analysis via Semantic Reinterpretation. SPIN 2009: 148-168 - 2008
- [c7]Junghee Lim, Thomas W. Reps:
A System for Generating Static Analyzers for Machine Instructions. CC 2008: 36-52 - 2007
- [p1]Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum:
A Next-Generation Platform for Analyzing Executables. Malware Detection 2007: 43-61 - 2006
- [c6]Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit
Path Optimization in Programs and Its Application to Debugging. ESOP 2006: 246-263 - [c5]Thomas W. Reps, Gogul Balakrishnan, Junghee Lim:
Intermediate-representation recovery from low-level code. PEPM 2006: 100-111 - [c4]Junghee Lim, Thomas W. Reps, Ben Liblit
Extracting Output Formats from Executables. WCRE 2006: 167-178 - 2005
- [c3]Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum:
A Next-Generation Platform for Analyzing Executables. APLAS 2005: 212-229 - [c2]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
- [c1]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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-10 01:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: