Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Philipp Schröer
conf.researchr.org general profile
ISSTA/ECOOP 2024 profile
POPL 2022 profile
POPL 2024 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Thu 26 Aug 2021
Name:
Philipp Schröer
Country:
Germany
Affiliation:
RWTH Aachen University
Contributions
2024
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ECOOP
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Dafny
Author of Caesar: A Verifier for Probabilistic Programs within the Dafny 2024-track
2023
SPLASH
Author of A Deductive Verification Infrastructure for Probabilistic Programs within the OOPSLA-track
2022
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Share
x
Fri 15 Nov 12:18