let rec weng = ~weng cv misc contact blog 博客

funny

# Shiwei Weng 翁士伟

I am a fourth-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 Aug 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.

# 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]

# Work Experience

Microsoft Research Lab, Redmond (virtually), Summer 2021,

I worked as a Research Intern on Checked C project. I designed and implemented a dataflow analysis which gathers pre/post-conditions at program points and an SMT-based proof framework to reduce false-positive compiler warnings. It’s a wonderful summer. Thanks to my mentor Sulekha Kulkarni, the boss David Tarditi and all the team members!

Something before

I got an internship offer from Nomadic Labs on Linear Types and OCaml program analysis for summer 2019. However, due to the COVID-19 and regulations for international students in United States, I cannot make it physically nor virtually. What a pity.

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

# 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
System Administrator of our lab
Volunteer for SPLASH 2017, SPLASH 2018, ICFP 2020, OCaml 2020
Attend OPLSS 2022, PLISS 2017, [email protected] 2017

# Publications

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

# Open Source

I maintain z3-ocaml after fixing a notorious bug lasting for years (explanation on OCaml Discuss). Other randoms.

# 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 but there is usually more at home (2 cats, 3 cats).