Registered user since Fri 19 May 2023

Name:Rachel Muir
Country:United Kingdom

Contributions

PLDI 2023 Formal Verification of a MIR-to-MIR optimisation
Show activities from other conferences

Using general profile