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

Adaptive LL(*) parsing: the power of dynamic analysis., , and . OOPSLA, page 579-598. ACM, (2014)LL(*): the foundation of the ANTLR parser generator., and . PLDI, page 425-436. ACM, (2011)Autobahn: using genetic algorithms to infer strictness annotations., , and . Haskell, page 114-126. ACM, (2016)Data Structure Fusion., , , , and . APLAS, volume 6461 of Lecture Notes in Computer Science, page 204-221. Springer, (2010)The Development of Type Systems for Object-Oriented Languages., and . Theory Pract. Object Syst., 1 (3): 189-220 (1995)Notes on Typed Object-Oriented Programming., and . TACS, volume 789 of Lecture Notes in Computer Science, page 844-885. Springer, (1994)Reasoning about Lock Placements., , , , and . ESOP, volume 7211 of Lecture Notes in Computer Science, page 336-356. Springer, (2012)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)