Registered user since Thu 18 Jul 2019

Name:Bruce Collie
Country:United Kingdom
Affiliation:Runtime Verification, Inc.
Personal website:https://baltoli.github.io
Research interests:Compilers, semantics, formal verification

Contributions

PLDI 2023 From Zero to Proving: Building Your First Language with the K Framework
Show activities from other conferences

Using general profile