SESSION + Live Q&A

Pony, Actors, Causality, Types, and Garbage Collection

I will give an overview of Pony’s programming model, actors, and causality. I will introduce the type system, how it is used to allow actors to send mutable state while also avoiding data races, and how the type system is used so as to allow the actors to perform garbage collection fully concurrently with one another and with normal execution.

 


Speaker

Sophia Drossopoulou

Professor at Imperial College

Sophia Drossopoulou is a Professor at Imperial College with research interests in the design and implementation of programming languages, and in program verification. She was part of the original Pony team.

Read more
Find Sophia Drossopoulou at:

Location

Windsor, 5th flr.

Track

Modern Compilation Targets

Topics

CompilersHardwarePerformanceOptimization

Share

From the same track

SESSION + Live Q&A Compilers

The Modern Platform in 2020

We are reshaping the platforms we build around language technology. This talk introduces this new track on compilation targets with an overview of how we got to this point where programming language technology is finding its way into every technology stack. First we have performance and...

Justin Cormack

Developer @Docker

SESSION + Live Q&A WebAssembly

Build Your Own WebAssembly Compiler

For more than 20 years JavaScript has been the only 'native' language of the web. That's all changed with the release of WebAssembly. In the coming years, you'll see people writing web apps in Rust, C#, C++ and all manner of other languages. But just what is WebAssembly? And...

Colin Eberhardt

CTO @Scott_Logic

SESSION + Live Q&A Interview Available

TornadoVM: Java for GPUs and FPGAs

There is no single computer architecture that is best for executing all types of workloads efficiently. Therefore, the proliferation of heterogeneous hardware in recent years means that every system we program is likely to include a mix of computing elements; each of these with different hardware...

Juan Jose Fumero Alfonso

Research Associate @OfficialUoM (The University of Manchester)

UNCONFERENCE + Live Q&A Compilers

Modern Compilation Targets Open Space

Details to follow.

SESSION + Live Q&A Go

Tiny Go: Small Is Going Big

The Go programming language has already won the war for cloud computing and containerization. But what about the small places, like embedded systems and WebAssembly?TinyGo is a compiler for Go, written in Go itself, that uses LLVM to achieve very small, fast, and concurrent binaries that can...

Ron Evans

Technologist For Hire @hybrid_group

View full Schedule