Jane Street
Tech Talks

Explore past Jane Street tech talk videos.

Unboxed Types for OCaml

Stephen Dolan
Jane Street

RustBelt: Logical Foundations for the Future of Safe Systems Programming

Derek Dreyer
Max Planck Institute for Software Systems

Playing Atari Games in OCaml

Laurent Mazare
Jane Street

Safe at Any Speed: Building a Performant, Safe, Maintainable Packet Processor

Sebastian Funk
Jane Street

A Language-Oriented System Design

Nathan Linger
Jane Street

Abstractions for Expressive, Efficient Parallel and Distributed Computing

Lindsey Kuper
University of California, Santa Cruz

Jane and the Compiler

Yaron Minsky
Jane Street

Distributed, Incremental Dataflow Processing in the Cloud with Reflow

Marius Eriksen
GRAIL

Introduction to Incr_dom: Writing Dynamic Web Apps in OCaml

Cristina Rosu
Jane Street

OCaml All The Way Down

Andy Ray
Jane Street

Effective Programming: Adding an Effect System to OCaml

Leo White
Jane Street

Curriculum Design as an Engineering Problem: Lessons from the Field

Shriram Krishnamurthi
Brown University

The Hurricane's Butterfly: Debugging Pathologically Performing Systems

Bryan Cantrill
Joyent

How Jane Street Does Code Review

Ian Henry
Jane Street

Verifying Network Data Planes

Nate Foster
Jane Street

Caveat Configurator: How to replace configs with code, and why you might not want to

Dominick LoBraico
Jane Street

Seven Implementations of Incremental

Yaron Minsky
Jane Street

On Verification for System Configuration Languages

Arjun Guha
University of Massachusetts, Amherst

How to Build an Exchange

Brian Nigito
Jane Street