Jiasi Shen



Our research has received support from industry sponsorsApr 2024
Serving as the SPLASH'24 SRC co-chairFeb 2024
Serving on the OOPSLA'24 PCMay 2023
Speaking at IJCAI'23 AutoMates as keynoteMay 2023
Serving as the SPLASH'23 SRC co-chairApr 2023
Serving on the Onward!'23 PCMar 2023
Serving on the ‹Programming›'24 PCFeb 2023
Joined HKUST CSEJan 2023
Presented at the panel on domain-specific languages and software security at CNCC 2022Dec 2022
A patent that results from my AWS internship has been issuedNov 2022
Serving on the ECOOP'23 AEC+ERCNov 2022
Serving on the OOPSLA'23 ERC+AECOct 2022
Completed my PhD with a thesis on program inference and regenerationSep 2022
Serving on the Onward!'22 PCJun 2022
I accepted a faculty position in the Department of Computer Science and Engineering at the Hong Kong University of Science and Technology!May 2022
Serving on the AISTA'22 PCApr 2022
KumQuat paper to appear in PPoPP'22Dec 2021
Serving on the OOPSLA'22 ERC+AECOct 2021
Harp 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