Raven Beutner

ATVA
ATVA 2023 - International Symposium on Automated Technology for Verification and AnalysisATVA 2023

CAV
Computer Aided VerificationCAV 2023

CSF
CSF 2022CSF 2022

CAV
CAVCAV 2022

PLDI
PLDI 2022PLDI 2022

LICS
37th Annual ACM/IEEE Symposium on Logic in Computer Science37th Annual ACM/IEEE Symposium on Logic in Computer Science

CONCUR
CONCUR32nd International Conference on Concurrency Theory, CONCUR 2021

PLDI
PLDI42nd International Conference on Programming Language Design and Implementation

CONCUR
CONCUR30th International Conference on Concurrency Theory, CONCUR 2019

CONCUR
30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands