Singularity: Designing Better Software (Invited Talk)
No abstract available.
DOI 10.1007/978-3-540-70545-1_1
Related papers
- Verified Software Toolchain - (Invited Talk) ESOP 2011
- Proof assistants at the hardware-software interface (invited talk) CPP 2020
- Software Verification "Across the Stack" (Invited Talk) ECOOP 2015
- Dependent type practice (invited talk) CPP 2016
- The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk) CPP 2022
- Retargeting Gradual Typing (Invited Talk) ECOOP 2017
- Is Polyglot Programming Really a Thing? (Invited Talk) DLS 2023
- Challenges to Achieving High Availability at Scale (Invited Talk) ECOOP 2017