Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
William J. Bowman
Observed names:
Bowman, William J.,
WILLIAM J. BOWMAN
Institution:
University of British Columbia
Observed institutions:
Northeastern University,
Cisco Systems (United States),
University of British Columbia,
PROSECCO: Programming securely with cryptography
ORCID:
0000-0002-6402-4840
Observed ORCID:
0000-0002-6402-4840
OpenAlex ID:
A5049942420
Fully abstract compilation via universal embedding
2016
·
Max S. New
, William J. Bowman
, et al.
·
ACM SIGPLAN International Conference on Functional Programming (ICFP)
·
58
Noninterference for free
2015
·
William J. Bowman
, Amal Ahmed
·
ACM SIGPLAN International Conference on Functional Programming (ICFP)
·
51
Type-preserving CPS translation of Σ and Π types is not not possible
2017
·
William J. Bowman
, Youyou Cong
, et al.
·
Proceedings of the ACM on Programming Languages
·
16
PDF
Typed closure conversion for the calculus of constructions
2018
·
William J. Bowman
, Amal Ahmed
·
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
·
11
Noninterference for free
2015
·
William J. Bowman
, Amal Ahmed
·
ACM SIGPLAN Notices
·
10
Dependent type systems as macros
2019
·
Stephen Chang
, Michael Ballantyne
, et al.
·
Proceedings of the ACM on Programming Languages
·
9
PDF
Profile-guided meta-programming
2015
·
William J. Bowman
, Swaha Miller
, et al.
·
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
·
8
Fully abstract compilation via universal embedding
2016
·
Max S. New
, William J. Bowman
, et al.
·
ACM SIGPLAN Notices
·
6
PDF
A Low-Level Look at A-Normal Form
2024
·
William J. Bowman
·
Proceedings of the ACM on Programming Languages
·
4
Indexed Types for a Statically Safe WebAssembly
2024
·
Adam T. Geller
, Justine Frank
, et al.
·
Proceedings of the ACM on Programming Languages
·
4
PDF
Is sized typing for Coq practical?
2023
·
JONATHAN CHAN
, YUFENG LI
, et al.
·
Journal of Functional Programming
·
3
PDF
ANF preserves dependent types up to extensional equality
2022
·
PAULETTE KORONKEVICH
, RAMON RAKOW
, et al.
·
Journal of Functional Programming
·
3
PDF
ACM Profits Considered Harmful
2024
·
William J. Bowman
·
Communications of the ACM
·
2
PDF
Type Universes as Allocation Effects
2024
·
Koronkevich, Paulette
, Bowman, William J.
·
arXiv (Cornell University)
·
2
PDF
Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible
2018
·
William J. Bowman
, Youyou Cong
, et al.
·
Tokyo Tech Research Repository (Tokyo Institute of Technology)
·
2
Artifacts and Reproduction Package for Article `Indexed Types for a Statically Safe WebAssembly'
2024
·
Adam T. Geller
, Justine Frank
, et al.
·
Artifact Digital Object Group
·
1
Typed closure conversion for the calculus of constructions
2018
·
William J. Bowman
, Amal Ahmed
·
ACM SIGPLAN Notices
·
1
Compiling with dependent types
2018
·
William J. Bowman
·
1
PDF
Regions as Continuation Marks
2026
·
Paulette Koronkevich
, William J. Bowman
Fast and Extensible Hybrid Embeddings with Micros
2025
·
Sean Bocirnea
, William J. Bowman
Extended Abstract: Towards a Performance Comparison of Syntax and Type-Directed NbE
2025
·
Gould, Chester J. F.
, Bowman, William J.
·
arXiv (Cornell University)
PDF
Type Universes as Kripke Worlds
2025
·
Paulette Koronkevich
, William J. Bowman
·
Proceedings of the ACM on Programming Languages
PDF
Type-Preserving Flat Closure Optimization
2025
·
Adam T. Geller
, Sean Bocirnea
, et al.
·
Proceedings of the ACM on Programming Languages
PDF
The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk)
2025
·
William J. Bowman
Profile-guided meta-programming
2015
·
William J. Bowman
, Swaha Miller
, et al.
·
ACM SIGPLAN Notices
Show more works
View as search
Works count:
32
Citation count:
192
H-index:
7
I10-index:
5
Year
Topic
Type
