| 149 | -- | 151 | Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball. 2014 CAV award announcement |
| 152 | -- | 174 | Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich. The spirit of ghost code |
| 175 | -- | 205 | Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki. SMT-based model checking for recursive programs |
| 206 | -- | 234 | Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark Barrett, Morgan Deters. An efficient SMT solver for string constraints |
| 235 | -- | 256 | Rahul Sharma 0001, Alex Aiken. From invariant checking to invariant inference using randomized search |
| 257 | -- | 273 | Ashish Tiwari, Patrick Lincoln. A search-based procedure for nonlinear real arithmetic |
| 274 | -- | 300 | Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki. Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components |