Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Peter Boyland
conf.researchr.org general profile
FLOPS 2026 profile
SPLASH 2023 profile
Registered user since Sun 15 Nov 2020
Name:
Peter Boyland
Contributions
2026
FLOPS
Author of Breccia: A Functional DSL Compiled to Egglog for Test Input Generation within the FLOPS 2026-track
2023
SPLASH
Author of Aliasing Limits on Translating C to Safe Rust within the OOPSLA-track
Share
x
Thu 10 Sep 18:16