Author of the publication

Information flow analysis for a dynamically typed language with staged metaprogramming.

, , and . Journal of Computer Security, 24 (5): 541-582 (2016)

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

The Future of Refactoring (Dagstuhl Seminar 14211)., , , and . Dagstuhl Reports, 4 (5): 40-67 (2014)Refactoring MATLAB., , and . CC, volume 7791 of Lecture Notes in Computer Science, page 224-243. Springer, (2013)Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming., , and . CSF, page 209-223. IEEE Computer Society, (2013)Type inference for datalog with complex type hierarchies., and . POPL, page 145-156. ACM, (2010)Challenge proposal: verification of refactorings., , and . PLPV, page 67-72. ACM, (2009)Refactoring Java programs for flexible locking., , , and . ICSE, page 71-80. ACM, (2011)Endurance Test Rig for Twisted String Actuators, , and . IKMT 2022 : Innovative Kleinantriebs- und Kleinmotorentechnik, 103, Berlin, VDE-Verlag, (2022)Automated repair of HTML generation errors in PHP applications using string constraint solving., , , , , and . ICSE, page 277-287. IEEE Computer Society, (2012)Formalising and Verifying Reference Attribute Grammars in Coq., , and . ESOP, volume 5502 of Lecture Notes in Computer Science, page 143-159. Springer, (2009)Correct Refactoring of Concurrent Java Code., , , , and . ECOOP, volume 6183 of Lecture Notes in Computer Science, page 225-249. Springer, (2010)