Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
VenueMathematical Institute
Room nameL3
Floor0
Capacity110
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

Sun 3 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 09:10: WelcomeHOPE at L3
09:00 - 09:10
Day opening
HOPE
C: François PottierInria, France, C: Aleksandar NanevskiIMDEA Software Institute
09:10 - 10:00: Invited talkHOPE at L3
09:10 - 10:10
Talk
HOPE
Shin-ya KatsumataNational Institute of Informatics
10:30 - 11:30: Modular SemanticsHOPE at L3
10:30 - 11:00
Talk
HOPE
File Attached
11:00 - 11:30
Talk
HOPE
Ohad KammarUniversity of Oxford, UK, Dylan McDermottUniversity of Cambridge
File Attached
12:00 - 12:30: RustHOPE at L3
12:00 - 12:30
Talk
HOPE
Ralf JungMPI-SWS, Germany, Jacques-Henri JourdanMPI-SWS, Germany, Robbert KrebbersDelft University of Technology, Netherlands, Derek DreyerMPI-SWS
14:00 - 15:00: Effects and Dependent TypesHOPE at L3
14:00 - 14:30
Talk
HOPE
Danel AhmanUniversity of Edinburgh
14:30 - 15:00
Talk
HOPE
Youyou CongOchanomizu University, William J. BowmanNortheastern University
15:30 - 16:30: EffectsHOPE at L3
15:30 - 16:00
Talk
HOPE
Daan LeijenMicrosoft Research
16:00 - 16:30
Talk
HOPE
Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr Polesiuk, Filip SieczkowskiUniversity of Wrocław
16:50 - 17:40: MonotonicityHOPE at L3
16:50 - 17:20
Talk
HOPE
Danel AhmanUniversity of Edinburgh, Cătălin HriţcuInria Paris, Kenji MaillardInria Paris, ENS Paris, and Microsoft Research, Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research, n.n., Cédric FournetMicrosoft Research, n.n.
Pre-print

Thu 7 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 09:05: WelcomeML at L3
Chair(s): Sam LindleyUniversity of Edinburgh, UK
09:00 - 09:05
Day opening
ML
09:05 - 10:00: Invited talkML at L3
Chair(s): Sam LindleyUniversity of Edinburgh, UK
09:05 - 10:00
Talk
ML
Edwin BradyUniversity of St. Andrews, UK
10:30 - 11:45: Types and modulesML at L3
10:30 - 10:55
Talk
ML
Gowtham KakiPurdue University, KC SivaramakrishnanUniversity of Cambridge, Samodya AbeysiriwardanePurdue University, Suresh JagannathanPurdue University
10:55 - 11:20
Talk
ML
Gabriel RadanneUniversité Denis Diderot Paris 7, PPS, Jérôme VouillonUniv Paris Diderot, Sorbonne Paris Cité, BeSport
11:20 - 11:45
Talk
ML
Jeremy YallopUniversity of Cambridge, UK, Stephen Dolan
12:00 - 12:25: VerificationML at L3
12:00 - 12:25
Talk
ML
Arthur CharguéraudInria, Jean-Christophe FilliatreCNRS, Paris, France, Mário PereiraLRI - Université Paris-Sud, François PottierInria, France
14:00 - 15:15: Programming language designML at L3
14:00 - 14:25
Talk
ML
Pierre DelaunayUniversité de Montréal, Vincent Archambault-BouffardUniversité de Montréal, Stefan MonnierUniversité de Montréal
14:25 - 14:50
Talk
ML
Petr LozovSain Petersburg State University, SPbGU, Dmitri Boulytchev
14:50 - 15:15
Talk
ML
Koko MuroyaUniversity of Birmingham, UK
15:30 - 16:20: PerformanceML at L3
15:30 - 15:55
Talk
ML
Atsushi OhoriTohoku University, Japan, Kenjiro TauraThe University of Tokyo, Katsuhiro UenoTohoku University
15:55 - 16:20
Talk
ML
16:50 - 17:40: EffectsML at L3
16:50 - 17:15
Talk
ML
17:15 - 17:40
Talk
ML
Stephen Dolan, Spiros EliopoulosJane Street Group, Daniel HillerströmThe University of Edinburgh, Anil MadhavapeddyOCaml Labs, KC SivaramakrishnanUniversity of Cambridge, Leo WhiteJane Street

Fri 8 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 09:10: OpeningOCaml at L3
09:00 - 09:05
Day opening
OCaml
Gabriel SchererNortheastern University
09:10 - 10:10: Talk session 1OCaml at L3
09:05 - 09:40
Talk
OCaml
09:40 - 10:05
Talk
OCaml
10:30 - 11:30: Talk session 2OCaml at L3
10:30 - 10:50
Talk
OCaml
Liang WangUniversity of Cambridge
Link to publication Pre-print
10:50 - 11:10
Talk
OCaml
Runhang LiTwitter, Inc, Jeremy YallopUniversity of Cambridge, UK
Link to publication Pre-print
11:10 - 11:30
Talk
OCaml
Sebastien MondetMount Sinai - Hammer Lab
Pre-print
11:35 - 12:30: Poster sessionOCaml at L3
11:35 - 11:45
Talk
OCaml
11:45 - 12:30
Talk
OCaml
Bury GuillaumeINRIA / LSV / CNRS
Link to publication
11:45 - 12:30
Talk
OCaml
Jeremie DiminoJane Street Europe, Mark Shinwell
11:45 - 12:30
Talk
OCaml
Gabriel RadanneUniversité Denis Diderot Paris 7, PPS
Link to publication
11:45 - 12:30
Talk
OCaml
Link to publication
15:30 - 16:30: Talk session 4OCaml at L3
15:30 - 15:50
Talk
OCaml
Tom RidgeUniversity of Leicester, UK
Link to publication
15:50 - 16:10
Talk
OCaml
Link to publication
16:10 - 16:30
Talk
OCaml
Benjamin CanouOCamlPro, n.n., Grégoire HenryOCamlPro, n.n., Pierre ChambartOCamlPRO, Fabrice Le FessantOCamlPro, Arthur BREITMANDynamic Ledger Solutions
16:50 - 17:40: Talk session 5OCaml at L3
17:00 - 17:20
Talk
OCaml
Zhanpeng LiangUniversity of Southern California, Kanae Tsushima
Link to publication
17:20 - 17:40
Talk
OCaml

Sat 9 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 09:10: IntroductionFARM at L3
09:00 - 09:10
Day opening
FARM
C: Michael SperberActive Group GmbH, P: Jean BressonUMR STMS: IRCAM-CNRS-UPMC
09:10 - 10:00: Session 1: Papers/DemosFARM at L3
Chair(s): Jean BressonUMR STMS: IRCAM-CNRS-UPMC
09:10 - 09:40
Talk
FARM
09:40 - 10:00
Demonstration
FARM
Pre-print
10:30 - 11:30: Session 2: Papers/DemosFARM at L3
Chair(s): Ivan PerezUniversity of Nottingham, UK
10:30 - 10:50
Demonstration
FARM
Chris FordThoughtWorks (UK) Ltd.
Pre-print
10:50 - 11:10
Demonstration
FARM
Pre-print
11:10 - 11:40
Talk
FARM
Ivan PerezUniversity of Nottingham, UK
14:00 - 15:00: Session 4: TutorialFARM at L3
Chair(s): Jean BressonUMR STMS: IRCAM-CNRS-UPMC
14:00 - 15:00
Talk
FARM
15:30 - 16:20: Session 5: DemosFARM at L3
Chair(s): David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
15:30 - 15:50
Demonstration
FARM
Henrik NilssonUniversity of Nottingham, UK
Pre-print
15:50 - 16:10
Demonstration
FARM
Pre-print
16:50 - 17:40: Session 6: Papers/DemosFARM at L3
Chair(s): Henrik NilssonUniversity of Nottingham, UK
16:50 - 17:20
Talk
FARM
Simon ArchipoffCNRS LaBRI, Inria Bordeaux,, David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
17:20 - 17:40
Demonstration
FARM
Simon ArchipoffCNRS LaBRI, Inria Bordeaux,, David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
Pre-print

Sun 3 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Thu 7 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Fri 8 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Sat 9 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Sun 3 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Thu 7 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change