iwaco2017.md

Reference Capabilities in Practice

Examining Real-World Pony Code

Sylvan Clebsch

Microsoft Research

June 19th, 2017

---

Presenting at IWACO 2017, Barcelona

---

Reference Capabilities

Adding per-alias capabilities for data-race free isolation and immutability

---

Cognitive Load

How hard are per-alias reference capabilities to use?

Let's look

---

What is unseen?

• Test code that didn't have to be written
• Concurrent composability problems that didn't appear
• Scalability issues that didn't have to be solved