Weng the Meta ~weng cv blog 博客 misc contact


funny

Shiwei Weng 翁士伟

I am looking forward to summer internship 2020 (functional languages esp. OCaml preferred but all is fine). Email me wengshiwei@jhu.edu

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. My one-page CV is here (updated Nov 2019).

My research interests span several aspects in programming languages. I believe programming languages can provide solid solutions to problems in other areas in computer science. I am fascinated in theoretical problems which also have real-world impact.

Research

1. Demand-Driven Symbolic Execution [repo] [page] [preprint]

2. Program Analysis on the Usage of JavaScript GUI Frameworks

Professional Experience

Work Experience

I am the system administrator of our lab.

Before graduate school, I took several jobs in start-ups and freelance work, mostly in full-stack web programming.

Publications

funny

Misc

Blogs (博客) are under construction.

I play video games. The unexamined game is not worth playing.

I am married to Xiaoxi Chen 陈小溪. I teach her programming and she teaches me human anatomy.

We have a cat.