Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Philipp Rümmer
conf.researchr.org general profile
FSEN 2025 profile
NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2024 profile
Registered user since Tue 31 Oct 2023
Name:
Philipp Rümmer
Affiliation:
University of Regensburg and Uppsala University
Contributions
2025
FSEN
Keynote Speaker of Talk: Verification by Program Transformation within the Research Papers-track
Author of Finding Universally Quantified Heap Invariants by Horn Clause Transformations within the Research Papers-track
Keynote Speaker in Keynote Speakers
VMCAI
PC Member in Program Committee within the VMCAI 2025-track
2024
SPLASH
Author of A Constraint Solving Approach to Parikh Images of Regular Languages within the OOPSLA 2024-track
VMCAI
Author of Boosting Constrained Horn Solving by Unsat Core Learning within the VMCAI 2024-track
2023
NWPT
Author of Verification of Extended Quantifiers Using Instrumentation Operators within the NWPT 2023-track
Share
x
Tue 6 May 20:17
