• Sign in
  • Sign up
conf.researchr.org / Shengyi Wang
  • APLAS 2019 profile
  • ICFP/SPLASH 2025 profile
  • PLDI 2018 profile
  • PLDI 2024 profile
  • POPL 2024 profile
  • SPLASH 2019 profile
Shengyi Wang

Registered user since Mon 15 Jan 2024

Name:Shengyi Wang
Country:United States
Affiliation:Princeton University
Personal website: https://www.cs.princeton.edu/~shengyiw/
Research interests:Formal Verification, Programming Language

Contributions

2025

SPLASH

  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

2024

PLDI

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

CPP

  • Author of Compositional Verification of Concurrent C Programs with Search Structure Templates within the CPP 2024-track

2019

APLAS

  • Author of A Verified Garbage Collector for Gallina within the APLAS NIER-track

SPLASH

  • Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track
  • Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the Posters-track
  • Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA Artifacts-track

2018

DeepSpec

  • Speaker of Verification of Union-Find in C within the DeepSpec 2018-track
Share
xThu 22 May 02:38
using conf.researchr.org (v1.69.0)
Support page
Sign Up