Philipp Ruemmer

Registered user since Thu 20 Aug 2015

Name:Philipp Ruemmer
Country:Sweden
Affiliation:Uppsala University
Research interests:Program verification, theorem proving, SMT solving

Contributions

POPL 2022 Author of Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables within the POPL-track
Committee Member in Program Committee within the POPL-track
CPP 2022 Author of CertiStr: A Certified String Solver within the CPP 2022-track
APLAS 2019 Session Chair of Concurrency (part of Research Papers)
Author of On Strings in Software Model Checking within the Keynote Talks-track
FTfJP 2019 Invited Speaker of Invited Talk - JayHorn: A Java Model Checker within the FTfJP 2019-track
ECOOP 2019 Committee Member in External Review Committee within the Research Papers-track
HCVS 2019 Committee Member in Program Committee within the HCVS-track
PERR 2019 Committee Member in Program Committee within the PERR-track
POPL 2019 Author of Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations within the Research Papers-track
POPL 2018 Author of String Constraints with Concatenation and Transducers Solved Efficiently within the Research Papers-track
Author of String Constraints with Concatenation and Transducers Solved Efficiently within the Artifact Evaluation-track
VMCAI 2018 Committee Member in Program Committee within the VMCAI 2018-track
PLDI 2017 Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track
VMCAI Committee Member in Program Committee
Author of Regular Symmetry Patterns within the VMCAI-track