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

Registered user since Wed 31 Mar 2021

Name:Manos Kapritsos
Affiliation:University of Michigan, USA

Contributions

2024

Dafny

  • Author of Testing Specifications In Dafny within the Dafny 2024-track

2023

PLDI

  • Author of Performal: Formal Verification of Latency Properties for Distributed Systems within the PLDI Research Papers-track

2022

PLDI

  • Committee Member in PLDI within the PLDI-track

2021

SPLASH

  • Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the SIGPLAN Papers-track

2020

PLDI

  • Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the PLDI Research Papers-track
Share
xThu 15 May 21:53
using conf.researchr.org (v1.69.0)
Support page
Sign Up