Best Papers

ETAPS 2017 Best Papers

EATCS best paper award

Sam Staton
Commutative Semantics for Probabilistic Programming. ESOP 2017 [doi link]

Alex Simpson
Cyclic Arithmetic Is Equivalent to Peano Arithmetic. FoSSaCS 2017 [doi link]

Stefano Berardi, Makoto Tatsuta
Classical System of Martin-Löf's Inductive Definitions Is Not Equivalent to Cyclic Proof System. FoSSaCS 2017 [doi link]

EASST best paper award

Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule and Isil Dillig
Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions. TACAS 2017 [doi link]

EAPLS best paper award

Ryan Culpepper and Andrew Cobb
Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring. ESOP 2017 [doi link]

Who's online

We have 79 guests and no members online

Site Hosted by