| 101 |
Incremental Dead State Detection in Logarithmic Time
Caleb Stanford, Margus Veanes
|
👻
Ghosted
|
cs.DS
|
3 |
3 years ago |
| 102 |
Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed
Wenhao Wu, Jan Hückelheim, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
3 |
3 years ago |
| 103 |
Towards Model Checking Real-World Software-Defined Networks (version with appendix)
Vasileios Klimis, George Parisis, Bernhard Reus
|
👻
Ghosted
|
cs.NI
|
3 |
6 years ago |
| 104 |
Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions
Grigory Fedyukovich, Rastislav Bodík
|
👻
Ghosted
|
cs.PL
|
3 |
9 years ago |
| 105 |
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
João Batista P. Matos, Iury Bessa, ... (+3 more)
|
👻
Ghosted
|
cs.LG
|
3 |
3 years ago |
| 106 |
Floating-Point Neural Networks Are Provably Robust Universal Approximators
Geonho Hwang, Wonyeol Lee, ... (+3 more)
|
👻
Ghosted
|
cs.LG
|
2 |
11 months ago |
| 107 |
D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation
Yingte Xu, Li Zhou, Gilles Barthe
|
👻
Ghosted
|
cs.PL
|
2 |
1 year ago |
| 108 |
Verifying Fault-Tolerance of Quantum Error Correction Codes
Kean Chen, Yuhao Liu, ... (+6 more)
|
👻
Ghosted
|
quant-ph
|
2 |
1 year ago |
| 109 |
Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
Ori Lahav, Brijesh Dongol, Heike Wehrheim
|
👻
Ghosted
|
cs.PL
|
2 |
3 years ago |
| 110 |
Monitizer: Automating Design and Evaluation of Neural Network Monitors
Muqsit Azeem, Marta Grobelna, ... (+4 more)
|
👻
Ghosted
|
cs.LG
|
2 |
2 years ago |
| 111 |
VPN: Verification of Poisoning in Neural Networks
Youcheng Sun, Muhammad Usman, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
2 |
4 years ago |
| 112 |
Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
Hernan Gagliardi, Victor Braberman, Sebastian Uchitel
|
👻
Ghosted
|
cs.SE
|
1 |
11 months ago |
| 113 |
GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
Soham Chakraborty, S. Krishna, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 114 |
Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
Shaowei Zhu, Zachary Kincaid
|
👻
Ghosted
|
cs.PL
|
1 |
1 year ago |
| 115 |
The SemGuS Toolkit
Keith J. C. Johnson, Andrew Reynolds, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
1 |
1 year ago |
| 116 |
Boosting Few-Pixel Robustness Verification via Covering Verification Designs
Yuval Shapira, Naor Wiesel, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
1 |
2 years ago |
| 117 |
Verifying Tree-Manipulating Programs via CHCs
Marco Faella, Gennaro Parlato
|
👻
Ghosted
|
cs.PL
|
1 |
1 year ago |
| 118 |
An Intermediate Program Representation for Optimizing Stream-Based Languages
Jan Baumeister, Arthur Correnson, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 119 |
Unified Fairness for Weak Memory Verification
Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
1 |
3 years ago |
| 120 |
Automated Verification of Correctness for Masked Arithmetic Programs
Mingyang Liu, Fu Song, Taolue Chen
|
👻
Ghosted
|
cs.CR
|
1 |
3 years ago |
| 121 |
Tree Buffers
Radu Grigore, Stefan Kiefer
|
👻
Ghosted
|
cs.DS
|
1 |
11 years ago |
| 122 |
On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
|
👻
Ghosted
|
cs.DB
|
0 |
1 year ago |
| 123 |
Verifying Cake-Cutting, Faster
Noah Bertram, Tean Lai, Justin Hsu
|
👻
Ghosted
|
cs.GT
|
0 |
2 years ago |
| 124 |
Strided Difference Bound Matrices
Arjun Pitchanathan, Albert Cohen, ... (+2 more)
|
👻
Ghosted
|
cs.SC
|
0 |
2 years ago |
| 125 |
INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
Suguman Bansal, Ramneet Singh
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 126 |
Automated Verification of Monotonic Data Structure Traversals in C
Matthew Sotoudeh
|
💤
Eternal Rest
|
cs.PL
|
0 |
1 year ago |
| 127 |
Data-driven Verification of Procedural Programs with Integer Arrays
Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl
|
👻
Ghosted
|
cs.PL
|
0 |
1 year ago |
| 128 |
A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
James Tobler, Hira Taqdees Syeda, Toby Murray
|
👻
Ghosted
|
cs.PL
|
0 |
1 year ago |
| 129 |
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga
|
👻
Ghosted
|
cs.SE
|
0 |
2 years ago |