Write a Blog >>
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 2018 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 2018
Sébastien DoeraeneEPFL, Switzerland
DOI
10:20 - 11:50
Session 1: Scala FoundationsScala 2018 at Frisco
Chair(s): Paolo G. GiarrussoEPFL, Switzerland
10:20
22m
Talk
Extending Scala with Records: Design, Implementation, and Evaluation
Scala 2018
Olof KarlssonA3J Consulting, Sweden, Philipp HallerKTH, Sweden
DOI
10:42
23m
Talk
Initialization Patterns in Dotty
Scala 2018
Fengyun LiuEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
11:05
22m
Talk
Path Dependent Types with Path-Equality
Scala 2018
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 2018
Ifaz KabirUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo
DOI
11:50 - 12:10
Student Talks 1Scala 2018 at Frisco
Chair(s): Sukyoung RyuKAIST, South Korea
11:50
10m
Talk
Julia Subtyping Lessons Scala Could Learn (Student Talk)
Scala 2018
Artem PelenitsynNortheastern University
12:00
10m
Talk
Scala with explicit nulls (student talk)
Scala 2018
Abel NietoUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
13:10 - 14:40
Session 2: Scala Extensions & ParsingScala 2018 at Frisco
Chair(s): Philipp HallerKTH, Sweden
13:10
22m
Talk
Garnishing Parsec with Parsley
Scala 2018
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 2018
Denys ShabalinEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
13:55
22m
Talk
Parser Combinators for Context-Free Path Querying
Scala 2018
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 2018
Nicolas StuckiEPFL, Switzerland, Paolo G. GiarrussoEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
14:40 - 15:00
Student Talks 2Scala 2018 at Frisco
Chair(s): Philipp HallerKTH, Sweden
14:40
10m
Talk
Adding polymorphic functions to Scala (Student Talk)
Scala 2018
Guillaume MartresEPFL, Switzerland
14:50
10m
Talk
Validating Changes in Typechecking on Codebases with SemanticDB (Student talk)
Scala 2018
Max OvsiankinUC Berkeley, Eugene BurmakoTwitter, Inc.
15:20 - 16:10
Session 3: DSLs & Sponsor TalkScala 2018 at Frisco
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands
15:20
22m
Talk
A Domain-specific Language for Microservices
Scala 2018
Jacob DonhamTwitter, Inc.
DOI
15:42
28m
Industry talk
SemanticDB: a common data model for Scala developer tools
Scala 2018
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 gamesICFP Tutorials 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
ICFP Tutorials
Eric MertensGalois, Inc., Jose CalderonGalois, Inc.
13:00 - 16:00
T09: Pijul, a purely functional version control systemICFP Tutorials at Frisco
Chair(s): Pierre-Étienne Meunier
13:00
3h
Other
T09: Pijul, a purely functional version control system.
ICFP 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