PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / 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
View general profile