| For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM
|
2021 |
Haslbeck, Maximilian P. L. |
| Strong-Separation Logic
|
2021 |
Pagel, Jens |
| 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 |
| 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 |
| Run-time Complexity Bounds Using Squeezers
|
2021 |
Ish-Shalom, Oren |
| Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
|
2021 |
Keizer, Alex C. |
| Temporal Refinements for Guarded Recursive Types
|
2021 |
Jaber, Guilhem |
| Sound and Complete Concolic Testing for Higher-order Functions
|
2021 |
You, Shu-Hung |
| 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 |
Tag hinzufügen