Philipp Ruemmer -

Registered user since Thu 20 Aug 2015

Name:Philipp Ruemmer

Country:Sweden

Affiliation:Uppsala University

Personal website:http://www.philipp.ruemmer.org

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