Shengyuan yang bio photo

Email

Github

About Me

Here is Shengyuan Yang (杨声远).

I am a fourth-year Ph.D. student in Computer Science at the University of Wisconsin–Madison and a member of the MadPL Group.

I am broadly interested in the principles and techniques of programming languages, and in using them to reason about computing systems and improve their security and efficiency.

My research includes programming language principles and tools for quantum computing, under the supervision of Charles Yuan. My work explores time-space trade-offs for checking quantum assertions. My recent work also includes MBUndo, a sound, automatic, and efficient compiler pass for measurement-based uncomputation that reduces the cost of uncomputation in quantum circuits.

I am also interested in programming language support for LLM-based AI systems. In Imprompt, we designed a structured prompt programming language that separates task descriptions from execution details, together with formal compilation strategies.

My earlier research focused on pointer analysis algorithms and their foundations. This work includes Cut-Shortcut, a fast and precise approach to pointer analysis for object-oriented languages, and Cut-Shortcut-S, which models Java Streams and their interaction with lambda expressions for precise static analysis. At Wisconsin, I earned an M.S. and worked with Thomas Reps on pointer analysis algorithms. Before coming to Wisconsin, I received both a B.E. and an M.E. in Software Engineering from Nanjing University, where I worked with Yue Li and Tian Tan as a member of the PASCAL Research Group.

Publications

MBUndo: Sound, Automatic, and Efficient Measurement-Based Uncomputation for Quantum Circuits (Preprint)
Shengyuan Yang and Charles Yuan.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs (Preprint)
Shengyuan Yang and Charles Yuan.

Quantum Assertion Testing Without Mid-Circuit Measurement: Strategies and Lower Bounds (Paper)
Shengyuan Yang, Charles Yuan. (PlanQC’26)

Imprompt: A Language Framework for Prompt Programming (Preprint)
Chentian Wu, Shengyuan Yang, Adithya Murali.

Cut-Shortcut Whole-Program Pointer Analysis: Re-imagining Context-Sensitivity without Contexts (Paper, Artifact)
Shengyuan Yang, Wenjie Ma, Thomas Reps, Tian Tan, Yue Li. (TOPLAS’ 2026)

Context Sensitivity without Contexts, A Cut-Shortcut Approach to Fast and Precise Pointer Analysis (Paper, Artifact)
Wenjie Ma#, Shengyuan Yang#, Tian Tan, Xiaoxing Ma, Chang Xu, Yue Li. (the author with # contributed equally to this work)
44nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’ 2023)


Services

  • Artifact Evaluation Committee： SAS’25, PLDI’26.
  • Journal Reviewer： TOSEM.
  • Teaching Assistant： Static Analysis (2021 Fall), Java programming (2023 Fall), Introduction to the Theory and Design of Programming Langugaes (2024 Spring, 2024 Fall, 2025 Spring, 2025 Fall)


Projects

Undergraduate Thesis at Nanjing University

  • Hymers: a hybrid heap abstraction tool to accelerate pointer analysis by dividing abstract heaps into different categories to apply corresponding abstraction methods.

Master Thesis at Wisconsin-Madison

  • A Static Modeling of Java Streams: a static modeling of Java streams in pointer analysis, modeling all kinds of stream pipeline operations to track stream input-output relations.

Competition Projects

  • A Side-Scrolling Tactical RPG: a game developed by Unity, lead an 8-person team to win 1st place in Game Development Contest by Thunder Fire Studio, NetEase & Nanjing University.
  • Campus Vacant Classroom Wayfinding App: an Android App using WIFI detection to locate the user’s position in buildings, and enabling in-building navigation for vacant classrooms, won 1st place in hackathon by Academic Collaboration Dept., Microsoft Research Asia & Nanjing University.

Selcted Course Projects

  • OCEANIA: a web system to visualize the call-graph of a given program uploaded by users. Led a 3-person team and impelemented 2 call-graph construction strategies (a fast code traversal solution and a precise pointer analysis solution).
  • Online Cinema System: a 2KLOC web system that releases, schedules, and sells tickets for cinema.
  • Online Judge System: as the scrum manager, help a 4-person team to complete an agile software process in developing an online judge system in 2 sprints, using Zenhub, Kanban and burndown charts.
  • Test Impact Selction Tool: leveraged static analysis framework WALA to design and implement a tool that selects test cases impacted by a given change.


Hobbies

  • Video Games: Soulsborne, crpg, fire emblem, card games.
  • Science Fiction & Detective Novels: Ted Chiang, 小林 泰三, 西泽 保彦, 江户川 乱步, 京极 夏彦
  • I’m learning electric guitar


这里或那里，世界很大，世界很好。