Publications

5 results at Proceedings of the ACM on Programming Languages

Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
- - Girish Mururu
  - Sharjeel Khan
  - et al.
- 2023
- Proceedings of the ACM on Programming Languages
Semi-symbolic inference for efficient streaming probabilistic programming
- - Eric Atkinson
  - Charles Yuan
  - et al.
- 2022
- Proceedings of the ACM on Programming Languages
Translating canonical SQL to imperative code in Coq
- - Véronique Benzaken
  - Évelyne Contejean
  - et al.
- 2022
- Proceedings of the ACM on Programming Languages
On polymorphic gradual typing
- - Yuu Igarashi
  - Taro Sekiyama
  - et al.
- 2017
- Proceedings of the ACM on Programming Languages
Prototyping a query compiler using coq (Experience report)
- - Joshua S. Auerbach
  - Martin Hirzel
  - et al.
- 2017
- Proceedings of the ACM on Programming Languages