💀 The Wall of Shame

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

Page 1, showing 50 papers

# Paper Cause of Death Category Citations Published
1 Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz, Clark Barrett, ... (+3 more)
👻 Ghosted cs.AI 2.0K 9 years ago
2 Safety Verification of Deep Neural Networks
Xiaowei Huang, Marta Kwiatkowska, ... (+2 more)
👻 Ghosted cs.AI 989 9 years ago
3 Ascertaining Uncertainty for Efficient Exact Cache Analysis
Valentin Touzeau, Claire Maïza, ... (+2 more)
👻 Ghosted cs.PL 816 8 years ago
4 A storm is Coming: A Modern Probabilistic Model Checker
Christian Dehnert, Sebastian Junges, ... (+2 more)
👻 Ghosted cs.SE 427 9 years ago
5 An Abstraction-Based Framework for Neural Network Verification
Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz
🔮 The Ethereal cs.FL 135 6 years ago
6 Termination Analysis of Probabilistic Programs through Positivstellensatz's
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
👻 Ghosted cs.PL 114 9 years ago
7 Network-wide Configuration Synthesis
Ahmed El-Hassany, Petar Tsankov, ... (+2 more)
👻 Ghosted cs.NI 89 9 years ago
8 Synthesis through Unification
Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
👻 Ghosted cs.PL 67 10 years ago
9 Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
Cheng Wen, Jialun Cao, ... (+7 more)
👻 Ghosted cs.SE 67 1 year ago
10 Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
Daniel J. Fremont, Johnathan Chiu, ... (+3 more)
👻 Ghosted cs.LG 58 5 years ago
11 Learning a Static Analyzer from Data
Pavol Bielik, Veselin Raychev, Martin Vechev
👻 Ghosted cs.PL 55 9 years ago
12 Synthesizing Probabilistic Invariants via Doob's Decomposition
Gilles Barthe, Thomas Espitau, ... (+2 more)
👻 Ghosted cs.PL 53 9 years ago
13 On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony
Ahmed Bouajjani, Constantin Enea, ... (+2 more)
👻 Ghosted cs.PL 51 7 years ago
14 Property Directed Self Composition
Ron Shemer, Arie Gurfinkel, ... (+2 more)
👻 Ghosted cs.PL 50 6 years ago
15 The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications
Rahul Kumar Bhadani, Jonathan Sprinkle, Matthew Bunting
👻 Ghosted cs.RO 46 7 years ago
16 Verifying Asynchronous Interactions via Communicating Session Automata
Julien Lange, Nobuko Yoshida
👻 Ghosted cs.PL 45 7 years ago
17 Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics
Idan Berkovits, Marijana Lazic, ... (+3 more)
👻 Ghosted cs.PL 44 6 years ago
18 On Multiphase-Linear Ranking Functions
Amir M. Ben-Amram, Samir Genaim
👻 Ghosted cs.PL 44 9 years ago
19 Automating Induction for Solving Horn Clauses
Hiroshi Unno, Sho Torii
👻 Ghosted cs.PL 43 9 years ago
20 SyGuS-Comp 2017: Results and Analysis
Rajeev Alur, Dana Fisman, ... (+2 more)
👻 Ghosted cs.SE 42 8 years ago
21 Logic-based Clustering and Learning for Time-Series Data
Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, ... (+2 more)
👻 Ghosted cs.LG 42 9 years ago
22 SyGuS-Comp 2016: Results and Analysis
Rajeev Alur, Dana Fisman, ... (+2 more)
👻 Ghosted cs.SE 40 9 years ago
23 Ownership guided C to Rust translation
Hanliang Zhang, Cristina David, ... (+2 more)
👻 Ghosted cs.PL 39 3 years ago
24 Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution
Peter Müller, Malte Schwerhoff, Alexander J. Summers
👻 Ghosted cs.PL 39 10 years ago
25 Reducing asynchrony to synchronized rounds
Andrei Damien, Cezara Dragoi, ... (+2 more)
👻 Ghosted cs.PL 38 7 years ago
26 Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation
Yu-Fang Chen, Chih-Duo Hong, ... (+2 more)
👻 Ghosted cs.SE 37 11 years ago
27 Safety-Aware Apprenticeship Learning
Weichao Zhou, Wenchao Li
👻 Ghosted cs.AI 36 8 years ago
28 Montre: A Tool for Monitoring Timed Regular Expressions
Dogan Ulus
🔮 The Ethereal cs.FL 36 9 years ago
29 Inferring Inductive Invariants from Phase Structures
Yotam M. Y. Feldman, James R. Wilcox, ... (+2 more)
👻 Ghosted cs.PL 35 6 years ago
30 Proving linearizability using forward simulations
Ahmed Bouajjani, Michael Emmi, ... (+2 more)
👻 Ghosted cs.PL 35 9 years ago
31 Non-polynomial Worst-Case Analysis of Recursive Programs
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
👻 Ghosted cs.PL 32 8 years ago
32 RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
Jan Baumeister, Bernd Finkbeiner, ... (+3 more)
👻 Ghosted cs.RO 30 6 years ago
33 Proving Unrealizability for Syntax-Guided Synthesis
Qinheping Hu, Jason Breck, ... (+3 more)
👻 Ghosted cs.PL 30 6 years ago
34 Enforcing Almost-Sure Reachability in POMDPs
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
👻 Ghosted cs.AI 29 5 years ago
35 Validation of Abstract Side-Channel Models for Computer Architectures
Hamed Nemati, Pablo Buiras, ... (+3 more)
👻 Ghosted cs.CR 29 5 years ago
36 Overfitting in Synthesis: Theory and Practice (Extended Version)
Saswat Padhi, Todd Millstein, ... (+2 more)
👻 Ghosted cs.PL 29 6 years ago
37 Understanding and Extending Incremental Determinization for 2QBF
Markus N. Rabe, Leander Tentrup, ... (+2 more)
🔮 The Ethereal cs.LO 28 6 years ago
38 Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds
Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar
👻 Ghosted cs.PL 28 8 years ago
39 Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)
Anthony W. Lin, Philipp Ruemmer
🔮 The Ethereal cs.LO 25 9 years ago
40 Parameterized Verification of Systems with Global Synchronization and Guards
Nouraldin Jaber, Swen Jacobs, ... (+3 more)
🔮 The Ethereal cs.FL 24 5 years ago
41 Loop Summarization with Rational Vector Addition Systems (extended version)
Jake Silverman, Zachary Kincaid
👻 Ghosted cs.PL 21 6 years ago
42 Robust Safety for Autonomous Vehicles through Reconfigurable Networking
Khalid Halba, Charif Mahmoudi, Edward Griffor
👻 Ghosted cs.NI 21 7 years ago
43 Leveraging Parallel Data Processing Frameworks with Verified Lifting
Maaz Bin Safeer Ahmad, Alvin Cheung
👻 Ghosted cs.PL 21 9 years ago
44 Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
Lorenz Leutgeb, Georg Moser, Florian Zuleger
🔮 The Ethereal cs.LO 21 3 years ago
45 Theory Exploration Powered By Deductive Synthesis
Eytan Singher, Shachar Itzhaky
👻 Ghosted cs.PL 20 5 years ago
46 Automated Parameterized Verification of CRDTs
Kartik Nagar, Suresh Jagannathan
👻 Ghosted cs.PL 20 6 years ago
47 Complete Multiparty Session Type Projection with Automata
Elaine Li, Felix Stutz, ... (+2 more)
🔮 The Ethereal cs.FL 19 2 years ago
48 fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components
Lenny Truong, Steven Herbst, ... (+9 more)
👻 Ghosted cs.SE 18 5 years ago
49 Learning Abstractions for Program Synthesis
Xinyu Wang, Greg Anderson, ... (+2 more)
👻 Ghosted cs.PL 18 7 years ago
50 Verse: A Python library for reasoning about multi-agent hybrid system scenarios
Yangge Li, Haoqing Zhu, ... (+3 more)
👻 Ghosted cs.SE 18 3 years ago