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

Rhombus: A New Spin on Macros without All the Parentheses., , , , , , , , , and 5 other author(s). Proc. ACM Program. Lang., 7 (OOPSLA2): 574-603 (October 2023)Minimal backups of cryptographic protocol runs., and . FMSE, page 11-20. ACM, (2008)The Racket Manifesto., , , , , , and . SNAPL, volume 32 of LIPIcs, page 113-128. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)A Coq library for internal verification of running-times., , , , and . Sci. Comput. Program., (2018)Teaching garbage collection without implementing compiler or interpreters., , , , and . SIGCSE, page 385-390. ACM, (2013)Compiling cryptographic protocols for deployment on the web., , , and . WWW, page 687-696. ACM, (2007)A Coq Library for Internal Verification of Running-Times., , , , and . FLOPS, volume 9613 of Lecture Notes in Computer Science, page 144-162. Springer, (2016)"Static Analyses of Cryptographic Protocols.. Brown University, USA, (2009)A programmable programming language., , , , , , and . Commun. ACM, 61 (3): 62-71 (2018)Run your research: on the effectiveness of lightweight mechanization., , , , , , , , , and . POPL, page 285-296. ACM, (2012)