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: http://cs.jhu.edu/~weng
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|