Author of the publication

A Control-Flow Analysis for a Calculus of Concurrent Objects.

, , and . IEEE Trans. Software Eng., 26 (7): 617-634 (2000)

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

Nourishing the future of the field: the programming language mentoring workshop 2012., , and . ACM SIGPLAN Notices, 47 (4a): 14-15 (2012)SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations., , , , , , , , , and 8 other author(s). ACM SIGPLAN Notices, 43 (11): 6-29 (2008)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)Identifying and Mitigating the Security Risks of Generative AI., , , , , , , , , and 13 other author(s). CoRR, (2023)BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats., , and . NDSS, The Internet Society, (2023)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)The Design of a Class Mechanism for Moby., and . PLDI, page 37-49. ACM, (1999)CoStar: a verified ALL(*) parser., , , and . PLDI, page 420-434. ACM, (2021)Concurrent data representation synthesis., , , , and . PLDI, page 417-428. ACM, (2012)