OCaml 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
co-located with ICFP 2024
VenueAllianz MiCo (Milano Convention Centre)
Room nameMeeting 6
Floor-1
Capacity40
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 6 Sep

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

09:30 - 10:30
FUNARCH KeynoteFUNARCH at Meeting 6
Chair(s): Michael Sperber Active Group GmbH
09:30
60m
Keynote
Architecting Functional Programs
FUNARCH
11:00 - 12:30
FUNARCH Talks #1FUNARCH at Meeting 6
Chair(s): Perdita Stevens University of Edinburgh
11:00
45m
Research paper
F3: A Compiler For Feature Engineering
FUNARCH
Weixi Ma Meta, Arnaud Venet Facebook, Junhua Gu Meta, Subbu Subramanian Meta, Siyu Wang Meta, Rocky Liu Meta, Daniel Friedman Indiana University, Yafei Yang
11:45
45m
Experience report
Design and implementation of a verified interpreter for additive manufacturing programs
FUNARCH
Matthew Sottle Lawrence Livermore National Laboratory, Mohit Tekriwal Lawrence Livermore National Laboratory
14:00 - 15:30
FUNARCH Talks #2FUNARCH at Meeting 6
Chair(s): Michael Sperber Active Group GmbH
14:00
45m
Experience report
Applying Continuous Formal Methods to Cardano
FUNARCH
14:45
45m
Experience report
Continuations: what have they ever done for us?
FUNARCH
Marc Kaufman Central European University, Bogdan Popa
16:00 - 17:30
FUNARCH Talks #3FUNARCH at Meeting 6
Chair(s): Perdita Stevens University of Edinburgh
16:00
45m
Experience report
Bidirectional Data Transformations
FUNARCH
Marcus Crestani Active Group GmbH, Markus Schlegel Active Group GmbH, Marco Schneider Active Group GmbH
16:45
45m
Panel
Future of FUNARCH
FUNARCH
Michael Sperber Active Group GmbH

Fri 6 Sep

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

Fri 6 Sep

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