PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / LCTES 2017 (series) / James Bornholt
![James Bornholt](https://conf.researchr.org/getProfileImage/jamesbornholt/36d1b005-c925-42dc-acb7-147d996e2f5a/small.jpg?1717774178000)
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, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile