ISMM 2023
Sun 18 Jun 2023 Orlando, Florida, United States
co-located with PLDI 2023
PLDI 2023 (series) / ISMM 2023 (series) / Bruce Collie
Bruce Collie

Registered user since Thu 18 Jul 2019

Name:Bruce Collie
Country:United Kingdom
Affiliation:Runtime Verification, Inc.
Personal website: https://baltoli.github.io
X (Twitter): https://x.com/__inshorts
GitHub: https://github.com/baltoli
Research interests:Compilers, semantics, formal verification

Contributions

Show activities from other conferences

PLDI 2023-profile
View general profile