Awards

Best Paper

Aile Ge-Ernst, Christoph Scholl and Ralf Wimmer. Localizing Quantifiers for DQBF

Honorable Mention

Haniel Barbosa, Andrew Reynolds, Daniel Larraz and Cesare Tinelli. Extending enumerative function synthesis via SMT-driven classification

Best Student Contribution

• Rohit Dureja, Scalable Verification of Designs with Multiple Properties