• Sign in
  • Sign up
conf.researchr.org / Dennis Shasha
  • PLDI 2020 profile
  • POPL 2018 profile
  • SPLASH 2021 profile

Not registered as user yet

Name:Dennis Shasha
Country:United States
Affiliation:New York University

Contributions

SPLASH 2021 Author of Verifying Concurrent Multicopy Search Structures within the Posters-track
Author of Verifying Concurrent Multicopy Search Structures within the OOPSLA-track
Author of Verifying Concurrent Search Structure Templates within the SIGPLAN Papers-track
PLDI 2020 Author of Verifying Concurrent Search Structure Templates within the PLDI Research Papers-track
POPL 2018 Author of Go with the Flow: Compositional Abstractions for Concurrent Data Structures within the Research Papers-track

Share
xSun 5 Feb 06:24
using conf.researchr.org (v1.58.0)
Support page
Sign Up