💀 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 Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript
Blake Loring, Duncan Mitchell, Johannes Kinder
👻 Ghosted cs.PL 35 7 years ago
52 Reactive Probabilistic Programming
Guillaume Baudart, Louis Mandel, ... (+4 more)
👻 Ghosted cs.PL 34 6 years ago
53 Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems
Qinheping Hu, John Cyphert, ... (+2 more)
👻 Ghosted cs.PL 33 6 years ago
54 Mesh: Compacting Memory Management for C/C++ Applications
Bobby Powers, David Tench, ... (+2 more)
👻 Ghosted cs.PL 33 7 years ago
55 Crafty: Efficient, HTM-Compatible Persistent Transactions
Kaan Genç, Michael D. Bond, Guoqing Harry Xu
👻 Ghosted cs.PL 31 6 years ago
56 Scalable Verification of Probabilistic Networks
Steffen Smolka, Praveen Kumar, ... (+5 more)
👻 Ghosted cs.PL 31 7 years ago
57 SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen
👻 Ghosted cs.PL 31 7 years ago
58 Occurrence Typing Modulo Theories
Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt
👻 Ghosted cs.PL 31 10 years ago
59 Data-Driven Inference of Representation Invariants
Anders Miltner, Saswat Padhi, ... (+2 more)
👻 Ghosted cs.PL 30 6 years ago
60 Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version)
Zhoulai Fu, Zhendong Su
👻 Ghosted cs.PL 30 9 years ago
61 Quantitative Analysis of Assertion Violations in Probabilistic Programs
Jinyi Wang, Yican Sun, ... (+3 more)
👻 Ghosted cs.PL 28 5 years ago
62 Automatic Generation of Efficient Sparse Tensor Format Conversion Routines
Stephen Chou, Fredrik Kjolstad, Saman Amarasinghe
👻 Ghosted cs.MS 28 6 years ago
63 Active Learning of Points-To Specifications
Osbert Bastani, Rahul Sharma, ... (+2 more)
👻 Ghosted cs.PL 28 8 years ago
64 Types from data: Making structured data first-class citizens in F#
Tomas Petricek, Gustavo Guerra, Don Syme
👻 Ghosted cs.PL 28 10 years ago
65 PaC-trees: Supporting Parallel and Compressed Purely-Functional Collections
Laxman Dhulipala, Guy E. Blelloch, ... (+2 more)
👻 Ghosted cs.DS 27 4 years ago
66 On the Complexity and Performance of Parsing with Derivatives
Michael D. Adams, Celeste Hollenbeck, Matthew Might
👻 Ghosted cs.PL 26 10 years ago
67 Templates and Recurrences: Better Together
Jason Breck, John Cyphert, ... (+2 more)
👻 Ghosted cs.PL 24 6 years ago
68 Syntax-Guided Program Reduction for Understanding Neural Code Intelligence Models
Md Rafiqul Islam Rabin, Aftab Hussain, Mohammad Amin Alipour
👻 Ghosted cs.SE 24 4 years ago
69 LifeJacket: Verifying precise floating-point optimizations in LLVM
Andres Nötzli, Fraser Brown
👻 Ghosted cs.PL 23 10 years ago
70 Just-in-Time Static Type Checking for Dynamic Languages
Brianna M. Ren, Jeffrey S. Foster
👻 Ghosted cs.PL 21 10 years ago
71 Replication-Aware Linearizability
Constantin Enea, Suha Orhun Mutluergil, ... (+2 more)
👻 Ghosted cs.PL 19 7 years ago
72 Repairing and Mechanising the JavaScript Relaxed Memory Model
Conrad Watt, Christopher Pulte, ... (+6 more)
👻 Ghosted cs.PL 18 6 years ago
73 FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
Frank Emrich, Sam Lindley, ... (+3 more)
👻 Ghosted cs.PL 18 6 years ago
74 Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
Ruslan Nikolaev, Binoy Ravindran
👻 Ghosted cs.DC 18 7 years ago
75 Bidirectional Type Checking for Relational Properties
Ezgi Çiçek, Weihao Qu, ... (+3 more)
👻 Ghosted cs.PL 17 7 years ago
76 Putting in All the Stops: Execution Control for JavaScript
Samuel Baxter, Rachit Nigam, ... (+3 more)
👻 Ghosted cs.PL 16 8 years ago
77 Learned Garbage Collection
Lujing Cen, Ryan Marcus, ... (+4 more)
👻 Ghosted cs.PL 15 6 years ago
78 Typed Closure Conversion for the Calculus of Constructions
William J. Bowman, Amal Ahmed
👻 Ghosted cs.PL 15 7 years ago
79 ControlFlag: A Self-Supervised Idiosyncratic Pattern Detection System for Software Control Structures
Niranjan Hasabnis, Justin Gottschlich
👻 Ghosted cs.SE 14 5 years ago
80 Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version
Laith Sakka, Kirshanthan Sundararajah, ... (+2 more)
👻 Ghosted cs.PL 14 7 years ago
81 Predictive Synthesis of API-Centric Code
Daye Nam, Baishakhi Ray, ... (+3 more)
👻 Ghosted cs.SE 13 4 years ago
82 Responsive Parallelism with Futures and State
Stefan K. Muller, Kyle Singer, ... (+4 more)
👻 Ghosted cs.PL 12 6 years ago
83 Type-Level Computations for Ruby Libraries
Milod Kazerounian, Sankha Narayan Guria, ... (+3 more)
👻 Ghosted cs.PL 12 7 years ago
84 On the Principles of Differentiable Quantum Programming Languages
Shaopeng Zhu, Shih-Han Hung, ... (+2 more)
🌅 Old Age cs.PL 11 6 years ago
85 Size-Change Termination as a Contract
Phuc C. Nguyen, Thomas Gilray, ... (+2 more)
👻 Ghosted cs.PL 11 7 years ago
86 Abstract interpretation of Michelson smart-contracts
Guillaume Bau, Antoine Miné, ... (+2 more)
👻 Ghosted cs.CR 11 3 years ago
87 Quickstrom: Property Based Acceptance Testing with LTL Specifications
Liam O'Connor, Oskar Wickström
👻 Ghosted cs.PL 11 4 years ago
88 Combining E-Graphs with Abstract Interpretation
Samuel Coward, George A. Constantinides, Theo Drane
👻 Ghosted cs.DS 10 3 years ago
89 Kleene Algebra Modulo Theories
Michael Greenberg, Ryan Beckett, Eric Campbell
👻 Ghosted cs.PL 8 8 years ago
90 Loo.py: From Fortran to performance via transformation and substitution rules
Andreas Klöckner
👻 Ghosted cs.PL 8 11 years ago
91 A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
Muhammad Usman, Wenxi Wang, ... (+4 more)
👻 Ghosted cs.LG 7 6 years ago
92 Obfuscation Resilient Search through Executable Classification
Fang-Hsiang Su, Jonathan Bell, ... (+2 more)
👻 Ghosted cs.SE 7 7 years ago
93 Array Languages Make Neural Networks Fast
Artjoms Šinkarovs, Hans-Nikolai Vießmann, Sven-Bodo Scholz
👻 Ghosted cs.PL 6 6 years ago
94 CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs (Extended Manuscript)
Peizun Liu, Thomas Wahl
👻 Ghosted cs.PL 5 8 years ago
95 Symbolic Reasoning for Automatic Signal Placement (Extended Version)
Kostas Ferles, Jacob Van Geffen, ... (+2 more)
👻 Ghosted cs.PL 4 8 years ago
96 Array Program Transformation with Loo.py by Example: High-Order Finite Elements
Andreas Klöckner, Lucas C. Wilcox, T. Warburton
👻 Ghosted cs.PL 4 10 years ago
97 Scalable Parallel Numerical Constraint Solver Using Global Load Balancing
Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura
👻 Ghosted cs.DC 3 11 years ago
98 P4BID: Information Flow Control in P4
Karuna Grewal, Loris D'Antoni, Justin Hsu
👻 Ghosted cs.PL 3 4 years ago
99 Automatically Debugging AutoML Pipelines using Maro: ML Automated Remediation Oracle (Extended Version)
Julian Dolby, Jason Tsay, Martin Hirzel
👻 Ghosted cs.SE 2 4 years ago
100 Landmarks and Regions: A Robust Approach to Data Extraction
Suresh Parthasarathy, Lincy Pattanaik, ... (+5 more)
👻 Ghosted cs.SE 2 4 years ago