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

BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats., , and . NDSS, The Internet Society, (2023)CoStar: a verified ALL(*) parser., , , and . PLDI, page 420-434. ACM, (2021)Concurrent data representation synthesis., , , , and . PLDI, page 417-428. ACM, (2012)The Design of a Class Mechanism for Moby., and . PLDI, page 37-49. ACM, (1999)Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation., , , , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 414-429. Springer, (2023)Transition to community by adolescents with Asperger syndrome: Staying afloat in a sea change, and . Disability and Health Journal, 6 (3): 227 - 235 (2013)A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers., , , , and . PADL, volume 4902 of Lecture Notes in Computer Science, page 133-149. Springer, (2008)LAUNCHPADS: A System for Processing Ad Hoc Data., , , , and . PLAN-X, page 90-91. BRICS, Department of Computer Science, University of Aarhus, (2006)The next 700 data description languages., , and . POPL, page 2-15. ACM, (2006)PADS/ML: a functional data description language., , , , and . POPL, page 77-83. ACM, (2007)