|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Junghee Lim, Akash Lal, Thomas W. Reps |
Symbolic analysis via semantic reinterpretation.  |
STTT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Zhang 0022, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps |
ConSeq: detecting concurrency bugs through sequential errors. |
ASPLOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps |
Abstract Domains of Affine Relations. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Junghee Lim, Akash Lal, Thomas W. Reps |
Symbolic Analysis via Semantic Reinterpretation. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Junghee Lim, Thomas W. Reps |
A System for Generating Static Analyzers for Machine Instructions. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum |
A Next-Generation Platform for Analyzing Executables. |
Malware Detection |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Reps, Gogul Balakrishnan, Junghee Lim |
Intermediate-representation recovery from low-level code. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Junghee Lim, Thomas W. Reps, Ben Liblit |
Extracting Output Formats from Executables. |
WCRE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit |
Path Optimization in Programs and Its Application to Debugging. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum |
A Next-Generation Platform for Analyzing Executables. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min |
Compiler-assisted demand paging for embedded systems with flash memory. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
post-pass optimization, clustering, embedded systems, compilers, flash memory, paging, SRAM, heterogeneous memory |
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")