💀 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 Termination Analysis of Probabilistic Programs through Positivstellensatz's
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
👻 Ghosted cs.PL 114 9 years ago
6 Network-wide Configuration Synthesis
Ahmed El-Hassany, Petar Tsankov, ... (+2 more)
👻 Ghosted cs.NI 89 9 years ago
7 Synthesis through Unification
Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
👻 Ghosted cs.PL 67 10 years ago
8 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
9 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
10 Learning a Static Analyzer from Data
Pavol Bielik, Veselin Raychev, Martin Vechev
👻 Ghosted cs.PL 55 9 years ago
11 Synthesizing Probabilistic Invariants via Doob's Decomposition
Gilles Barthe, Thomas Espitau, ... (+2 more)
👻 Ghosted cs.PL 53 9 years ago
12 On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony
Ahmed Bouajjani, Constantin Enea, ... (+2 more)
👻 Ghosted cs.PL 51 7 years ago
13 Property Directed Self Composition
Ron Shemer, Arie Gurfinkel, ... (+2 more)
👻 Ghosted cs.PL 50 6 years ago
14 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
15 Verifying Asynchronous Interactions via Communicating Session Automata
Julien Lange, Nobuko Yoshida
👻 Ghosted cs.PL 45 7 years ago
16 On Multiphase-Linear Ranking Functions
Amir M. Ben-Amram, Samir Genaim
👻 Ghosted cs.PL 44 9 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 Automating Induction for Solving Horn Clauses
Hiroshi Unno, Sho Torii
👻 Ghosted cs.PL 43 9 years ago
19 Logic-based Clustering and Learning for Time-Series Data
Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, ... (+2 more)
👻 Ghosted cs.LG 42 9 years ago
20 SyGuS-Comp 2017: Results and Analysis
Rajeev Alur, Dana Fisman, ... (+2 more)
👻 Ghosted cs.SE 42 8 years ago
21 SyGuS-Comp 2016: Results and Analysis
Rajeev Alur, Dana Fisman, ... (+2 more)
👻 Ghosted cs.SE 40 9 years ago
22 Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution
Peter Müller, Malte Schwerhoff, Alexander J. Summers
👻 Ghosted cs.PL 39 10 years ago
23 Ownership guided C to Rust translation
Hanliang Zhang, Cristina David, ... (+2 more)
👻 Ghosted cs.PL 39 3 years ago
24 Reducing asynchrony to synchronized rounds
Andrei Damien, Cezara Dragoi, ... (+2 more)
👻 Ghosted cs.PL 38 7 years ago
25 Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation
Yu-Fang Chen, Chih-Duo Hong, ... (+2 more)
👻 Ghosted cs.SE 37 11 years ago
26 Safety-Aware Apprenticeship Learning
Weichao Zhou, Wenchao Li
👻 Ghosted cs.AI 36 8 years ago
27 Proving linearizability using forward simulations
Ahmed Bouajjani, Michael Emmi, ... (+2 more)
👻 Ghosted cs.PL 35 9 years ago
28 Inferring Inductive Invariants from Phase Structures
Yotam M. Y. Feldman, James R. Wilcox, ... (+2 more)
👻 Ghosted cs.PL 35 6 years ago
29 Non-polynomial Worst-Case Analysis of Recursive Programs
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
👻 Ghosted cs.PL 32 8 years ago
30 Proving Unrealizability for Syntax-Guided Synthesis
Qinheping Hu, Jason Breck, ... (+3 more)
👻 Ghosted cs.PL 30 6 years ago
31 RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
Jan Baumeister, Bernd Finkbeiner, ... (+3 more)
👻 Ghosted cs.RO 30 6 years ago
32 Overfitting in Synthesis: Theory and Practice (Extended Version)
Saswat Padhi, Todd Millstein, ... (+2 more)
👻 Ghosted cs.PL 29 6 years ago
33 Validation of Abstract Side-Channel Models for Computer Architectures
Hamed Nemati, Pablo Buiras, ... (+3 more)
👻 Ghosted cs.CR 29 5 years ago
34 Enforcing Almost-Sure Reachability in POMDPs
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
👻 Ghosted cs.AI 29 5 years ago
35 Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds
Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar
👻 Ghosted cs.PL 28 8 years ago
36 Leveraging Parallel Data Processing Frameworks with Verified Lifting
Maaz Bin Safeer Ahmad, Alvin Cheung
👻 Ghosted cs.PL 21 9 years ago
37 Robust Safety for Autonomous Vehicles through Reconfigurable Networking
Khalid Halba, Charif Mahmoudi, Edward Griffor
👻 Ghosted cs.NI 21 7 years ago
38 Loop Summarization with Rational Vector Addition Systems (extended version)
Jake Silverman, Zachary Kincaid
👻 Ghosted cs.PL 21 6 years ago
39 Automated Parameterized Verification of CRDTs
Kartik Nagar, Suresh Jagannathan
👻 Ghosted cs.PL 20 6 years ago
40 Theory Exploration Powered By Deductive Synthesis
Eytan Singher, Shachar Itzhaky
👻 Ghosted cs.PL 20 5 years ago
41 Learning Abstractions for Program Synthesis
Xinyu Wang, Greg Anderson, ... (+2 more)
👻 Ghosted cs.PL 18 7 years ago
42 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
43 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
44 Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Daniel Schemmel, Julian Büning, ... (+3 more)
👻 Ghosted cs.PL 17 5 years ago
45 Quantitative Mitigation of Timing Side Channels
Saeid Tizpaz-Niari, Pavol Cerny, Ashutosh Trivedi
👻 Ghosted cs.CR 16 6 years ago
46 Sound Approximation of Programs with Elementary Functions
Eva Darulova, Anastasia Volkova
👻 Ghosted math.NA 15 7 years ago
47 Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions
Amir M. Ben-Amram, Samir Genaim
👻 Ghosted cs.PL 14 10 years ago
48 Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned
Leonid Ryzhyk, Adam Walker
👻 Ghosted cs.SE 14 9 years ago
49 Efficient Parallel Strategy Improvement for Parity Games
John Fearnley
👻 Ghosted cs.DS 14 8 years ago
50 Permission Inference for Array Programs
Jérôme Dohrau, Alexander J. Summers, ... (+3 more)
👻 Ghosted cs.PL 14 7 years ago