The cuneiform tablets of 2015
Abstract
We discuss the problem of running today's software decades, centuries, or even millennia into the future.
Related papers
- Computation semantics of the functional scientific workflow language Cuneiform JFP 2017
- Coding at the speed of touch Onward! 2011
- Software Verification and Verifiable Witnesses - (Report on SV-COMP 2015) TACAS 2015
- Review of "The Little Prover" by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015 JFP 2020
- Game programming by demonstration Onward! 2013
- A black-box approach to energy-aware scheduling on integrated CPU-GPU systems CGO 2016
- Rust: from POPL to practice (keynote) POPL 2017
- Calculating correct compilers II: Return of the register machines JFP 2020