Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
William J. Bowman

Registered user since Tue 17 Feb 2015

Name: William J. Bowman

Bio: I am a fifth year Ph.D. student at Northeastern University where I study Computer Science (specifically, programming languages).

The promise of programming languages research has been to provide high-level languages in which programmers can easily write complex programs without worrying about speed or low-level machine details. I think we have failed. Languages that provide strong guarantees are bemoaned as too complicated, compilers ignore those high-level guarantees anyway, and the folklore persists that C is the only language useful for writing fast code.

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. I also dabble in dependent types and compiler design and implementation.

Country: United States

Affiliation: Northeastern University

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

Research interests: Meta-programming, compilers, compiler correctness, dependent types


HOPE 2016Author of Growing a Proof Assistant within the HOPE-track
ICFP 2016Author of Fully Abstract Compilation via Universal Embedding within the Research Papers-track
Show activities from other conferences

ICFP 2016-profile
View general profile