ICFP 2020
Sun 23 - Fri 28 August 2020
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: http://cs.jhu.edu/~weng

Research interests: Programming Languages, Functional Programming, Symbolic Execution

Contributions

ICFP 2020Author of Higher-Order Demand-Driven Symbolic Evaluation within the Research Papers-track
Show activities from other conferences

Using general profile