Philipp Ruemmer - POPL 2018

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 2018	String Constraints with Concatenation and Transducers Solved Efficiently String Constraints with Concatenation and Transducers Solved Efficiently
VMCAI 2018	Committee Member in Program Committee within the VMCAI 2018-track
Show activities from other conferences