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 2017Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track
Show activities from other conferences

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