Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueUnion Station Hilton
Room nameFrisco
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Thu 27 Sep

ocaml-2018-papers
09:00 - 10:00: OCaml 2018 - Session 1 at Frisco
Chair(s): Andrew KennedyFacebook London
ocaml-2018-papers09:00 - 09:05
Day opening
Andrew KennedyFacebook London
ocaml-2018-papers09:05 - 09:35
Talk
Anil MadhavapeddyOCaml Labs, Gemma GordonUniversity of Cambridge
ocaml-2018-papers09:35 - 09:45
Poster
Michel Mauny, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
ocaml-2018-papers09:45 - 09:50
Poster
Gabriel RadanneUniversity of Freiburg, Germany
ocaml-2018-papers
10:20 - 11:00: OCaml 2018 - Session 2 at Frisco
Chair(s): Stephen DolanUniversity of Cambridge
ocaml-2018-papers10:20 - 10:40
Talk
Gabriel RadanneUniversity of Freiburg, Germany, Frédéric BourFacebook Paris
ocaml-2018-papers10:40 - 11:00
Talk
ocaml-2018-papers
11:20 - 12:00: OCaml 2018 - Session 3 at Frisco
Chair(s): KC SivaramakrishnanUniversity of Cambridge
ocaml-2018-papers11:20 - 11:40
Talk
Sebastien MondetMount Sinai - Hammer Lab
ocaml-2018-papers11:40 - 12:00
Talk
ocaml-2018-papers
13:30 - 14:10: OCaml 2018 - Session 4 at Frisco
Chair(s): Gabriel SchererINRIA Saclay
ocaml-2018-papers13:30 - 13:50
Talk
Frédéric BourFacebook Paris
ocaml-2018-papers13:50 - 14:10
Talk
David AllsoppUniversity of Cambridge
ocaml-2018-papers
14:30 - 15:10: OCaml 2018 - Session 5 at Frisco
ocaml-2018-papers14:30 - 14:50
Talk
Hongbo ZhangIndependent, Cristiano CalcagnoFacebook, Jordan WalkeFacebook, Cheng LouFacebook, Ricky VetterFacebook
ocaml-2018-papers14:50 - 15:10
Talk
Link to publication
ocaml-2018-papers
15:30 - 16:10: OCaml 2018 - Session 6 at Frisco
Chair(s): Andrew KennedyFacebook London
ocaml-2018-papers15:30 - 15:50
Talk
Charles ChamberlainUniversity of Chicago, Cyrus OmarUniversity of Chicago

Fri 28 Sep

scala-2018-papers
09:00 - 10:00: Scala 2018 - Keynote at Frisco
Chair(s): Bruno C. d. S. OliveiraUniversity of Hong Kong, China
scala-2018-papers09:00 - 10:00
Talk
Sébastien DoeraeneEPFL, Switzerland
DOI
scala-2018-papers
10:20 - 11:50: Scala 2018 - Session 1: Scala Foundations at Frisco
Chair(s): Paolo G. GiarrussoEPFL, Switzerland
scala-2018-papers10:20 - 10:42
Talk
Olof KarlssonA3J Consulting, Sweden, Philipp HallerKTH, Sweden
DOI
scala-2018-papers10:42 - 11:05
Talk
Fengyun LiuEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
scala-2018-papers11:05 - 11:27
Talk
Jaemin HongKAIST, South Korea, Jihyeok ParkKAIST, South Korea, Sukyoung RyuKAIST, South Korea
DOI
scala-2018-papers11:27 - 11:50
Talk
Ifaz KabirUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo
DOI
scala-2018-papers
11:50 - 12:10: Scala 2018 - Student Talks 1 at Frisco
Chair(s): Sukyoung RyuKAIST, South Korea
scala-2018-papers11:50 - 12:00
Talk
Artem PelenitsynNortheastern University
scala-2018-papers12:00 - 12:10
Talk
Abel NietoUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
scala-2018-papers
13:10 - 14:40: Scala 2018 - Session 2: Scala Extensions & Parsing at Frisco
Chair(s): Philipp HallerKTH, Sweden
scala-2018-papers13:10 - 13:32
Talk
Jamie WillisUniversity of Bristol, UK, Nicolas WuUniversity of Bristol, UK
DOI
scala-2018-papers13:32 - 13:55
Talk
Denys ShabalinEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
scala-2018-papers13:55 - 14:17
Talk
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
scala-2018-papers14:17 - 14:40
Talk
Nicolas StuckiEPFL, Switzerland, Paolo G. GiarrussoEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
scala-2018-papers
14:40 - 15:00: Scala 2018 - Student Talks 2 at Frisco
Chair(s): Philipp HallerKTH, Sweden
scala-2018-papers14:40 - 14:50
Talk
Guillaume MartresEPFL, Switzerland
scala-2018-papers14:50 - 15:00
Talk
Max OvsiankinUC Berkeley, Eugene BurmakoTwitter, Inc.
scala-2018-papers
15:20 - 16:10: Scala 2018 - Session 3: DSLs & Sponsor Talk at Frisco
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands
scala-2018-papers15:20 - 15:42
Talk
Jacob DonhamTwitter, Inc.
DOI
scala-2018-papers15:42 - 16:10
Industry talk
Eugene BurmakoTwitter, Inc.

Sat 29 Sep

icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games at Frisco
Chair(s): Eric MertensGalois, Inc., Jose CalderonGalois, Inc.
icfp-2018-Tutorials09:00 - 12:00
Other
Eric MertensGalois, Inc., Jose CalderonGalois, Inc.
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - T09: Pijul, a purely functional version control system at Frisco
Chair(s): Pierre-Étienne Meunier
icfp-2018-Tutorials13:00 - 16:00
Other

Thu 27 Sep 2018

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Frisco
09:00 - 10:00
10:20 - 11:00
11:20 - 12:00
13:30 - 14:10
14:30 - 15:10
15:30 - 16:10

Fri 28 Sep 2018

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Frisco
09:00 - 10:00

Sat 29 Sep 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Frisco