| Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference
|
2022 |
Lunden, Daniel |
| Static Race Detection for Periodic Programs
|
2022 |
Suresh, Varsha P |
| A Dependent Dependency Calculus
|
2022 |
Choudhury, Pritam |
| A Framework for Substructural Type Systems
|
2022 |
Wood, James |
| Structured Handling of Scoped Effects
|
2022 |
Yang, Zhixuan |
| Extracting total Amb programs’ from proofs
|
2022 |
Berger, Ulrich |
| The Trusted Computing Base of the CompCert Verified Compuer
|
2022 |
Monniaux, David |
| Abstraction for Crash-Resilient Objects
|
2022 |
Khyzha, Artem |
| Probabilistic Total Store Ordering
|
2022 |
Abdulla, Parosh Aziz |
| Linearity and Uniqueness: An Entente Cordiale
|
2022 |
Marshall, Daniel |
| Categorical Foundations of Gradient-Based Leaming
|
2022 |
Cruttwell, Geoffrey S. H. |
| Foundations for Entailment Checking in Quantitative Separation Logic
|
2022 |
Batz, Kevin |
| Relaxed virtual memory in Armv8-A
|
2022 |
Simner, Ben |
| Why3-do: The Way of Harmonious Distributed System Proofs
|
2022 |
Lourenco, Claudio Belo |
| View-Based Owicki-Gries Reasoning for Persistent x86-TSO
|
2022 |
Bila, Eleni Vafeiadi |
| Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style
|
2022 |
Schuster, Philipp |
| Concurrent NetKAT: Modeling and analyzing stateful concurrent networks
|
2022 |
Wagemaker, Jana |
| Verified Security for the Morello Capability-enhanced Prototype Arm Architecture
|
2022 |
Bauereiss, Thomas |
| Polarized Subtyping
|
2022 |
Lakhani, Zeeshan |
| Comparing the Expressiveness of the z-calculus and CCS
|
2022 |
Glabbeek, Rob van |
Tag hinzufügen