( en | de | ru )

 

Disambiguation of "Lim, Junghee"

Author of the publication

copydeleteadd this publication to your clipboard
Abstract Domains of Affine Relations.

, , , , and . ACM Trans. Program. Lang. Syst., 36 (4): 11:1-11:73 (2014)

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

Hans Lim

Frans Lim

Minha Lim

Soyoung 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)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)Abstract Domains of Affine Relations., , , , and . ACM Trans. Program. Lang. Syst., 36 (4): 11:1-11:73 (2014)ConSeq: detecting concurrency bugs through sequential errors., , , , , , and . ASPLOS, page 251-264. ACM, (2011)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)Compiler-assisted demand paging for embedded systems with flash memory., , , , and . EMSOFT, page 114-124. ACM, (2004)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)