Jiasi Shen



Serving on the OOPSLA'22 ERCOct 2021
Paper to appear in CCS'21Sep 2021
Received KTCP certificateJul 2021
Serving on the APLAS'21 PCApr 2021
Serving on the AISTA'21 PCMar 2021
Serving on the PLDI'21 AECJan 2021
Konure paper to appear in TOPLAS'21Oct 2020
Named EECS Rising StarOct 2020
Deimplicitization talk video available (MSR-RR'20)Jun 2020
Interning at Amazon Web ServicesMay 2020
Paper to appear in MSR-RR'20Mar 2020
Serving on the CAV'20 AECNov 2019
Paper to appear in Onward!'19Aug 2019
Konure talk video available (PLDI'19)Jul 2019
Paper to appear in VL/HCC'19Jun 2019
Serving on the SAS'19 AECApr 2019
Konure paper to appear in PLDI'19Feb 2019
Paper to appear in Onward!'18Jul 2018
RIFL talk video available (SLE'17)Oct 2017
RIFL paper won the Distinguished Artifact Award (SLE'17)Oct 2017
RIFL paper to appear in SLE'17Aug 2017