Recent Talks

2022

Building a syllabus for a semester of undergraduate research.

Careful Language Design builds Better Systems

Presenting a new type system for Fearless Concurrency

Building a syllabus for a semester of undergraduate research.

Presenting a new type system for Fearless Concurrency

Presenting a new type system for Fearless Concurrency

2019

Learn about Derecho, and build a sample ML application with it!

An intelligent object store built in Derecho, optimized for AI at the IoT Edge

Presenting Gallifrey, a new Java-like language for wide-area distributed programming

Presenting Gallifrey, a new Java-like language for wide-area distributed programming

2018

Presenting MixT, a domain-specific programming language for mixed-consistency transactions