💀 The Wall of Shame

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

Conference: All Venues
A*
A* NeurIPS A* ICML A* ICLR A* AAAI A* IJCAI A* COLT A* CVPR A* ICCV A* ECCV A* ACL A* OSDI A* SOSP A* SIGCOMM A* NSDI A* ISCA A* MICRO A* HPCA A* ASPLOS A* INFOCOM A* MOBICOM A* ICRA A* RSS A* KDD A* WWW A* SIGIR A* ICDM A* ICSE A* FSE A* ASE A* CCS A* S&P A* USENIX Security A* NDSS A* STOC A* FOCS A* SODA A* CHI A* UIST A* SIGGRAPH A* SIGMOD A* VLDB A* ICDE A* CRYPTO A* EUROCRYPT A* PLDI A* POPL A* CAV
A
A EMNLP A NAACL A EACL A AISTATS A UAI A ECAI A WACV A BMVC A IROS A CoRL A CIKM A WSDM A MICCAI A INTERSPEECH A EuroSys A CSCW A ACM MM A ICASSP
B
B COLING B ACCV B ICONIP B IJCNN B PAKDD B GECCO B ICPR
×
All Causes 👻 Ghosted ⏳ Coming Soon™ 💀 404 Not Found ⚰️ The Empty Tomb 📜 Death by README 🦴 Skeleton Repo 🪦 Buried in Dependencies 💤 Eternal Rest 🧟 Zombie Code 🎩 The Houdini 🌅 Old Age ⏳ Grace Period 🔮 The Ethereal
Sort by: Most Cited Most Recent Oldest ⭐ Highest Rated 🔖 Most Bookmarked

Page 1

# Paper Cause of Death Category Citations Published
1 SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer
Mikhail R. Gadelha, Enrico Steffinlongo, ... (+3 more)
 🔮 The Ethereal cs.LO 20 7 years ago
2 Towards Logical Specification of Statistical Machine Learning
Yusuke Kawamoto
 🔮 The Ethereal cs.LO 7 6 years ago
3 Auto-active Verification of Floating-point Programs via Nonlinear Real Provers
Junaid Rasheed, Michal Konečný
 🔮 The Ethereal cs.LO 1 3 years ago