William J. Bowman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PEPM | The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk). | William J. Bowman |
| 2018 | PLDI | Typed closure conversion for the calculus of constructions. | William J. Bowman, Amal Ahmed |
| 2016 | ICFP | Fully abstract compilation via universal embedding. | Max S. New, William J. Bowman, Amal Ahmed |
| 2015 | ICFP | Noninterference for free. | William J. Bowman, Amal Ahmed |
| 2015 | PLDI | Profile-guided meta-programming. | William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig |