Write a Blog >>
Philipp Ruemmer

Registered user since Thu 20 Aug 2015

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


PLDI 2017 Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile