Weng the Meta ~weng cv misc contact blog 博客

funny

# Shiwei Weng 翁士伟

I am a third-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’s degree from Fudan University and University College Dublin in 2013 and master degree from JHU in 2018. My one-page CV is here (updated May 2021).

My research interests span several aspects of programming languages. I believe programming languages can provide solutions to problems in other areas of computer science. I am active in our lab’s weekly seminar and happy to chat about them.

This summer (2021), I work as a Research Intern at Microsoft Research Lab, Redmond (virtually), on Checked C project.

# Research

Demand-Driven Symbolic Execution [lab page]

Symbolic backwards execution of functional languages
Start from any position in programs
(done) Establish the soundness and develop a test generation algorithm. See publication [ICFP 2020].
(in progress) Optimization (function summarization), new features (mutable states), new approaches (model checking) [repo]

# Professional Experience

Head Teaching Assistant, 601.426/626 Principles of Programming Languages, Spring 18 (evaluation 1 2), Spring 19 (evaluation)
Course Assistant, 601.329 Functional Programming in Software Engineering, Fall 20
volunteer for SPLASH 2017, SPLASH 2018, ICFP 2020, OCaml 2020
attend PLISS 2017, PLMW@SPLASH 2017

# 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

Zachary Palmer, Theodore Park, Scott Smith, Shiwei Weng, Higher-Order Demand-Driven Symbolic Evaluation, ICFP 2020 [page] [doi] [pdf] [repo] [talk (slide)]

# Misc

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.

~weng