Write a Blog >>
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