💀 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 Polynomial Invariant Generation for Non-deterministic Recursive Programs
Krishnendu Chatterjee, Hongfei Fu, ... (+2 more)
🔮 The Ethereal cs.LO 42 7 years ago