Peter Boyland

Orcid: 0000-0002-2530-3329

According to our database¹, Peter Boyland authored at least 3 papers between 2017 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Breccia: A Functional DSL Compiled to Egglog for Test Input Generation.

[DOI]

Proceedings of the Functional and Logic Programming - 18th International Symposium, 2026

2023

Aliasing Limits on Translating C to Safe Rust.

[DOI]

Proc. ACM Program. Lang., April, 2023

2017

On the Maximum Number of Non-intersecting Diagonals in an Array.

[DOI]

J. Integer Seq., 2017