Smoothing a Program Soundly and Robustly
Abstract elided by the publisher.
Related papers
- Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference POPL 2023
- MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code POPL 2023
- Combining proofs and programs in a dependently typed language POPL 2014
- Robustly Safe Compilation ESOP 2019
- Robustly Safe Compilation, an Efficient Form of Secure Compilation TOPLAS 2021
- Jam - A Smooth Extension of Java with Mixins ECOOP 2000
- Smooth interpretation PLDI 2010
- Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications CAV 2025