My name is David Thien. I’m currently a 1st year PhD student at UCSD in the ProgSys lab working on formal verification and security with Deian Stefan and Sorin Lerner. I did my undergrad at UW working in the PLSE lab with Pavel Panchekha and Zachary Tatlock helping to develop Herbie, as well as tools in FPBench.
|Nov 18, 2019||I presented our paper Toward Multi-Precision, Multi-Format Numerics at the Correctness workshop at Supercomputing 2019!|
|Sep 17, 2019||I started my PhD Program at UCSD in the ProgSys group!|
|Mar 13, 2019||I went to Singapore to attend CoNGA with the Herbie group!|
|Jul 30, 2018||I received the PLMW @ ICFP scholarship which I will be attending in late September!|