Shiwei Weng

Registered user since Mon 22 Jun 2020

Name: Shiwei Weng

Bio: I am a second-year Ph.D. student in the Department of Computer Science at Johns Hopkins University. My advisor is Dr. Scott Smith and I am a member of The Programming Languages Laboratory. I got my joint bachelor degree from Fudan University and University College Dublin in 2013 and master degree from JHU in 2018.

Affiliation: The Johns Hopkins University

Personal website:

Research interests: Programming Languages, Functional Programming, Symbolic Execution


OCaml 2020 Volunteer in Organizing Committee within the OCaml 2020-track
ICFP 2020 Author of Higher-Order Demand-Driven Symbolic Evaluation within the ICFP Program-track