Write a Blog >>
Mon 19 Jun 2017 12:00 - 12:30 at Vertex WS217 - Morning Session

Reference capabilities in Pony allow static local reasoning about isolation and immutability. Let’s walk through a simple HTTP server implemented in Pony, and look at how reference capabilities are used to for fast, zero-copy, data-race free concurrency. We’ll look at some programming patterns that are emerging in Pony, as well as talk about how reference capabilities and message passing affect performance and garbage collection.

Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Morning SessionIWACO at Vertex WS217
11:00
30m
Talk
Spencer: Tracing as a Service
IWACO
Stephan Brandauer Uppsala University
11:30
30m
Talk
Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership.
IWACO
Alex Potanin Victoria University of Wellington
12:00
30m
Talk
Reference Capabilities in Practice: Examining Real-World Pony Code
IWACO
Sylvan Clebsch Imperial College London