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.