William J. Bowman

Registered user since Tue 17 Feb 2015

Name: William J. Bowman

Bio: William J. Bowman is an assistant professor of computer science at the University of British Columbia in Vancouver. Broadly speaking, he is interested in making it easier for programmers to communicate their intent to machines, and preserving that intent through the stages of compilation. More specifically, his research interests include secure and verified compilation, dependently typed programming, verification, and meta-programming. His recent work examines type-preserving compilation of dependently typed programming language like Coq, a technique that can enable preserving security and correctness invariants of verified software through compilation and statically enforcing those invariants in the low-level (assembly-like) code generated by compilers.

Country: Canada

Affiliation: University of British Columbia

Personal website: https://www.williamjbowman.com/

Research interests: secure and verified compilation, type-preserving compilation, dependently typed programming, verification, meta-programming


PriSC 2019Committee Member in Program Committee within the PriSC 2019-track
FTfJP 2018Committee Member in Program Committee within the FTfJP-track
ICFP 2019Student Research Competition Chair in Organizing Committee
PriSC 2018Author of Short talk: Dependently Typed Assembly for Secure Linking within the PriSC 2018-track
HOPE 2017Author of Only Control Effects and Dependent Types within the HOPE 2017-track
PLDI 2018Author of Typed Closure Conversion for the Calculus of Constructions within the PLDI Research Papers-track
POPL 2018Author of Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible within the Research Papers-track
HOPE 2016Author of Growing a Proof Assistant within the HOPE-track
POPL 2017Author of Toward Type-Preserving Compilation of Coq within the Student Research Competition-track
ICFP 2016Author of Fully Abstract Compilation via Universal Embedding within the Research Papers-track
PLDI 2015Author of Profile-Guided Meta-Programming within the Research Papers-track

Blog Posts