BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Memo: an incremental computation library that powers Dune - Andrey
  Mokhov\, Jane Street
DTSTART:20230629T140000Z
DTEND:20230629T150000Z
UID:TALK202657@talks.cam.ac.uk
CONTACT:Ryan Gibb
DESCRIPTION:Abstract: Build systems are used by every software developer o
 n the planet\, but they are far from being a solved problem. For years the
  venerable Make and its variants dominated\, but more recently the challen
 ges of scale have driven large software firms to develop their own build s
 ystems\, such as Google's Bazel or Meta's Buck/Buck2. Jane Street is not a
 s large but we are not an exception\; in fact\, we developed not one but t
 wo build systems! The new one\, called Dune\, is now the standard build to
 ol for the wider OCaml community\, and we at Jane Street are working hard 
 on migrating our monorepo with 30+ millions of lines of OCaml code\, and v
 arious critical systems around it\, to Dune.\n\nIn this talk\, we'll look 
 into some algorithmic challenges of building software\, touching on the to
 pics of incremental computation\, graph data structures\, and concurrency.
  We'll take a look at Dune's build engine and\, in particular\, at Memo --
  the incremental computation library that powers Dune.\n\nBio: Andrey Mokh
 ov leads Jane Street's build systems team\, trying to keep the build times
  under control despite the rapidly growing population of software develope
 rs. Before joining Jane Street\, he was an academic researcher at Newcastl
 e University (UK)\, working on asynchronous circuits\, functional programm
 ing\, and build systems.
LOCATION:FW11
END:VEVENT
END:VCALENDAR