Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Arthur Correnson
conf.researchr.org general profile
ESEC/FSE 2023 profile
ICFP 2022 profile
ICFP 2023 profile
POPL 2023 profile
POPL 2025 profile
SPLASH 2024 profile
Registered user since Mon 27 Jun 2022
Name:
Arthur Correnson
Affiliation:
CISPA Helmholtz Center for Information Security
Contributions
2025
POPL
Author of Coinductive Proofs for Temporal Hyperliveness within the POPL-track
2024
SPLASH
Author of Finding ∀∃ Hyperbugs Using Symbolic Execution within the OOPSLA 2024-track
2023
ESEC/FSE
Author of Engineering a Formally Verified Automated Bug Finder within the Research Papers-track
ICFP
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ProLaLa
Author of What do Relational Properties Have to Say About Legal Expert Systems ? within the ProLaLa 2023-track
2022
ICFP
Author of Formal Verification of a Lazy Abstraction Model Checker within the Student Research Competition-track
Share
x
Thu 21 Nov 13:20
