Author of the publication

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.

 

Other publications of authors with the same name

Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)., , , and . Dagstuhl Artifacts Ser., 3 (2): 11:1-11:2 (2017)The SOUL tool suite for querying programs in symbiosis with Eclipse., , , and . PPPJ, page 71-80. ACM, (2011)STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation., , , and . GTTSE, volume 10223 of Lecture Notes in Computer Science, page 223-234. Springer, (2015)Constructing Customized Interpreters from Reusable Evaluators Using Game., , and . SC@TOOLS, volume 7306 of Lecture Notes in Computer Science, page 97-113. Springer, (2012)A flexible framework for studying trace-based just-in-time compilation., , and . Comput. Lang. Syst. Struct., (2018)Static Taint Analysis of Event-driven Scheme Programs., , , and . ELS, page 80-87. ELSAA, (2017)Diagnosing and correcting design inconsistencies in source code with logical abduction., , , , , and . Sci. Comput. Program., 76 (12): 1113-1129 (2011)Mining Extension Point Patterns in Scala., , , , , and . BENEVOL, volume 2361 of CEUR Workshop Proceedings, page 16-20. CEUR-WS.org, (2018)Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs., , , and . GPCE, page 107-118. ACM, (2018)Mining for Graph-Based Library Usage Patterns in COBOL Systems., , , , and . SANER, page 595-599. IEEE, (2021)