💀 The Wall of Shame

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

Page 3, showing 29 papers

# Paper Cause of Death Category Citations Published
101 Incremental Dead State Detection in Logarithmic Time
Caleb Stanford, Margus Veanes
👻 Ghosted cs.DS 3 3 years ago
102 Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed
Wenhao Wu, Jan Hückelheim, ... (+3 more)
👻 Ghosted cs.PL 3 3 years ago
103 Towards Model Checking Real-World Software-Defined Networks (version with appendix)
Vasileios Klimis, George Parisis, Bernhard Reus
👻 Ghosted cs.NI 3 6 years ago
104 Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions
Grigory Fedyukovich, Rastislav Bodík
👻 Ghosted cs.PL 3 9 years ago
105 CEG4N: Counter-Example Guided Neural Network Quantization Refinement
João Batista P. Matos, Iury Bessa, ... (+3 more)
👻 Ghosted cs.LG 3 3 years ago
106 Floating-Point Neural Networks Are Provably Robust Universal Approximators
Geonho Hwang, Wonyeol Lee, ... (+3 more)
👻 Ghosted cs.LG 2 11 months ago
107 D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation
Yingte Xu, Li Zhou, Gilles Barthe
👻 Ghosted cs.PL 2 1 year ago
108 Verifying Fault-Tolerance of Quantum Error Correction Codes
Kean Chen, Yuhao Liu, ... (+6 more)
👻 Ghosted quant-ph 2 1 year ago
109 Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
Ori Lahav, Brijesh Dongol, Heike Wehrheim
👻 Ghosted cs.PL 2 3 years ago
110 Monitizer: Automating Design and Evaluation of Neural Network Monitors
Muqsit Azeem, Marta Grobelna, ... (+4 more)
👻 Ghosted cs.LG 2 2 years ago
111 VPN: Verification of Poisoning in Neural Networks
Youcheng Sun, Muhammad Usman, ... (+2 more)
👻 Ghosted cs.CR 2 4 years ago
112 Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
Hernan Gagliardi, Victor Braberman, Sebastian Uchitel
👻 Ghosted cs.SE 1 11 months ago
113 GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
Soham Chakraborty, S. Krishna, ... (+2 more)
🔮 The Ethereal cs.LO 1 1 year ago
114 Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
Shaowei Zhu, Zachary Kincaid
👻 Ghosted cs.PL 1 1 year ago
115 The SemGuS Toolkit
Keith J. C. Johnson, Andrew Reynolds, ... (+2 more)
👻 Ghosted cs.PL 1 1 year ago
116 Boosting Few-Pixel Robustness Verification via Covering Verification Designs
Yuval Shapira, Naor Wiesel, ... (+2 more)
👻 Ghosted cs.LG 1 2 years ago
117 Verifying Tree-Manipulating Programs via CHCs
Marco Faella, Gennaro Parlato
👻 Ghosted cs.PL 1 1 year ago
118 An Intermediate Program Representation for Optimizing Stream-Based Languages
Jan Baumeister, Arthur Correnson, ... (+2 more)
🔮 The Ethereal cs.LO 1 1 year ago
119 Unified Fairness for Weak Memory Verification
Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+3 more)
👻 Ghosted cs.PL 1 3 years ago
120 Automated Verification of Correctness for Masked Arithmetic Programs
Mingyang Liu, Fu Song, Taolue Chen
👻 Ghosted cs.CR 1 3 years ago
121 Tree Buffers
Radu Grigore, Stefan Kiefer
👻 Ghosted cs.DS 1 11 years ago
122 On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
👻 Ghosted cs.DB 0 1 year ago
123 Verifying Cake-Cutting, Faster
Noah Bertram, Tean Lai, Justin Hsu
👻 Ghosted cs.GT 0 2 years ago
124 Strided Difference Bound Matrices
Arjun Pitchanathan, Albert Cohen, ... (+2 more)
👻 Ghosted cs.SC 0 2 years ago
125 INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
Suguman Bansal, Ramneet Singh
🔮 The Ethereal cs.LO 0 1 year ago
126 Automated Verification of Monotonic Data Structure Traversals in C
Matthew Sotoudeh
💤 Eternal Rest cs.PL 0 1 year ago
127 Data-driven Verification of Procedural Programs with Integer Arrays
Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl
👻 Ghosted cs.PL 0 1 year ago
128 A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
James Tobler, Hira Taqdees Syeda, Toby Murray
👻 Ghosted cs.PL 0 1 year ago
129 StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga
👻 Ghosted cs.SE 0 2 years ago