Philipp Ruemmer - POPL 2022

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	Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables Committee Member in Program Committee within the POPL-track
CPP 2022	CertiStr: A Certified String Solver
Show activities from other conferences