💀 The Wall of Shame

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

Page 2, showing 50 papers

# Paper Cause of Death Category Citations Published
51 Decidable Synthesis of Programs with Uninterpreted Functions
Paul Krogmeier, Umang Mathur, ... (+3 more)
👻 Ghosted cs.PL 14 6 years ago
52 QEBVerif: Quantization Error Bound Verification of Neural Networks
Yedi Zhang, Fu Song, Jun Sun
👻 Ghosted cs.LG 14 3 years ago
53 Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
Zhengyang Lu, Stefan Siemer, ... (+4 more)
👻 Ghosted cs.AI 14 2 years ago
54 Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
👻 Ghosted cs.DS 13 11 years ago
55 Certifying Certainty and Uncertainty in Approximate Membership Query Structures -- Extended Version
Kiran Gopinathan, Ilya Sergey
👻 Ghosted cs.DS 13 6 years ago
56 LTL learning on GPUs
Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
👻 Ghosted cs.PL 13 2 years ago
57 3D Environment Modeling for Falsification and Beyond with Scenic 3.0
Eric Vin, Shun Kashiwa, ... (+8 more)
👻 Ghosted cs.PL 12 2 years ago
58 Vehicle Platooning Simulations with Functional Reactive Programming
Bernd Finkbeiner, Felix Klein, ... (+2 more)
👻 Ghosted cs.PL 11 8 years ago
59 Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts
João Santos Reis, Paul Crocker, Simão Melo de Sousa
👻 Ghosted cs.PL 11 6 years ago
60 Efficient Synthesis with Probabilistic Constraints
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
👻 Ghosted cs.PL 10 7 years ago
61 Verification of Quantitative Hyperproperties Using Trace Enumeration Relations
Shubham Sahai, Rohit Sinha, Pramod Subramanyan
👻 Ghosted cs.CR 10 6 years ago
62 Abstract Interpretation with Unfoldings
Marcelo Sousa, César Rodríguez, ... (+2 more)
👻 Ghosted cs.PL 9 9 years ago
63 Constraint-Based Synthesis of Coupling Proofs
Aws Albarghouthi, Justin Hsu
👻 Ghosted cs.PL 9 8 years ago
64 TarTar: A Timed Automata Repair Tool
Martin Koelbl, Stefan Leue, Thomas Wies
👻 Ghosted cs.SE 9 6 years ago
65 Using SyGuS to Synthesize Reactive Motion Plans
Sarah Chasins, Julie L. Newcomb
👻 Ghosted cs.PL 8 9 years ago
66 Formal Specification and Verification of Solidity Contracts with Events
Ákos Hajdu, Dejan Jovanović, Gabriela Ciocarlie
👻 Ghosted cs.PL 8 6 years ago
67 Early Verification of Legal Compliance via Bounded Satisfiability Checking
Nick Feng, Lina Marsso, ... (+2 more)
👻 Ghosted cs.SE 8 3 years ago
68 Automated Tail Bound Analysis for Probabilistic Recurrence Relations
Yican Sun, Hongfei Fu, ... (+2 more)
👻 Ghosted cs.DS 8 3 years ago
69 Identification of Risk Significant Automotive Scenarios Under Hardware Failures
Mohammad Hejase, Arda Kurt, ... (+2 more)
👻 Ghosted eess.SY 7 8 years ago
70 Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
Ryotaro Banno, Kotaro Matsuoka, ... (+4 more)
👻 Ghosted cs.CR 7 3 years ago
71 Certifying the Fairness of KNN in the Presence of Dataset Bias
Yannan Li, Jingbo Wang, Chao Wang
👻 Ghosted cs.LG 7 2 years ago
72 Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
Jan Baumeister, Bernd Finkbeiner, ... (+5 more)
👻 Ghosted cs.SE 7 2 years ago
73 Certified Robust Accuracy of Neural Networks Are Bounded due to Bayes Errors
Ruihan Zhang, Jun Sun
👻 Ghosted stat.ML 7 2 years ago
74 Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives
Krishnendu Chatterjee, Monika Henzinger, ... (+3 more)
👻 Ghosted cs.DS 6 8 years ago
75 On the Application of ISO 26262 in Control Design for Automated Vehicles
Georg Schildbach
👻 Ghosted eess.SY 6 8 years ago
76 Parsimonious Optimal Dynamic Partial Order Reduction
Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+3 more)
👻 Ghosted cs.PL 6 2 years ago
77 Security-Aware Synthesis Using Delayed-Action Games
Mahmoud Elfar, Yu Wang, Miroslav Pajic
👻 Ghosted cs.GT 5 7 years ago
78 Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript)
Peizun Liu, Thomas Wahl, Akash LaL
👻 Ghosted cs.PL 5 7 years ago
79 Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
👻 Ghosted cs.PL 5 6 years ago
80 A Scalable Shannon Entropy Estimator
Priyanka Golia, Brendan Juba, Kuldeep S. Meel
👻 Ghosted cs.CR 5 3 years ago
81 Lexicographic Ranking Supermartingales with Lazy Lower Bounds
Toru Takisaka, Libo Zhang, ... (+2 more)
👻 Ghosted cs.PL 5 3 years ago
82 Predictive Monitoring with Strong Trace Prefixes
Zhendong Ang, Umang Mathur
👻 Ghosted cs.PL 5 2 years ago
83 Verification Algorithms for Automated Separation Logic Verifiers
Marco Eilers, Malte Schwerhoff, Peter Müller
👻 Ghosted cs.PL 5 2 years ago
84 Charon: An Analysis Framework for Rust
Son Ho, Guillaume Boisseau, ... (+4 more)
👻 Ghosted cs.PL 5 1 year ago
85 Fast Computation of Strong Control Dependencies
Marek Chalupa, David Klaška, ... (+2 more)
👻 Ghosted cs.DS 4 5 years ago
86 ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
Tianhao Wei, Hanjiang Hu, ... (+5 more)
👻 Ghosted cs.LG 4 1 year ago
87 Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions
Grigory Fedyukovich, Rastislav Bodík
👻 Ghosted cs.PL 3 9 years ago
88 Towards Model Checking Real-World Software-Defined Networks (version with appendix)
Vasileios Klimis, George Parisis, Bernhard Reus
👻 Ghosted cs.NI 3 6 years ago
89 CEG4N: Counter-Example Guided Neural Network Quantization Refinement
João Batista P. Matos, Iury Bessa, ... (+3 more)
👻 Ghosted cs.LG 3 3 years ago
90 Incremental Dead State Detection in Logarithmic Time
Caleb Stanford, Margus Veanes
👻 Ghosted cs.DS 3 3 years ago
91 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
92 VPN: Verification of Poisoning in Neural Networks
Youcheng Sun, Muhammad Usman, ... (+2 more)
👻 Ghosted cs.CR 2 4 years ago
93 Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
Ori Lahav, Brijesh Dongol, Heike Wehrheim
👻 Ghosted cs.PL 2 3 years ago
94 Monitizer: Automating Design and Evaluation of Neural Network Monitors
Muqsit Azeem, Marta Grobelna, ... (+4 more)
👻 Ghosted cs.LG 2 2 years ago
95 Verifying Fault-Tolerance of Quantum Error Correction Codes
Kean Chen, Yuhao Liu, ... (+6 more)
👻 Ghosted quant-ph 2 1 year ago
96 D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation
Yingte Xu, Li Zhou, Gilles Barthe
👻 Ghosted cs.PL 2 1 year ago
97 Floating-Point Neural Networks Are Provably Robust Universal Approximators
Geonho Hwang, Wonyeol Lee, ... (+3 more)
👻 Ghosted cs.LG 2 11 months ago
98 Tree Buffers
Radu Grigore, Stefan Kiefer
👻 Ghosted cs.DS 1 11 years ago
99 Automated Verification of Correctness for Masked Arithmetic Programs
Mingyang Liu, Fu Song, Taolue Chen
👻 Ghosted cs.CR 1 3 years ago
100 Unified Fairness for Weak Memory Verification
Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+3 more)
👻 Ghosted cs.PL 1 3 years ago