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

Not registered as user yet

Name:Shengyi Wang

Contributions

2024

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
xSun 3 Dec 14:49
using conf.researchr.org (v1.62.0)
Support page
Sign Up