| 1 |
Towards Automatic Resource Bound Analysis for OCaml
Jan Hoffmann, Ankush Das, Shu-Chun Weng
|
👻
Ghosted
|
cs.PL
|
137 |
9 years ago |
| 2 |
Do be do be do
Sam Lindley, Conor McBride, Craig McLaughlin
|
👻
Ghosted
|
cs.PL
|
116 |
9 years ago |
| 3 |
Stochastic Invariants for Probabilistic Termination
Krishnendu Chatterjee, Petr Novotný, Đorđe Žikelić
|
👻
Ghosted
|
cs.PL
|
103 |
9 years ago |
| 4 |
Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs
Krishnendu Chatterjee, Hongfei Fu, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
103 |
10 years ago |
| 5 |
Overhauling SC Atomics in C11 and OpenCL
Mark Batty, Alastair F. Donaldson, John Wickerson
|
👻
Ghosted
|
cs.PL
|
100 |
11 years ago |
| 6 |
LightDP: Towards Automating Differential Privacy Proofs
Danfeng Zhang, Daniel Kifer
|
👻
Ghosted
|
cs.PL
|
80 |
9 years ago |
| 7 |
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version)
Julien Lange, Nicholas Ng, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
78 |
9 years ago |
| 8 |
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms
Igor Konnov, Marijana Lazic, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
77 |
9 years ago |
| 9 |
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Cyrus Omar, Ian Voysey, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
75 |
9 years ago |
| 10 |
Stream Fusion, to Completeness
Oleg Kiselyov, Aggelos Biboudis, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
73 |
9 years ago |
| 11 |
Dijkstra Monads for Free
Danel Ahman, Catalin Hritcu, ... (+6 more)
|
👻
Ghosted
|
cs.PL
|
62 |
9 years ago |
| 12 |
A Semantic Account of Metric Preservation
Arthur Azevedo de Amorim, Marco Gaboardi, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
57 |
9 years ago |
| 13 |
Pushdown Control-Flow Analysis for Free
Thomas Gilray, Steven Lyde, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
53 |
10 years ago |
| 14 |
Beginner's Luck: A Language for Property-Based Generators
Leonidas Lampropoulos, Diane Gallois-Wong, ... (+4 more)
|
👻
Ghosted
|
cs.PL
|
51 |
9 years ago |
| 15 |
Coupling proofs are probabilistic product programs
Gilles Barthe, Benjamin Grégoire, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
49 |
9 years ago |
| 16 |
Java Generics are Turing Complete
Radu Grigore
|
👻
Ghosted
|
cs.PL
|
49 |
10 years ago |
| 17 |
Cantor meets Scott: Semantic Foundations for Probabilistic Networks
Steffen Smolka, Praveen Kumar, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
44 |
9 years ago |
| 18 |
Hypercollecting Semantics and its Application to Static Analysis of Information Flow
Mounir Assaf, David A. Naumann, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
42 |
9 years ago |
| 19 |
Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)
Ichiro Hasuo, Shunsuke Shimizu, Corina Cirstea
|
🔮
The Ethereal
|
cs.LO
|
29 |
10 years ago |
| 20 |
Abstraction Refinement Guided by a Learnt Probabilistic Model
Radu Grigore, Hongseok Yang
|
👻
Ghosted
|
cs.PL
|
28 |
10 years ago |
| 21 |
Sums of Uncertainty: Refinements Go Gradual
Khurram A. Jafery, Jana Dunfield
|
👻
Ghosted
|
cs.PL
|
22 |
9 years ago |
| 22 |
Deciding equivalence with sums and the empty type
Gabriel Scherer
|
👻
Ghosted
|
cs.PL
|
19 |
9 years ago |
| 23 |
The Complexity of Interaction (Long Version)
Stéphane Gimenez, Georg Moser
|
👻
Ghosted
|
cs.PL
|
18 |
10 years ago |
| 24 |
The exp-log normal form of types
Danko Ilik
|
🔮
The Ethereal
|
cs.LO
|
4 |
11 years ago |