• Type:

CH Jane Street and the OCaml Compiler (2018) [video]

November 7, 2018

Jane and the Compiler

Yaron Minsky
Jane Street

Most of the time, our relationship to programming languages is somewhat remote;
we depend on the arcane details of the languages we use, but we don’t usually
have much of a say in how those languages evolve.

At Jane Street, we started out in that mode, as a mere user of the language. But
over the last 15 years, we’ve moved to a more active stance, where today, we
have a team of compiler devs who actively contribute to OCaml, and where we’re
more deeply involved in figuring out the future direction of the language.

In this talk, I’ll discuss that history, touching on how upstream changes
impacted us along the way, how we came to start making changes ourselves, and
what ongoing projects we’re excited about.

Yaron Minsky

Yaron Minsky joined Jane Street back in 2002, and claims the dubious honor of having convinced the firm to start using OCaml. He also spends way too much time teaching his kids how to program.

The Algorithm for Precision Medicine

Matt Might
Hugh Kaul Precision Medicine Institute

State of the Shell: PowerShell7

Steve Lee
Microsoft

Dude, Where Are My Files? Reverse Engineering Ransomware

Michael Sikorski
Fire Eye Labs

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


Read More

Previous Post

CH BBC Computer Literacy Project 1980 – 1989

Next Post

CH Letter to Myself in Late 2008

Leave a Reply

Your email address will not be published. Required fields are marked *

Scroll to top