Registered user since Tue 1 Oct 2019
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 2020 | Higher-Order Demand-Driven Symbolic Evaluation | ||||||||||||||||||||||||||||||||||||||||
| OCaml 2020 | Volunteer in Organizing Committee within the OCaml 2020-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2020-profile
View general profile
View general profile