💀 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 Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Daniel Schemmel, Julian Büning, ... (+3 more)
👻 Ghosted cs.PL 17 5 years ago
52 Structural Synthesis for GXW Specifications
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
🔮 The Ethereal cs.LO 17 9 years ago
53 Quantitative Mitigation of Timing Side Channels
Saeid Tizpaz-Niari, Pavol Cerny, Ashutosh Trivedi
👻 Ghosted cs.CR 16 6 years ago
54 Sound Approximation of Programs with Elementary Functions
Eva Darulova, Anastasia Volkova
👻 Ghosted math.NA 15 7 years ago
55 Decidable Synthesis of Programs with Uninterpreted Functions
Paul Krogmeier, Umang Mathur, ... (+3 more)
👻 Ghosted cs.PL 14 6 years ago
56 Permission Inference for Array Programs
Jérôme Dohrau, Alexander J. Summers, ... (+3 more)
👻 Ghosted cs.PL 14 7 years ago
57 Efficient Parallel Strategy Improvement for Parity Games
John Fearnley
👻 Ghosted cs.DS 14 8 years ago
58 Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned
Leonid Ryzhyk, Adam Walker
👻 Ghosted cs.SE 14 9 years ago
59 Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions
Amir M. Ben-Amram, Samir Genaim
👻 Ghosted cs.PL 14 10 years ago
60 Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
Zhengyang Lu, Stefan Siemer, ... (+4 more)
👻 Ghosted cs.AI 14 2 years ago
61 QEBVerif: Quantization Error Bound Verification of Neural Networks
Yedi Zhang, Fu Song, Jun Sun
👻 Ghosted cs.LG 14 3 years ago
62 LTL learning on GPUs
Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
👻 Ghosted cs.PL 13 2 years ago
63 Certifying Certainty and Uncertainty in Approximate Membership Query Structures -- Extended Version
Kiran Gopinathan, Ilya Sergey
👻 Ghosted cs.DS 13 5 years ago
64 Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
👻 Ghosted cs.DS 13 10 years ago
65 3D Environment Modeling for Falsification and Beyond with Scenic 3.0
Eric Vin, Shun Kashiwa, ... (+8 more)
👻 Ghosted cs.PL 12 2 years ago
66 Hitting Families of Schedules for Asynchronous Programs
Dmitry Chistikov, Rupak Majumdar, Filip Niksic
🔮 The Ethereal cs.DM 12 10 years ago
67 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 5 years ago
68 Vehicle Platooning Simulations with Functional Reactive Programming
Bernd Finkbeiner, Felix Klein, ... (+2 more)
👻 Ghosted cs.PL 11 8 years ago
69 Verification of Quantitative Hyperproperties Using Trace Enumeration Relations
Shubham Sahai, Rohit Sinha, Pramod Subramanyan
👻 Ghosted cs.CR 10 5 years ago
70 Efficient Synthesis with Probabilistic Constraints
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
👻 Ghosted cs.PL 10 6 years ago
71 TarTar: A Timed Automata Repair Tool
Martin Koelbl, Stefan Leue, Thomas Wies
👻 Ghosted cs.SE 9 6 years ago
72 Constraint-Based Synthesis of Coupling Proofs
Aws Albarghouthi, Justin Hsu
👻 Ghosted cs.PL 9 7 years ago
73 Abstract Interpretation with Unfoldings
Marcelo Sousa, César Rodríguez, ... (+2 more)
👻 Ghosted cs.PL 9 8 years ago
74 Automated Tail Bound Analysis for Probabilistic Recurrence Relations
Yican Sun, Hongfei Fu, ... (+2 more)
👻 Ghosted cs.DS 8 2 years ago
75 Formal Specification and Verification of Solidity Contracts with Events
Ákos Hajdu, Dejan Jovanović, Gabriela Ciocarlie
👻 Ghosted cs.PL 8 5 years ago
76 Using SyGuS to Synthesize Reactive Motion Plans
Sarah Chasins, Julie L. Newcomb
👻 Ghosted cs.PL 8 9 years ago
77 Early Verification of Legal Compliance via Bounded Satisfiability Checking
Nick Feng, Lina Marsso, ... (+2 more)
👻 Ghosted cs.SE 8 3 years ago
78 Identification of Risk Significant Automotive Scenarios Under Hardware Failures
Mohammad Hejase, Arda Kurt, ... (+2 more)
👻 Ghosted eess.SY 7 7 years ago
79 Certified Robust Accuracy of Neural Networks Are Bounded due to Bayes Errors
Ruihan Zhang, Jun Sun
👻 Ghosted stat.ML 7 1 year ago
80 Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
Jan Baumeister, Bernd Finkbeiner, ... (+5 more)
👻 Ghosted cs.SE 7 1 year ago
81 Certifying the Fairness of KNN in the Presence of Dataset Bias
Yannan Li, Jingbo Wang, Chao Wang
👻 Ghosted cs.LG 7 2 years ago
82 Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
Ryotaro Banno, Kotaro Matsuoka, ... (+4 more)
👻 Ghosted cs.CR 7 3 years ago
83 Parsimonious Optimal Dynamic Partial Order Reduction
Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+3 more)
👻 Ghosted cs.PL 6 1 year ago
84 Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
Michael Blondin, Javier Esparza, ... (+3 more)
🔮 The Ethereal cs.LO 6 5 years ago
85 On the Application of ISO 26262 in Control Design for Automated Vehicles
Georg Schildbach
👻 Ghosted eess.SY 6 7 years ago
86 Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives
Krishnendu Chatterjee, Monika Henzinger, ... (+3 more)
👻 Ghosted cs.DS 6 7 years ago
87 Symbolic BDD and ADD Algorithms for Energy Games
Shahar Maoz, Or Pistiner, Jan Oliver Ringert
🔮 The Ethereal cs.LO 6 9 years ago
88 Charon: An Analysis Framework for Rust
Son Ho, Guillaume Boisseau, ... (+4 more)
👻 Ghosted cs.PL 5 1 year ago
89 Verification Algorithms for Automated Separation Logic Verifiers
Marco Eilers, Malte Schwerhoff, Peter Müller
👻 Ghosted cs.PL 5 1 year ago
90 Predictive Monitoring with Strong Trace Prefixes
Zhendong Ang, Umang Mathur
👻 Ghosted cs.PL 5 1 year ago
91 Full LTL Synthesis over Infinite-state Arenas
Shaun Azzopardi, Luca Di Stefano, ... (+2 more)
🔮 The Ethereal cs.LO 5 2 years ago
92 Lexicographic Ranking Supermartingales with Lazy Lower Bounds
Toru Takisaka, Libo Zhang, ... (+2 more)
👻 Ghosted cs.PL 5 2 years ago
93 Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
👻 Ghosted cs.PL 5 5 years ago
94 Security-Aware Synthesis Using Delayed-Action Games
Mahmoud Elfar, Yu Wang, Miroslav Pajic
👻 Ghosted cs.GT 5 7 years ago
95 Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript)
Peizun Liu, Thomas Wahl, Akash LaL
👻 Ghosted cs.PL 5 6 years ago
96 A Scalable Shannon Entropy Estimator
Priyanka Golia, Brendan Juba, Kuldeep S. Meel
👻 Ghosted cs.CR 5 3 years ago
97 Fast Computation of Strong Control Dependencies
Marek Chalupa, David Klaška, ... (+2 more)
👻 Ghosted cs.DS 4 5 years ago
98 Skipping Refinement
Mitesh Jain, Panagiotis Manolios
🔮 The Ethereal cs.LO 4 11 years ago
99 ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
Tianhao Wei, Hanjiang Hu, ... (+5 more)
👻 Ghosted cs.LG 4 1 year ago
100 Syntax-Guided Automated Program Repair for Hyperproperties
Raven Beutner, Tzu-Han Hsu, ... (+2 more)
🔮 The Ethereal cs.LO 3 1 year ago