| Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing
|
2021 |
Goldstein, Harrison |
| Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages
|
2021 |
Lundén, Daniel |
| Automated Termination Analysis of Polynomial Probabilistic Programs
|
2021 |
Moosbrugger, Marcel |
| Query Lifting: Language-integrated query for heterogeneous nested Collection
|
2021 |
Ricciotti, Wilmer |
| Bayesian strategies: probabilistic programs as generalised graphical models
|
2021 |
Paquet, Hugo |
| For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM
|
2021 |
Haslbeck, Maximilian P. L. |
| Strong-Separation Logic
|
2021 |
Pagel, Jens |
| Checking Robustness Between Weak Transactional Consistency Models
|
2021 |
Beillahi, Sidi Mohamed |
| Verified Software Units
|
2021 |
Beringer, Lennart |
| Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains
|
2021 |
Athaiya, Snigdha |
| Coupled Relational Symbolic Execution for Differential Privacy
|
2021 |
Farina, Gian Pietro |
| Graded Hoare Logic and its Categorical Semantics
|
2021 |
Gaboardi, Marco |
| Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere
|
2021 |
Mak, Carol |
| Graded Modal Dependent Type Theory
|
2021 |
Moon, Benjamin |
| Reverse AD at Higher Types: Pure, Principled and Denotationally Correct
|
2021 |
Vakar, Matthijs |
| Types for Complexity of Parallel Computation in Pi-Calculus
|
2021 |
Baillot, Patrick |
| The Decidability of Verification under PS 2.0
|
2021 |
Abdulla, Parosh Aziz |
| Nested Session Types
|
2021 |
Das, Ankush |
| An Automated Deductive Verification Framework for Circuit-building
|
2021 |
Chareton, Christophe |
| Complete trace models of state and control
|
2021 |
Jaber, Guilhem |
Tag hinzufügen