BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks
|
2021 |
Zhang, Yedi |
Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities
|
2021 |
Itzhaky, Shachar |
Stateless Model Checking Under a Reads-Value-From Equivalence
|
2021 |
Agarwal, Pratyush |
Checking Data-Race Freedom of GPU Kernels, Compositionally
|
2021 |
Cogumbreiro, Tiago |
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation
|
2021 |
Yang, Zhengfeng |
IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability
|
2021 |
André, Étienne |
SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions
|
2021 |
Sibai, Hussein |
Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security
|
2021 |
Eilers, Marco |
Synthesis with Asymptotic Resource Bounds
|
2021 |
Hu, Qinheping |
Program Sketching by Automatically Generating Mocks from Tests
|
2021 |
Bragg, Nate F. F. |
Counterexample-Guided Partial Bounding for Recursive Function Synthesis
|
2021 |
Farzan, Azadeh |
Algebraic Program Analysis
|
2021 |
Kincaid, Zachary |
NNrepair: Constraint-Based Repair of Neural Network Classifiers
|
2021 |
Usman, Muhammad |
Programmable Program Synthesis
|
2021 |
D’Antoni, Loris |
Robustness Verification of Quantum Classifiers
|
2021 |
Guan, Ji |
Scalable Polyhedral Verification of Recurrent Neural Networks
|
2021 |
Ryou, Wonryong |
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning
|
2021 |
Ivanov, Radoslav |
Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models
|
2021 |
Armstrong, Alasdair |
Delay-Bounded Scheduling Without Delay!
|
2021 |
Johnson, Andrew |
GenMC: A Model Checker for Weak Memory Models
|
2021 |
Kokologiannakis, Michalis |