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
Publications
Date
Featured collections
Popular topics
5 results at 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
Prototyping a query compiler using coq (Experience report)
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- 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