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
Welcome
HOPE
C: François PottierInria, France, C: Aleksandar NanevskiIMDEA Software Institute
09:10 - 10:00: Invited talkHOPE at L3
09:10 - 10:10
Talk
Invited Talk: Semantics of Effect Systems by Graded Monads
HOPE
Shin-ya KatsumataNational Institute of Informatics
10:30 - 11:30: Modular SemanticsHOPE at L3
10:30 - 11:00
Talk
Higher-order Programming is an Effect
HOPE
File Attached
11:00 - 11:30
Talk
A monadic solution to the Cartwright-Felleisen-Wadler conjecture
HOPE
Ohad KammarUniversity of Oxford, UK, Dylan McDermottUniversity of Cambridge
File Attached
12:00 - 12:30: RustHOPE at L3
12:00 - 12:30
Talk
RustBelt: Securing the Foundations of the Rust Programming Language
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
Handling fibred algebraic effects
HOPE
Danel AhmanUniversity of Edinburgh
14:30 - 15:00
Talk
Only Control Effects and Dependent Types
HOPE
Youyou CongOchanomizu University, William J. BowmanNortheastern University
15:30 - 16:30: EffectsHOPE at L3
15:30 - 16:00
Talk
Programming a Web Server with Algebraic Effects
HOPE
Daan LeijenMicrosoft Research
16:00 - 16:30
Talk
Logical Relations for Algebraic Effects
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
Recalling a Witness
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
Welcome
ML
09:05 - 10:00: Invited talkML at L3
Chair(s): Sam LindleyUniversity of Edinburgh, UK
09:05 - 10:00
Talk
State machines all the way down
ML
Edwin BradyUniversity of St. Andrews, UK
10:30 - 11:45: Types and modulesML at L3
10:30 - 10:55
Talk
Mergeable types
ML
Gowtham KakiPurdue University, KC SivaramakrishnanUniversity of Cambridge, Samodya AbeysiriwardanePurdue University, Suresh JagannathanPurdue University
10:55 - 11:20
Talk
Tierless modules
ML
Gabriel RadanneUniversité Denis Diderot Paris 7, PPS, Jérôme VouillonUniv Paris Diderot, Sorbonne Paris Cité, BeSport
11:20 - 11:45
Talk
First-class subtypes
ML
Jeremy YallopUniversity of Cambridge, UK, Stephen Dolan
12:00 - 12:25: VerificationML at L3
12:00 - 12:25
Talk
VOCAL -- a verified OCAml Library
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
Typer: an infix statically typed Lisp
ML
Pierre DelaunayUniversité de Montréal, Vincent Archambault-BouffardUniversité de Montréal, Stefan MonnierUniversité de Montréal
14:25 - 14:50
Talk
Relational conversion for OCaml
ML
Petr LozovSain Petersburg State University, SPbGU, Dmitri Boulytchev
14:50 - 15:15
Talk
Towards abductive functional programming
ML
Koko MuroyaUniversity of Birmingham, UK
15:30 - 16:20: PerformanceML at L3
15:30 - 15:55
Talk
Making SML# a general-purpose high-performance language
ML
Atsushi OhoriTohoku University, Japan, Kenjiro TauraThe University of Tokyo, Katsuhiro UenoTohoku University
15:55 - 16:20
Talk
Efficient representation of large, dynamic sequences in ML
ML
16:50 - 17:40: EffectsML at L3
16:50 - 17:15
Talk
Effects without monads: non-determinism
ML
17:15 - 17:40
Talk
Effectively tackling the awkward squad
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
Opening
OCaml
Gabriel SchererNortheastern University
09:10 - 10:10: Talk session 1OCaml at L3
09:05 - 09:40
Talk
Invited talk: new contributors
OCaml
09:40 - 10:05
Talk
The State of the OCaml Platform: September 2017
OCaml
10:30 - 11:30: Talk session 2OCaml at L3
10:30 - 10:50
Talk
Owl: A General-Purpose Numerical Library in OCaml
OCaml
Liang WangUniversity of Cambridge
Link to publication Pre-print
10:50 - 11:10
Talk
Extending OCaml's open
OCaml
Runhang LiTwitter, Inc, Jeremy YallopUniversity of Cambridge, UK
Link to publication Pre-print
11:10 - 11:30
Talk
Genspio: Generating Shell Phrases In OCaml
OCaml
Sebastien MondetMount Sinai - Hammer Lab
Pre-print
11:35 - 12:30: Poster sessionOCaml at L3
11:35 - 11:45
Talk
Flash poster presentation
OCaml
11:45 - 12:30
Talk
mSAT: An OCaml SAT Solver
OCaml
Bury GuillaumeINRIA / LSV / CNRS
Link to publication
11:45 - 12:30
Talk
Jbuilder: a modern approach to OCaml development
OCaml
Jeremie DiminoJane Street Europe, Mark Shinwell
11:45 - 12:30
Talk
Tyre – Typed Regular Expressions
OCaml
Gabriel RadanneUniversité Denis Diderot Paris 7, PPS
Link to publication
11:45 - 12:30
Talk
ocamli: Interpreted OCaml
OCaml
Link to publication
15:30 - 16:30: Talk session 4OCaml at L3
15:30 - 15:50
Talk
A B-tree library for OCaml
OCaml
Tom RidgeUniversity of Leicester, UK
Link to publication
15:50 - 16:10
Talk
Wodan: a pure OCaml, flash-aware filesystem library
OCaml
Link to publication
16:10 - 16:30
Talk
Tezos: the OCaml Crypto-Ledger
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
Component-based Program Synthesis in OCaml
OCaml
Zhanpeng LiangUniversity of Southern California, Kanae Tsushima
Link to publication
17:20 - 17:40
Talk
Testing with Crowbar
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
Welcome
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
A Categorial Grammar for Music and Its Use in Automatic Melody Generation
FARM
09:40 - 10:00
Demonstration
Demo — Representation of Musical Notation in Haskell
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
Demo — African Polyphony and Polyrhythm
FARM
Chris FordThoughtWorks (UK) Ltd.
Pre-print
10:50 - 11:10
Demonstration
Demo — Vivid: Sound Synthesis with Haskell and SuperCollider
FARM
Pre-print
11:10 - 11:40
Talk
GALE: A Functional Graphic Adventure Library and Engine
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
FAUST Tutorial for Functional Programmers
FARM
15:30 - 16:20: Session 5: DemosFARM at L3
Chair(s): David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
15:30 - 15:50
Demonstration
Demo — The Arpeggigon: A Functional Reactive Musical Automaton
FARM
Henrik NilssonUniversity of Nottingham, UK
Pre-print
15:50 - 16:10
Demonstration
Demo — Ait: A Concatenative Language for Creative Programming
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
Unified Media Programming: An Algebraic Approach
FARM
Simon ArchipoffCNRS LaBRI, Inria Bordeaux,, David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
17:20 - 17:40
Demonstration
Demo — Octopus: A High-Level Fast 3D Animation Language
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