Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueUnion Station Hilton
Room nameFrisco
Floor0
Additional informationThere is no additional information of this room 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 - 09:05
Day opening
OCaml
Andrew KennedyFacebook London
09:05 - 09:35
Talk
OCaml
Anil MadhavapeddyOCaml Labs, Gemma GordonUniversity of Cambridge
09:35 - 09:45
Poster
OCaml
Michel Mauny, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
09:45 - 09:50
Poster
OCaml
Gabriel RadanneUniversity of Freiburg, Germany
10:20 - 11:00: Session 2OCaml at Frisco
Chair(s): Stephen DolanUniversity of Cambridge
10:20 - 10:40
Talk
OCaml
Gabriel RadanneUniversity of Freiburg, Germany, Frédéric BourFacebook Paris
10:40 - 11:00
Talk
OCaml
11:20 - 12:00: Session 3OCaml at Frisco
Chair(s): KC SivaramakrishnanUniversity of Cambridge
11:20 - 11:40
Talk
OCaml
Sebastien MondetMount Sinai - Hammer Lab
11:40 - 12:00
Talk
OCaml
13:30 - 14:10: Session 4OCaml at Frisco
Chair(s): Gabriel SchererINRIA Saclay
13:30 - 13:50
Talk
OCaml
Frédéric BourFacebook Paris
13:50 - 14:10
Talk
OCaml
David AllsoppUniversity of Cambridge
14:30 - 15:10: Session 5OCaml at Frisco
14:30 - 14:50
Talk
OCaml
Hongbo ZhangIndependent, Cristiano CalcagnoFacebook, Jordan WalkeFacebook, Cheng LouFacebook, Ricky VetterFacebook
14:50 - 15:10
Talk
OCaml
Link to publication
15:30 - 16:10: Session 6OCaml at Frisco
Chair(s): Andrew KennedyFacebook London
15:30 - 15:50
Talk
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 - 10:00
Talk
Scala
Sébastien DoeraeneEPFL, Switzerland
DOI
10:20 - 11:50: Session 1: Scala FoundationsScala at Frisco
Chair(s): Paolo G. GiarrussoEPFL, Switzerland
10:20 - 10:42
Talk
Scala
Olof KarlssonA3J Consulting, Sweden, Philipp HallerKTH, Sweden
DOI
10:42 - 11:05
Talk
Scala
Fengyun LiuEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
11:05 - 11:27
Talk
Scala
Jaemin HongKAIST, South Korea, Jihyeok ParkKAIST, South Korea, Sukyoung RyuKAIST, South Korea
DOI
11:27 - 11:50
Talk
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 - 12:00
Talk
Scala
Artem PelenitsynNortheastern University
12:00 - 12:10
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 - 13:32
Talk
Scala
Jamie WillisUniversity of Bristol, UK, Nicolas WuUniversity of Bristol, UK
DOI
13:32 - 13:55
Talk
Scala
Denys ShabalinEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
13:55 - 14:17
Talk
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 - 14:40
Talk
Scala
Nicolas StuckiEPFL, Switzerland, Paolo G. GiarrussoEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
14:40 - 15:00: Student Talks 2Scala at Frisco
Chair(s): Philipp HallerKTH, Sweden
14:40 - 14:50
Talk
Scala
Guillaume MartresEPFL, Switzerland
14:50 - 15:00
Talk
Scala
Max OvsiankinUC Berkeley, Eugene BurmakoTwitter, Inc.
15:20 - 16:10: Session 3: DSLs & Sponsor TalkScala at Frisco
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands
15:20 - 15:42
Talk
Scala
Jacob DonhamTwitter, Inc.
DOI
15:42 - 16:10
Industry talk
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 - 12:00
Other
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 - 16:00
Other
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