💀 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 Advanced Probabilistic Couplings for Differential Privacy
Gilles Barthe, Noémie Fong, ... (+4 more)
 🔮 The Ethereal cs.LO 65 9 years ago
2 Verifying Security Policies in Multi-agent Workflows with Loops
Bernd Finkbeiner, Christian Müller, ... (+2 more)
 🔮 The Ethereal cs.LO 32 8 years ago
3 Generalized Security-Preserving Refinement for Concurrent Systems
Huan Sun, David Sanán, ... (+4 more)
 🔮 The Ethereal cs.LO 1 4 months ago
4 Logical Relations for Formally Verified Authenticated Data Structures
Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti
 🔮 The Ethereal cs.LO 0 1 year ago