Bristlecone: A Language for Robust Software Systems
No abstract available.
Related papers
- Toward efficient and robust software speculative parallelization on multiprocessors PPoPP 2003
- Foundational Design Principles and Patterns for Building Robust and Adaptive GenAI-Native Systems Onward! 2025
- Reactive Techniques for Controlling Software Speculation CGO 2005
- A Distributed Repository for Immutable Persistent Objects OOPSLA 1986
- Thorn: robust, concurrent, extensible scripting on the JVM OOPSLA 2009
- Dynamic Software Updating PLDI 2001
- Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations OOPSLA 2005
- Show Me The Money: An Exercise in Proof-Driven Software Understanding CAV 2026