William J. Bowman

Registered user since Tue 17 Feb 2015

Name: William J. Bowman

Bio: William J. Bowman is a 6th Ph.D. candidate in the College of Computer and Information Science (specializing in programming languages) at Northeastern University. 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: United States

Affiliation: Northeastern University, USA

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

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


FTfJP 2018Committee Member in Program Committee within the FTfJP-track
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