tantalus13a98b5f.github.io - Introduction | Songlin Jia

home > domains > tantalus13a98b5f.github.io

Description: Songlin Jia is a Ph.D. student since 2021 at Purdue CS. Interested in programming languages, he currently works with Prof. Tiark Rompf. He has been working on a performant, full-fledged symbolic execution engine by staging. Recently, he is interested in the implementation of algebraic effects. In 2022, Songlin is a student volunteer in PLDI’22. He is a teaching assistant for CS565 Programming Languages in the fall semester. Songlin got his bachelor’s degree at Shanghai Jiao Tong University, where he used to

Example domain paragraphs

Songlin Jia is a Ph.D. student since 2021 at Purdue CS. Interested in programming languages, he currently works with Prof. Tiark Rompf . He has been working on a performant, full-fledged symbolic execution engine by staging . Recently, he is interested in the implementation of algebraic effects.

In 2022, Songlin is a student volunteer in PLDI’22. He is a teaching assistant for CS565 Programming Languages in the fall semester.

Songlin got his bachelor’s degree at Shanghai Jiao Tong University, where he used to work on scientific computing and program analysis.

Links to tantalus13a98b5f.github.io (1)

• purduepl.github.io PurPL