Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueUnion Station Hilton
Room nameFrisco
Floor0
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

Thu 27 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Session 1OCaml at Frisco
Chair(s): Andrew KennedyFacebook London
09:00
5m
Day opening
Introduction
OCaml
Andrew KennedyFacebook London
09:05
30m
Talk
The OCaml Platform 1.0
OCaml
Anil MadhavapeddyOCaml Labs, Gemma GordonUniversity of Cambridge
09:35
10m
Poster
The OCaml Software Foundation
OCaml
Michel Mauny, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
09:45
5m
Poster
This PDF is an OCaml bytecode
OCaml
Gabriel RadanneUniversity of Freiburg, Germany
10:20 - 11:00
Session 2OCaml at Frisco
Chair(s): Stephen DolanUniversity of Cambridge
10:20
20m
Talk
Abusing Format for fun and profits
OCaml
Gabriel RadanneUniversity of Freiburg, Germany, Frédéric BourFacebook Paris
10:40
20m
Talk
RFCs, all the way down!
OCaml
11:20 - 12:00
Session 3OCaml at Frisco
Chair(s): KC SivaramakrishnanUniversity of Cambridge
11:20
20m
Talk
The Vecosek Ecosystem
OCaml
Sebastien MondetMount Sinai - Hammer Lab
11:40
20m
Talk
OCaml on the ESP32 chip: Well Typed Lightbulbs Await
OCaml
13:30 - 14:10
Session 4OCaml at Frisco
Chair(s): Gabriel SchererINRIA Saclay
13:30
20m
Talk
Wall: rendering vector graphics with OCaml and OpenGL
OCaml
Frédéric BourFacebook Paris
13:50
20m
Talk
Winning on Windows: porting the OCaml platform
OCaml
David AllsoppUniversity of Cambridge
15:30 - 16:10
Session 6OCaml at Frisco
Chair(s): Andrew KennedyFacebook London
15:30
20m
Talk
Relit: Implementing Typed Literal Macros in Reason
OCaml
Charles ChamberlainUniversity of Chicago, Cyrus OmarUniversity of Chicago

Fri 28 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
KeynoteScala at Frisco
Chair(s): Bruno C. d. S. OliveiraUniversity of Hong Kong, China
09:00
60m
Talk
Cross-Platform Language Design in Scala.js
Scala
Sébastien DoeraeneEPFL, Switzerland
DOI
10:20 - 11:50
Session 1: Scala FoundationsScala at Frisco
Chair(s): Paolo G. GiarrussoEPFL, Switzerland
10:20
22m
Talk
Extending Scala with Records: Design, Implementation, and Evaluation
Scala
Olof KarlssonA3J Consulting, Sweden, Philipp HallerKTH, Sweden
DOI
10:42
23m
Talk
Initialization Patterns in Dotty
Scala
Fengyun LiuEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
11:05
22m
Talk
Path Dependent Types with Path-Equality
Scala
Jaemin HongKAIST, South Korea, Jihyeok ParkKAIST, South Korea, Sukyoung RyuKAIST, South Korea
DOI
11:27
23m
Talk
κDOT: Scaling DOT with Mutation and Constructors
Scala
Ifaz KabirUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo
DOI
11:50 - 12:10
Student Talks 1Scala at Frisco
Chair(s): Sukyoung RyuKAIST, South Korea
11:50
10m
Talk
Julia Subtyping Lessons Scala Could Learn (Student Talk)
Scala
Artem PelenitsynNortheastern University
12:00
10m
Talk
Scala with explicit nulls (student talk)
Scala
Abel NietoUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
13:10 - 14:40
Session 2: Scala Extensions & ParsingScala at Frisco
Chair(s): Philipp HallerKTH, Sweden
13:10
22m
Talk
Garnishing Parsec with Parsley
Scala
Jamie WillisUniversity of Bristol, UK, Nicolas WuUniversity of Bristol, UK
DOI
13:32
22m
Talk
Interflow: Interprocedural Flow-Sensitive Type Inference and Method Duplication
Scala
Denys ShabalinEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
13:55
22m
Talk
Parser Combinators for Context-Free Path Querying
Scala
Ekaterina VerbitskaiaSaint Petersburg State University, Russia, Ilya KirillovSaint Petersburg State University, Russia, Ilya NozkinSaint Petersburg State University, Russia, Semyon GrigorevSaint Petersburg State University, Russia
DOI
14:17
22m
Talk
Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typing Problem
Scala
Nicolas StuckiEPFL, Switzerland, Paolo G. GiarrussoEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
15:20 - 16:10
Session 3: DSLs & Sponsor TalkScala at Frisco
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands
15:20
22m
Talk
A Domain-specific Language for Microservices
Scala
Jacob DonhamTwitter, Inc.
DOI
15:42
28m
Industry talk
SemanticDB: a common data model for Scala developer tools
Scala
Eugene BurmakoTwitter, Inc.

Sat 29 Sep
Times are displayed in 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): Eric MertensGalois, Inc., Jose CalderonGalois, Inc.
09:00
3h
Other
T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games
Tutorials
Eric MertensGalois, Inc., Jose CalderonGalois, 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

Thu 27 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change