News
2020-09-10 Artifact review committee at OOPSLA 2020. 2020-06-17 Gold medal at PLDI 2020 SRC Presentation. 2020-06-15 Student volunteer at PLDI 2020. 2020-02-25 Presented Verismith at FPGA 2020. 2019-12-15 FPGA 2020 Verismith paper accepted. 2019-10-03 Started PhD at Imperial College London with John Wickerson. 2019-09-15 Submitted Verismith paper to FPGA 2020. 2019-07-15 Student volunteer at ECOOP 2019.