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