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

Tasks: language support for event-driven programming., , and . PEPM, page 134-143. ACM, (2007)Packrat parsers can support left recursion., , and . PEPM, page 103-110. ACM, (2008)Fine-Grained Access Control with Object-Sensitive Roles., , , and . ECOOP, volume 5653 of Lecture Notes in Computer Science, page 173-194. Springer, (2009)An Extensible State Machine Pattern for Interactive Applications., and . ECOOP, volume 5142 of Lecture Notes in Computer Science, page 566-591. Springer, (2008)Bounded similarity querying for time-series data., , and . Inf. Comput., 194 (2): 203-241 (2004)Lessons from the evolution of the Batfish configuration analysis tool., , , , , and . SIGCOMM, page 122-135. ACM, (2023)Finding protocol manipulation attacks., , , , and . SIGCOMM, page 26-37. ACM, (2011)Cobalt: A Language for Writing Provably-Sound Compiler Optimizations., , and . COCV@ETAPS, volume 132 of Electronic Notes in Theoretical Computer Science, page 5-17. Elsevier, (2004)Declarative mocking., , , and . ISSTA, page 246-256. ACM, (2013)Practical predicate dispatch.. OOPSLA, page 345-364. ACM, (2004)