conf.researchr.org / Siyuan He
Registered user since Sun 9 Aug 2020
Name:Siyuan He
Country:United States
Affiliation:Purdue University
Personal website: https://sweetsinpackets.github.io/
Research interests:Programming languages
Contributions
2026
PLDI
- Author of [SIGPLAN OOPSLA’25] Complete the Cycle: Reachability Types with Expressive Cyclic References within the PLDI Research Papers-track
- Author of Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types within the PLDI Research Papers-track
- Author of Typestate via Revocable Capabilities within the PLDI Research Papers-track