Shengyuan yang bio photo

Email

Github

About Me

Here is Shengyuan Yang (杨声远).

I am a second-year Ph.D. student in Computer Science at the University of Wisconsin–Madison, and a member of the MadPL Group. Along the way to the Ph.D. I recently earned an M.S., working under the supervision of Professor Thomas Reps. Although my research focuses on static analysis, I have broad interests across programming-language theory and techniques.

Before coming to Wisconsin, I obtained both a B.E. and an M.E. in Software Engineering from Nanjing University. As a member of the PASCAL Research Group, I collaborated with Professors Yue Li and Tian Tan on foundational pointer analysis approaches for object-oriented languages.

For more information, please see my résumé.


Publications

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)



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.



News and Updates

  • May 2025:Earned a master along my way towards the Ph.D.
  • April 2023:Our paper has been accepted by PLDI 2023 (as the co-first author).



Services

  • Teaching Assistant: Java programming (2023 Fall), Introduction to the Theory and Design of Programming Langugaes (2024 Spring, 2024 Fall, 2025 Spring)
  • Artifact Evaluation Committee: SAS’25.



Hobbies

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



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