Frisco - ICFP 2018

VenueUnion Station Hilton

Room nameFrisco

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00	Session 1OCaml at Frisco Chair(s): Andrew Kennedy Facebook London

09:00 5m Day opening		Introduction OCaml Andrew Kennedy Facebook London
09:05 30m Talk		The OCaml Platform 1.0 OCaml Anil Madhavapeddy OCaml Labs, Gemma Gordon University of Cambridge
09:35 10m Poster		The OCaml Software Foundation OCaml Michel Mauny , Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
09:45 5m Poster		This PDF is an OCaml bytecode OCaml Gabriel Radanne University of Freiburg, Germany

10:20 - 11:00	Session 2OCaml at Frisco Chair(s): Stephen Dolan University of Cambridge

10:20 20m Talk		Abusing Format for fun and profits OCaml Gabriel Radanne University of Freiburg, Germany, Frédéric Bour Facebook Paris
10:40 20m Talk		RFCs, all the way down! OCaml Romain Calascibetta Tarides

11:20 - 12:00	Session 3OCaml at Frisco Chair(s): KC Sivaramakrishnan University of Cambridge

11:20 20m Talk		The Vecosek Ecosystem OCaml Sebastien Mondet Mount Sinai - Hammer Lab
11:40 20m Talk		OCaml on the ESP32 chip: Well Typed Lightbulbs Await OCaml Lucas Pluvinage ENS Paris, Sadiq Jaffer Opsian, Anil Madhavapeddy OCaml Labs

13:30 - 14:10	Session 4OCaml at Frisco Chair(s): Gabriel Scherer INRIA Saclay

13:30 20m Talk		Wall: rendering vector graphics with OCaml and OpenGL OCaml Frédéric Bour Facebook Paris
13:50 20m Talk		Winning on Windows: porting the OCaml platform OCaml David Allsopp University of Cambridge

14:30 - 15:10	Session 5OCaml at Frisco

14:30 20m Talk		R&B: Towards bringing functional programming to everyday's web programmer OCaml Hongbo Zhang Independent, Cristiano Calcagno Facebook, Jordan Walke Facebook, Cheng Lou Facebook, Ricky Vetter Facebook
14:50 20m Talk		MLExplain OCaml Kévin Le Bon Inria, Alan Schmitt Inria Link to publication

15:30 - 16:10	Session 6OCaml at Frisco Chair(s): Andrew Kennedy Facebook London

15:30 20m Talk		Relit: Implementing Typed Literal Macros in Reason OCaml Charles Chamberlain University of Chicago, Cyrus Omar University of Chicago

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00	KeynoteScala at Frisco Chair(s): Bruno C. d. S. Oliveira University of Hong Kong, China

09:00 60m Talk		Cross-Platform Language Design in Scala.js Scala Sébastien Doeraene EPFL, Switzerland DOI

10:20 - 11:50	Session 1: Scala FoundationsScala at Frisco Chair(s): Paolo G. Giarrusso EPFL, Switzerland

10:20 22m Talk		Extending Scala with Records: Design, Implementation, and Evaluation Scala Olof Karlsson A3J Consulting, Sweden, Philipp Haller KTH, Sweden DOI
10:42 23m Talk		Initialization Patterns in Dotty Scala Fengyun Liu EPFL, Switzerland, Aggelos Biboudis EPFL, Switzerland, Martin Odersky EPFL, Switzerland DOI
11:05 22m Talk		Path Dependent Types with Path-Equality Scala Jaemin Hong KAIST, South Korea, Jihyeok Park KAIST, South Korea, Sukyoung Ryu KAIST, South Korea DOI
11:27 23m Talk		κDOT: Scaling DOT with Mutation and Constructors Scala Ifaz Kabir University of Waterloo, Canada, Ondřej Lhoták University of Waterloo DOI

11:50 - 12:10	Student Talks 1Scala at Frisco Chair(s): Sukyoung Ryu KAIST, South Korea

11:50 10m Talk		Julia Subtyping Lessons Scala Could Learn (Student Talk) Scala Artem Pelenitsyn Northeastern University
12:00 10m Talk		Scala with explicit nulls (student talk) Scala Abel Nieto University of Waterloo, Ondřej Lhoták University of Waterloo

13:10 - 14:40	Session 2: Scala Extensions & ParsingScala at Frisco Chair(s): Philipp Haller KTH, Sweden

13:10 22m Talk		Garnishing Parsec with Parsley Scala Jamie Willis University of Bristol, UK, Nicolas Wu University of Bristol, UK DOI
13:32 22m Talk		Interflow: Interprocedural Flow-Sensitive Type Inference and Method Duplication Scala Denys Shabalin EPFL, Switzerland, Martin Odersky EPFL, Switzerland DOI
13:55 22m Talk		Parser Combinators for Context-Free Path Querying Scala Ekaterina Verbitskaia Saint Petersburg State University, Russia, Ilya Kirillov Saint Petersburg State University, Russia, Ilya Nozkin Saint Petersburg State University, Russia, Semyon Grigorev Saint Petersburg State University, Russia DOI
14:17 22m Talk		Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typing Problem Scala Nicolas Stucki EPFL, Switzerland, Paolo G. Giarrusso EPFL, Switzerland, Martin Odersky EPFL, Switzerland DOI

14:40 - 15:00	Student Talks 2Scala at Frisco Chair(s): Philipp Haller KTH, Sweden

14:40 10m Talk		Adding polymorphic functions to Scala (Student Talk) Scala Guillaume Martres EPFL, Switzerland
14:50 10m Talk		Validating Changes in Typechecking on Codebases with SemanticDB (Student talk) Scala Max Ovsiankin UC Berkeley, Eugene Burmako Twitter, Inc.

15:20 - 16:10	Session 3: DSLs & Sponsor TalkScala at Frisco Chair(s): Sebastian Erdweg Delft University of Technology, Netherlands

15:20 22m Talk		A Domain-specific Language for Microservices Scala Jacob Donham Twitter, Inc. DOI
15:42 28m Industry talk		SemanticDB: a common data model for Scala developer tools Scala Eugene Burmako Twitter, Inc.

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 12:00	T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and gamesTutorials at Frisco Chair(s): Jose Calderon Galois, Inc., Eric Mertens Galois, Inc.

09:00 3h Other		T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games Tutorials Eric Mertens Galois, Inc., Jose Calderon Galois, Inc.

13:00 - 16:00	T09: Pijul, a purely functional version control systemTutorials at Frisco Chair(s): Pierre-Étienne Meunier

13:00 3h Other		T09: Pijul, a purely functional version control system. Tutorials Pierre-Étienne Meunier

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Frisco	OCaml Session 1																OCaml Session 2												OCaml Session 3																										OCaml Session 4												OCaml Session 5												OCaml Session 6

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Frisco	Scala Keynote																Scala Session 1: Scala Foundations																		Scala Student Talks 1																Scala Session 2: Scala Extensions & Parsing																		Scala Student Talks 2								Scala Session 3: DSLs & Sponsor Talk

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Frisco	Tutorials T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games																																																Tutorials T09: Pijul, a purely functional version control system

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Frisco	OCaml Introduction 09:00 - 09:05	OCaml The OCaml Platform 1.0 09:05 - 09:35						OCaml The OCaml Software Foundation 09:35 - 09:45		OCaml This PDF is an OCaml bytecode 09:45 - 09:50							OCaml Abusing Format for fun and profits 10:20 - 10:40				OCaml RFCs, all the way down! 10:40 - 11:00								OCaml The Vecosek Ecosystem 11:20 - 11:40				OCaml OCaml on the ESP32 chip: Well Typed Lightbulbs Await 11:40 - 12:00																						OCaml Wall: rendering vector graphics with OCaml and OpenGL 13:30 - 13:50				OCaml Winning on Windows: porting the OCaml platform 13:50 - 14:10								OCaml R&B: Towards bringing functional programming to everyday's web programmer 14:30 - 14:50				OCaml MLExplain 14:50 - 15:10								OCaml Relit: Implementing Typed Literal Macros in Reason 15:30 - 15:50

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Frisco	Scala Cross-Platform Language Design in Scala.js 09:00 - 10:00																Scala Extending Scala with Records: Design, Implementation, and Evaluation 10:20 - 10:42				Scala Initialization Patterns in Dotty 10:42 - 11:05					Scala Path Dependent Types with Path-Equality 11:05 - 11:27				Scala κDOT: Scaling DOT with Mutation and Constructors 11:27 - 11:50					Scala Julia Subtyping Lessons Scala Could Learn (Student Talk) 11:50 - 12:00		Scala Scala with explicit nulls (student talk) 12:00 - 12:10														Scala Garnishing Parsec with Parsley 13:10 - 13:32				Scala Interflow: Interprocedural Flow-Sensitive Type Inference and Method Dup ... 13:32 - 13:55					Scala Parser Combinators for Context-Free Path Querying 13:55 - 14:17				Scala Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typin ... 14:17 - 14:40					Scala Adding polymorphic functions to Scala (Student Talk) 14:40 - 14:50		Scala Validating Changes in Typechecking on Codebases with SemanticDB (Studen ... 14:50 - 15:00						Scala A Domain-specific Language for Microservices 15:20 - 15:42				Scala SemanticDB: a common data model for Scala developer tools 15:42 - 16:10

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Frisco	ICFP Tutorials T06: Getting Satisfaction out of Games: Learning to use SAT solvers thr ... 09:00 - 12:00																																																ICFP Tutorials T09: Pijul, a purely functional version control system. 13:00 - 16:00

Room information: Frisco

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

OCaml

OCaml

OCaml

OCaml

OCaml

OCaml

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Scala

Scala

Scala

Scala

Scala

Scala

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tutorials

Tutorials

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tracks

Workshops

Co-hosted Symposia

Room information: Frisco

Program Display Configuration

Thu 27 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

OCaml

OCaml

OCaml

OCaml

OCaml

OCaml

Fri 28 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Scala

Scala

Scala

Scala

Scala

Scala

Sat 29 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Tutorials

Tutorials

Thu 27 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change