💀 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 Scenic: A Language for Scenario Specification and Scene Generation
Daniel J. Fremont, Tommaso Dreossi, ... (+4 more)
👻 Ghosted cs.PL 297 7 years ago
2 Program Synthesis from Polymorphic Refinement Types
Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama
👻 Ghosted cs.PL 270 10 years ago
3 Productivity Assessment of Neural Code Completion
Albert Ziegler, Eirini Kalliamvakou, ... (+6 more)
👻 Ghosted cs.SE 253 4 years ago
4 A General Path-Based Representation for Predicting Program Properties
Uri Alon, Meital Zilberstein, ... (+2 more)
👻 Ghosted cs.PL 213 8 years ago
5 Synthesizing Program Input Grammars
Osbert Bastani, Rahul Sharma, ... (+2 more)
👻 Ghosted cs.PL 194 9 years ago
6 Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
Yu Feng, Ruben Martins, ... (+3 more)
👻 Ghosted cs.PL 183 9 years ago
7 Program Synthesis using Conflict-Driven Learning
Yu Feng, Ruben Martins, ... (+2 more)
👻 Ghosted cs.PL 178 8 years ago
8 Automated Clustering and Program Repair for Introductory Programming Assignments
Sumit Gulwani, Ivan Radiček, Florian Zuleger
👻 Ghosted cs.PL 173 10 years ago
9 EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Roshan Dathathri, Blagovesta Kostova, ... (+4 more)
👻 Ghosted cs.CR 154 6 years ago
10 Typilus: Neural Type Hints
Miltiadis Allamanis, Earl T. Barr, ... (+2 more)
👻 Ghosted cs.PL 146 6 years ago
11 Low-Latency Graph Streaming Using Compressed Purely-Functional Trees
Laxman Dhulipala, Julian Shun, Guy Blelloch
👻 Ghosted cs.DC 140 7 years ago
12 Skeletal Program Enumeration for Rigorous Compiler Testing
Qirun Zhang, Chengnian Sun, Zhendong Su
👻 Ghosted cs.PL 126 9 years ago
13 Constant-Time Foundations for the New Spectre Era
Sunjay Cauligi, Craig Disselkoen, ... (+5 more)
👻 Ghosted cs.CR 125 6 years ago
14 Bounded Expectations: Resource Analysis for Probabilistic Programs
Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann
👻 Ghosted cs.PL 121 8 years ago
15 Relay: A New IR for Machine Learning Frameworks
Jared Roesch, Steven Lyubomirsky, ... (+5 more)
👻 Ghosted cs.PL 117 7 years ago
16 An Inductive Synthesis Framework for Verifiable Reinforcement Learning
He Zhu, Zikang Xiong, ... (+2 more)
👻 Ghosted cs.LG 103 6 years ago
17 Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
Greg Anderson, Shankara Pailoor, ... (+2 more)
👻 Ghosted cs.PL 103 7 years ago
18 EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++
Gregory J. Duck, Roland H. C. Yap
👻 Ghosted cs.PL 102 8 years ago
19 Data-Driven Feedback Generation for Introductory Programming Exercises
Ke Wang, RIshabh Singh, Zhendong Su
👻 Ghosted cs.PL 101 8 years ago
20 HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Shumo Chu, Konstantin Weitz, ... (+2 more)
👻 Ghosted cs.PL 94 9 years ago
21 Programmatic and Direct Manipulation, Together at Last
Ravi Chugh, Brian Hempel, ... (+2 more)
👻 Ghosted cs.PL 87 10 years ago
22 Multi-modal Synthesis of Regular Expressions
Qiaochu Chen, Xinyu Wang, ... (+3 more)
👻 Ghosted cs.PL 86 6 years ago
23 Dynamic Race Prediction in Linear Time
Dileep Kini, Umang Mathur, Mahesh Viswanathan
👻 Ghosted cs.PL 84 9 years ago
24 Finding Root Causes of Floating Point Error with Herbgrind
Alex Sanchez-Stern, Pavel Panchekha, ... (+2 more)
👻 Ghosted cs.PL 79 9 years ago
25 Rigorous Analysis of Software Countermeasures against Cache Attacks
Goran Doychev, Boris Köpf
👻 Ghosted cs.CR 77 10 years ago
26 Predictable Accelerator Design with Time-Sensitive Affine Types
Rachit Nigam, Sachille Atapattu, ... (+7 more)
👻 Ghosted cs.PL 73 6 years ago
27 Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands
Giovanni Campagna, Silei Xu, ... (+3 more)
👻 Ghosted cs.CL 71 7 years ago
28 Precise, Dynamic Information Flow for Database-Backed Applications
Jean Yang, Travis Hance, ... (+4 more)
👻 Ghosted cs.PL 71 10 years ago
29 Rehearsal: A Configuration Verification Tool for Puppet
Rian Shambaugh, Aaron Weiss, Arjun Guha
👻 Ghosted cs.PL 70 10 years ago
30 Generating Correctness Proofs with Neural Networks
Alex Sanchez-Stern, Yousef Alhessi, ... (+2 more)
👻 Ghosted cs.PL 69 6 years ago
31 The Three Pillars of Machine Programming
Justin Gottschlich, Armando Solar-Lezama, ... (+7 more)
👻 Ghosted cs.AI 66 8 years ago
32 Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version)
Jianan Yao, Gabriel Ryan, ... (+3 more)
👻 Ghosted cs.SE 62 6 years ago
33 NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey
Michal Friedman, Naama Ben-David, ... (+3 more)
👻 Ghosted cs.DC 61 6 years ago
34 SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka
👻 Ghosted cs.PL 61 5 years ago
35 Refinement Types for TypeScript
Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala
👻 Ghosted cs.PL 55 10 years ago
36 Cost Analysis of Nondeterministic Probabilistic Programs
Peixin Wang, Hongfei Fu, ... (+4 more)
👻 Ghosted cs.PL 54 7 years ago
37 HPTT: A High-Performance Tensor Transposition C++ Library
Paul Springer, Tong Su, Paolo Bientinesi
👻 Ghosted cs.MS 50 9 years ago
38 Proving Differential Privacy with Shadow Execution
Yuxin Wang, Zeyu Ding, ... (+3 more)
👻 Ghosted cs.PL 48 7 years ago
39 Polymorphic Type Inference for Machine Code
Matthew Noonan, Alexey Loginov, David Cok
👻 Ghosted cs.PL 48 10 years ago
40 Event-Driven Network Programming
Jedidiah McClurg, Hossein Hojjat, ... (+2 more)
👻 Ghosted cs.PL 48 10 years ago
41 LLHD: A Multi-level Intermediate Representation for Hardware Description Languages
Fabian Schuiki, Andreas Kurth, ... (+2 more)
👻 Ghosted cs.PL 45 6 years ago
42 CacheQuery: Learning Replacement Policies from Hardware Caches
Pepe Vila, Pierre Ganty, ... (+2 more)
👻 Ghosted cs.PL 45 6 years ago
43 Synthesizing Database Programs for Schema Refactoring
Yuepeng Wang, James Dong, ... (+2 more)
👻 Ghosted cs.PL 44 7 years ago
44 Abstract Interpretation under Speculative Execution
Meng Wu, Chao Wang
👻 Ghosted cs.PL 43 7 years ago
45 Polynomial Invariant Generation for Non-deterministic Recursive Programs
Krishnendu Chatterjee, Hongfei Fu, ... (+2 more)
🔮 The Ethereal cs.LO 42 7 years ago
46 Resource-Guided Program Synthesis
Tristan Knoth, Di Wang, ... (+2 more)
👻 Ghosted cs.PL 40 7 years ago
47 Ariadne: Analysis for Machine Learning Program
Julian Dolby, Avraham Shinnar, ... (+2 more)
👻 Ghosted cs.PL 39 8 years ago
48 FunTAL: Reasonably Mixing a Functional Language with Assembly
Daniel Patterson, Jamie Perconti, ... (+2 more)
🌅 Old Age cs.PL 39 8 years ago
49 SmartTrack: Efficient Predictive Race Detection
Jake Roemer, Kaan Genç, Michael D. Bond
👻 Ghosted cs.SE 36 7 years ago
50 The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
Nathan Chong, Tyler Sorensen, John Wickerson
👻 Ghosted cs.PL 36 8 years ago