Registered user since Fri 16 Jan 2015
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.
|PLDI 2017|| Committee Member in External Review Committee|
Synthesizing Memory Models from Framework Sketches and Litmus Tests
|Show activities from other conferences|
View general profile