Author of the publication

Result Invalidation for Incremental Modular Analyses.

, , and . VMCAI, volume 13881 of Lecture Notes in Computer Science, page 296-319. Springer, (2023)

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

Implementing a performant scheme interpreter for the web in asm.js., , , , and . Comput. Lang. Syst. Struct., (2017)An empirical evaluation of quasi-static executable slices., , and . J. Syst. Softw., (June 2023)Security Risks of Porting C Programs to WebAssembly., , and . CoRR, (2021)Dynamic Slicing of WebAssembly Binaries., , and . ICSME, page 84-96. IEEE, (2023)Static Taint Analysis of Event-driven Scheme Programs., , , and . ELS, page 80-87. ELSAA, (2017)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)Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)., , , and . Dagstuhl Artifacts Ser., 3 (2): 11:1-11:2 (2017)Effect-Driven Flow Analysis., , , and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 247-274. Springer, (2019)Mailbox Abstractions for Static Analysis of Actor Programs., , , and . ECOOP, volume 74 of LIPIcs, page 25:1-25:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)A performant scheme interpreter in asm.js., , , , and . SAC, page 1944-1951. ACM, (2016)