Transient Typechecks Are (Almost) Free
No abstract available.
Related papers
- Strongtalk: Typechecking Smalltalk in a Production Environment OOPSLA 1993
- Context-Free-Language Reachability for Almost-Commuting Transition Systems POPL 2026
- A Bargain for Mergesorts: How to Prove Your Mergesort Correct and Stable, Almost for Free ICFP 2025
- Test-case reduction and deduplication almost for free with transformation-based compiler testing PLDI 2021
- Reasoning about Control Flow in the Presence of Transient Faults SAS 2008
- Model Checking Continuous-Time Markov Chains by Transient Analysis CAV 2000
- SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks CC 2026
- Low-cost prediction-based fault protection strategy CGO 2020