November 7,
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 17 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 , 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
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
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
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
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
(❮) (❯)
GIPHY App Key not set. Please check settings