Registered user since Tue 17 Feb 2015
Name: William J. Bowman
Bio: I am a sixth year Ph.D. student at Northeastern University where I study Computer Science (specifically, programming languages).
I want to make programs easier to design, write, and understand. To that end, I work on verifying compilers. I am particularly interested in equivalence preserving (fully-abstract) compilers and type preserving compilation. I also dabble in dependent types and language design and implementation.
Country: United States
Affiliation: Northeastern University, USA
Personal website: https://www.williamjbowman.com/
Research interests: Meta-programming, compilers, compiler correctness, dependent types
- Author of Fully Abstract Compilation via Universal Embedding within the Research Papers-track in ICFP 2016
- Author of Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible within the Research Papers-track in POPL 2018
- Author of Toward Type-Preserving Compilation of Coq within the Student Research Competition-track in POPL 2017
- Author of Only Control Effects and Dependent Types within the HOPE 2017-track in HOPE 2017
- Author of Profile-Guided Meta-Programming within the Research Papers-track in PLDI 2015
- Author of Growing a Proof Assistant within the HOPE-track in HOPE 2016
- Why am I going to ICFP 2017? (1/2) Sat 2 Sep 2017