Author

Jackson Brough

Observed name: Brough, Jackson

Observed institution: University of Utah

ORCID: 0009-0003-9973-5890

Observed ORCID: 0009-0003-9973-5890

OpenAlex ID: A5114635286

Target-Aware Implementation of Real Expressions

2025 · Brett Saiki, Jackson Brough, et al. · ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 1

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda

2026 · Brough, Jackson · arXiv (Cornell University)

PDF

Works count: 2

Citation count: 1

H-index: 1

I10-index: