💀 The Wall of Shame

The most cited papers with no code. Sorted by the weight of their sins.

Page 1

# Paper Cause of Death Category Citations Published
1 Towards Automatic Resource Bound Analysis for OCaml
Jan Hoffmann, Ankush Das, Shu-Chun Weng
👻 Ghosted cs.PL 137 9 years ago
2 Do be do be do
Sam Lindley, Conor McBride, Craig McLaughlin
👻 Ghosted cs.PL 116 9 years ago
3 Stochastic Invariants for Probabilistic Termination
Krishnendu Chatterjee, Petr Novotný, Đorđe Žikelić
👻 Ghosted cs.PL 103 9 years ago
4 Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs
Krishnendu Chatterjee, Hongfei Fu, ... (+2 more)
🔮 The Ethereal cs.LO 103 10 years ago
5 Overhauling SC Atomics in C11 and OpenCL
Mark Batty, Alastair F. Donaldson, John Wickerson
👻 Ghosted cs.PL 100 11 years ago
6 LightDP: Towards Automating Differential Privacy Proofs
Danfeng Zhang, Daniel Kifer
👻 Ghosted cs.PL 80 9 years ago
7 Fencing off Go: Liveness and Safety for Channel-based Programming (extended version)
Julien Lange, Nicholas Ng, ... (+2 more)
👻 Ghosted cs.PL 78 9 years ago
8 A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms
Igor Konnov, Marijana Lazic, ... (+2 more)
🔮 The Ethereal cs.LO 77 9 years ago
9 Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Cyrus Omar, Ian Voysey, ... (+3 more)
👻 Ghosted cs.PL 75 9 years ago
10 Stream Fusion, to Completeness
Oleg Kiselyov, Aggelos Biboudis, ... (+2 more)
👻 Ghosted cs.PL 73 9 years ago
11 Dijkstra Monads for Free
Danel Ahman, Catalin Hritcu, ... (+6 more)
👻 Ghosted cs.PL 62 9 years ago
12 A Semantic Account of Metric Preservation
Arthur Azevedo de Amorim, Marco Gaboardi, ... (+3 more)
👻 Ghosted cs.PL 57 9 years ago
13 Pushdown Control-Flow Analysis for Free
Thomas Gilray, Steven Lyde, ... (+3 more)
👻 Ghosted cs.PL 53 10 years ago
14 Beginner's Luck: A Language for Property-Based Generators
Leonidas Lampropoulos, Diane Gallois-Wong, ... (+4 more)
👻 Ghosted cs.PL 51 9 years ago
15 Coupling proofs are probabilistic product programs
Gilles Barthe, Benjamin Grégoire, ... (+2 more)
👻 Ghosted cs.PL 49 9 years ago
16 Java Generics are Turing Complete
Radu Grigore
👻 Ghosted cs.PL 49 10 years ago
17 Cantor meets Scott: Semantic Foundations for Probabilistic Networks
Steffen Smolka, Praveen Kumar, ... (+3 more)
👻 Ghosted cs.PL 44 9 years ago
18 Hypercollecting Semantics and its Application to Static Analysis of Information Flow
Mounir Assaf, David A. Naumann, ... (+3 more)
👻 Ghosted cs.PL 42 9 years ago
19 Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)
Ichiro Hasuo, Shunsuke Shimizu, Corina Cirstea
🔮 The Ethereal cs.LO 29 10 years ago
20 Abstraction Refinement Guided by a Learnt Probabilistic Model
Radu Grigore, Hongseok Yang
👻 Ghosted cs.PL 28 10 years ago
21 Sums of Uncertainty: Refinements Go Gradual
Khurram A. Jafery, Jana Dunfield
👻 Ghosted cs.PL 22 9 years ago
22 Deciding equivalence with sums and the empty type
Gabriel Scherer
👻 Ghosted cs.PL 19 9 years ago
23 The Complexity of Interaction (Long Version)
Stéphane Gimenez, Georg Moser
👻 Ghosted cs.PL 18 10 years ago
24 The exp-log normal form of types
Danko Ilik
🔮 The Ethereal cs.LO 4 11 years ago