ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
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
Research interests:secure and verified compilation, type-preserving compilation, dependently typed programming, verification, meta-programming

Contributions

Scheme 2022 Macro-embedding Compiler Intermediate Languages in Racket
ICFP 2022 ANF Preserves Dependent Types up to Extensional Equality
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)
Show activities from other conferences

ICFP 2022-profile
View general profile