| 282 | -- | 414 | Hongjin Liang, Xinyu Feng. Progress of Concurrent Objects |
| 102 | -- | 281 | Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock. QED at Large: A Survey of Engineering of Formally Verified Software |
| 1 | -- | 101 | Oleg Kiselyov. Reconciling Abstraction with High Performance: A MetaOCaml approach |