( en | de | ru )

 

Disambiguation of "Lim, Junghee"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.

, , , , , , , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 158-163. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Junghee Lee

Frans Lim

Hans Lim

Soyoung Lim

Minha Lim

 

Other publications of authors with the same name

A System for Generating Static Analyzers for Machine Instructions., and . CC, volume 4959 of Lecture Notes in Computer Science, page 36-52. Springer, (2008)Abstract Domains of Affine Relations., , , , and . ACM Trans. Program. Lang. Syst., 36 (4): 11:1-11:73 (2014)There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code., , , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 41-56. Springer, (2010)Directed Proof Generation for Machine Code., , , , , , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 288-305. Springer, (2010)ConSeq: detecting concurrency bugs through sequential errors., , , , , , and . ASPLOS, page 251-264. ACM, (2011)Compiler-assisted demand paging for embedded systems with flash memory., , , , and . EMSOFT, page 114-124. ACM, (2004)TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis., and . ACM Trans. Program. Lang. Syst., 35 (1): 4:1-4:59 (2013)A Next-Generation Platform for Analyzing Executables., , , and . Malware Detection, volume 27 of Advances in Information Security, Springer, (2007)PostHat and All That: Automating Abstract Interpretation., , , and . TAPAS@SAS, volume 311 of Electronic Notes in Theoretical Computer Science, page 15-32. Elsevier, (2013)Symbolic analysis via semantic reinterpretation., , and . Int. J. Softw. Tools Technol. Transf., 13 (1): 61-87 (2011)