| 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 |