Write a Blog >>
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

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