| 1 | -- | 25 | Philipp Rümmer, Hossein Hojjat, Viktor Kuncak. On recursion-free Horn clauses and Craig interpolation |
| 26 | -- | 50 | Christian von Essen, Barbara Jobstmann. Program repair without regret |
| 51 | -- | 74 | Yakir Vizel, Alexander Nadel, Vadim Ryvchin. Efficient generation of small interpolants in CNF |
| 75 | -- | 92 | Daniel Kroening, Matt Lewis, Georg Weissenbacher. Under-approximating loops in C programs for fast counterexample detection |
| 93 | -- | 119 | Loris D'Antoni, Margus Veanes. Extended symbolic finite automata and transducers |
| 120 | -- | 157 | Pranav Garg 0001, Christof Löding, P. Madhusudan, Daniel Neider. Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists |