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 2017Committee Member in External Review Committee
Author of Synthesizing Memory Models from Framework Sketches and Litmus Tests within the PLDI Research Papers-track
Show activities from other conferences

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