Write a Blog >>

The Rust compiler is undergoing a time warp. Originally designed six years ago as a 1970s-style “batch style” compiler, albeit one supporting a rather more modern type system, we’ve spent the last two years transforming it into an incremental, lazy architecture (a process that is still ongoing). This new setup is intended to support faster compilation, as well as better integration with IDEs. This talk will describe some of the approaches we’ve tried and some of the difficulties that we’ve encountered deploying incremental techniques at scale.

Nicholas Matsakis is a senior researcher at Mozilla research and a member of the Rust core team. He has been working on Rust for four years and did much of the initial work on its type system and other core features. He has also done work in several just-in-time compilers as well as building high-performance networking systems. He did his undergraduate study at MIT, graduating in 2001, and later obtained a PhD in 2011, working with Thomas Gross at ETH Zurich.

Thu 22 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Incremental computing 1: Keynote + Research talkIC at Vertex WS215
10:30
70m
Talk
Keynote: Incrementalizing the Rust Compiler
IC
K: Nicholas Matsakis Mozilla Corporation
11:40
30m
Talk
IncAL: A DSL for Incremental Program Analysis with Lattices
IC
Tamás Szabó itemis AG / TU Delft, Markus Völter itemis/independent, Sebastian Erdweg TU Delft
File Attached