conf.researchr.org / William J. Bowman
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

Contributions

PLDI 2023 Publicity Co-Chair in Organizing Committee
POPL 2023 Workshops Co-Chair in Organizing Committee
PriSC 2023 Committee Member in Program Committee within the PriSC 2023-track
ICFP 2022 Author of ANF Preserves Dependent Types up to Extensional Equality within the ICFP Papers and Events-track
Committee Member in Program Committee within the ICFP Papers and Events-track
Session Chair of Programming and Reasoning About Effects (part of ICFP Papers and Events)
Scheme 2022 Author of Macro-embedding Compiler Intermediate Languages in Racket within the Scheme-track
PLDI 2022 Publicity Co-Chair in Organizing Committee
WITS 2022 Committee Member in Program Committee within the WITS 2022-track
PEPM 2022 Committee Member in Program Committee within the PEPM 2022-track
Session Chair of Keynote 2 (part of PEPM 2022)
POPL 2021 Committee Member in Program Committee within the POPL-track
PriSC 2021 Author of Compilation as Multi-Language Semantics within the PriSC 2021-track
PLMW 2020 Author of Panel within the PLMW 2020-track
Panelist in Panelists within the PLMW 2020-track
POPL 2020 Author of Dependent Type Systems as Macros within the Research Papers-track
ICFP 2019 Student Research Competition Chair in Program Committee within the Student Research Competition-track
Student Research Competition Chair in Organizing Committee
Student Research Competition Chair in Poster and Presentation Judges within the Student Research Competition-track
TyDe 2019 Committee Member in Program Committee within the TyDe 2019-track
Session Chair of Dependently Typed Programming (part of TyDe 2019)
PriSC 2019 Committee Member in Program Committee within the PriSC 2019-track
FTfJP 2018 Committee Member in Program Committee within the FTfJP-track
PLDI 2018 Author of Typed Closure Conversion for the Calculus of Constructions within the PLDI Research Papers-track
POPL 2018 Author of Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible within the Research Papers-track
PriSC 2018 Author of Short talk: Dependently Typed Assembly for Secure Linking within the PriSC 2018-track
HOPE 2017 Author of Only Control Effects and Dependent Types within the HOPE 2017-track
POPL 2017 Author of Toward Type-Preserving Compilation of Coq within the Student Research Competition-track
ICFP 2016 Author of Fully Abstract Compilation via Universal Embedding within the Research Papers-track
HOPE 2016 Author of Growing a Proof Assistant within the HOPE-track
PLDI 2015 Author of Profile-Guided Meta-Programming within the Research Papers-track

Blog Posts