• Sign in
  • Sign up
conf.researchr.org / Manos Kapritsos
  • PLDI 2020 profile
  • PLDI 2022 profile
  • SPLASH 2021 profile

Registered user since Wed 31 Mar 2021

Name:Manos Kapritsos
Affiliation:University of Michigan, USA

Contributions

PLDI 2022 Committee Member in PLDI within the PLDI-track
SPLASH 2021 Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the SIGPLAN Papers-track
PLDI 2020 Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the PLDI Research Papers-track

Share
xSun 2 Apr 05:28
using conf.researchr.org (v1.60.0)
Support page
Sign Up