EdLambda short talks: Rusty session typed runtime systems.
Description changed:
Talk 1: An experience report with Rust
Speaker: Bob Atkey
Abstract:
Rust is a new language being developed by Mozilla, intended for
low-level systems programming, and has an interesting
linear/region-based type system for managing stack and heap allocated
memory without using a garbage collector, and for safe shared-memory
concurrency. I will give a short talk on Rust, based on my experience
of one whole afternoon of writing one program in it (plus whatever I
manage to do before the next EdLambda).
Talk 2: Scaling Runtime Systems with Session Types?
Speaker: Rob Stewart
Abstract:
"Programs + communication = systems" (Simon Gay, Glasgow Uni). Simon
and others advocate session types as a verification tool to ensure
that planned communication between programs is safe, perhaps to ensure
that a protocol is obeyed. Verification, OK. But what else? What about
performance? For example, can session types inform distributed runtime
systems to help minimise communication costs and hence maximise
scalability? I will give a very simple, under-researched and almost
certainly broken idea of what this might look like.
