| Hash Consed Points-To Sets
|
2021 |
Barbar, Mohamad |
| Data Abstraction: A General Framework to Handle Program Verification of Data Structures
|
2021 |
Braine, Julien |
| Verifying Low-Dimensional Input Neural Networks via Input Quaniization
|
2021 |
Jia, Kai |
| Toward Neural-Network-Guided Program Synthesis and Verification
|
2021 |
Kobayashi, Naoki |
| Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
|
2021 |
Mazzucato, Denis |
| A Multilanguage Static Analysis of Python Programs with Native C Extensions
|
2021 |
Monat, Raphaël |
| Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
|
2021 |
Shimoda, Takumi |
| Compositional Verification of Smart Contracts Through Communication Abstraction
|
2021 |
Wesley, Scott |
| Automatic Synthesis of Data-Flow Analyzers
|
2021 |
Xu, Xuezheng |
| Fast and Efficient Bit-Level Precision Tuning
|
2021 |
Adje, Assale |
| Accelerating Program Analyses in Datalog by Merging Library Facts
|
2021 |
Chen, Yifan |
| Static Analysis of Endian Portability by Abstract Interpretation
|
2021 |
Delmas, David |
| Verified Functional Programming of an Abstract Interpreter
|
2021 |
Franceschino, Lucas |
| Selective Context-Sensitivity for k-CFA with CFL-Reachability
|
2021 |
Lu, Jingbo |
| Thread-Modular Analysis of Release-Acquire Concurrency
|
2021 |
Sharma, Divyanjali |
| Exploiting Verified Neural Networks via Floating Point Numerical Error
|
2021 |
Jia, Kai |
| Selectively-Amortized Resource Bounding
|
2021 |
Lu, Tianhan |
| Improving Thread-Modular Abstract Interpretation
|
2021 |
Schwarz, Michael |
| Automated Verification of the Parallel Bellman-Ford Algorithm
|
2021 |
Safari, Mohsen |
| Backward Symbolic Execution with Loop Folding
|
2021 |
Chalupa, Marek |
Tag hinzufügen