Write a Blog >>
James Bornholt

Registered user since Fri 16 Jan 2015

Name: James Bornholt

Bio: I’m a computer science PhD student in the PLSE and Sampa groups at the University of Washington, advised by Emina Torlak, Dan Grossman, and Luis Ceze. I work on programming languages and formal methods, from program synthesis frameworks to consistency models.

Country: United States

Affiliation: University of Washington

Personal website: https://homes.cs.washington.edu/~bornholt/

Research interests: Programming Languages

Contributions

PLDI 2017 Committee Member in External Review Committee
Synthesizing Memory Models from Framework Sketches and Litmus Tests
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile