Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

International Conference on Functional Programming 2017

Image
International Conference on Functional Programming 2017
ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming.

ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. This year, there are keynotes from Chris Martens and John Launchbury; unfortunately, Rich Hickey was unable to attend as originally planned.

Related

ICPF 2017 homepageDepartment of Computer Science

Subscribe

Apple Podcast Video Audio RSS Feed Video RSS Feed
Displaying 1 - 44 of 44 episodes
Episode Description People Date Captions
Inferring Scope through Syntactic Sugar Justin Pombrio (Brown University, USA) gives the third talk in the fifth panel, Inference and Analysis on the 3rd day of the ICFP conference. Justin Pombrio 23 January, 2018
Automating Sized-Type Inference for Complexity Analysis Martin Avanzini (University of Innsbruck, Austria) gives the second talk in the fifth panel, Inference and Analysis on the 3rd day of the ICFP conference. Martin Avanzini 23 January, 2018
Constrained Type Families Richard A. Eisenberg (Bryn Mawr College, USA) gives the first talk in the fifth panel, Inference and Analysis, on the 3rd day of the ICFP conference. Richard A Eisenberg 23 January, 2018
Gradual Typing with Union and Intersection Types Victor Lanvin (ENS Cachan, France) gives the third talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference. Victor Lanvin 23 January, 2018
On Polymorphic Gradual Typing Yuu Igarashi (Kyoto University, Japan) gives the second talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference. Yuu Igarashi 22 January, 2018
Theorems for Free for Free: Parametricity, With and Without Types Amal Ahmed (Northeastern University, USA) gives the first talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference. Amal Ahmed 22 January, 2018
Gradual Session Types Peter Thiemann (University of Freiburg, Germany) gives the fourth talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference. Peter Thiemann 22 January, 2018
Manifest Sharing with Session Types Stephanie Balzer (Carnegie Mellon University, USA) gives the third talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference. Stephanie Balzer 22 January, 2018
Whip: Higher-Order Contracts for Modern Services Lucas Waye (Harvard University, USA), gives the second talk in the third panel, Contracts and Sessions , on the 3rd day of the ICFP conference. Lucas Waye 22 January, 2018
A Metaprogramming Framework for Formal Verification Sebastian Ullrich (KIT, Germany), gives the fourth talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. Sebastian Ullrich 17 January, 2018
Normalization by Evaluation for Sized Dependent Types Andreas Abel (University of Gothenburg, Sweden), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. Andreas Abel 17 January, 2018
A Specification for Dependent Types in Haskell Antoine Vizard (University of Pennsylvania, USA), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. Antoine Vizard 17 January, 2018
Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) Robby Findler (Northwestern University, USA), gives the first talk in the first panel, Domain-Specific Languages, on the 3rd day of the ICFP conference. Robby Findler 17 January, 2018
Visitors Unchained Francois Pottier (Inria, France), gives the second talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference. François Pottier 17 January, 2018
Compiling to Categories Conal Elliott, Target, USA, gives the first talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference. Conal Elliott 16 January, 2018
Local Refinement Typing Benjamin Cosman, University of California at San Diego, USA, gives the third talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference. Benjamin Cosman 16 January, 2018
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools Konstantin Weitz (University of Washington, USA) gives the second talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference. Konstantin Weitz 15 January, 2018
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification Muralidaran Vijayaraghavan 15 January, 2018
No-Brainer CPS Conversion Milo Davis (Northeastern University, USA) gives the fourth talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP. Milo Davis 15 January, 2018
Foundations of Strong Call by Need Thibaut Balabonski (LRI, France and University of Paris-Sud, France) gives the third talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. Thibaut Balabonski 15 January, 2018
How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation Makoto Hamana (Gunma University, Japan), gives the first talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. Makoto Hamana 18 December, 2017
Better Living through Operational Semantics: An Optimizing Compiler for Radio Protocols Geoffrey Mainland (Drexel University, USA) gives the fourth talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. Geoffrey Mainland 18 December, 2017
Verifying Efficient Function Calls in CakeML Scott Owens University of Kent, UK, gives the third talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. Scott Owens 18 December, 2017
A Relational Logic for Higher-Order Programs Alejandro Aguirre, IMDEA Software Institute, Spain, gives the second talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. Alejandro Aguirre 18 December, 2017
Verified Low-Level Programming Embedded in F Jonathan Protzen, Microsoft Research, United States, gives the second talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. Jonathan Protzen 18 December, 2017
Persistence for the Masses: RRB-Vectors in a Systems Language Juan Pedro Bolívar Puente, Independent Consultant, Sinusoidal Engineering, Germany, gives the first talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. Juan Pedro Bolívar Puente 18 December, 2017
Assuring AI John Launchbury, Chief Scientist of Galois Inc, gives the second keynote of the ICFP conference. John Launchbury 18 December, 2017
Effect-Driven QuickChecking of Compilers Jan Midtgaard, gives the fourth presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson, DTU, Denmark. Jan Midtgaard 18 December, 2017
Imperative Functional Programs that Explain their Work Jan Stolarek, University of Edinburgh, UK, gives the third presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Wilmer Ricciotti, Roly Perera and James Cheney, and University of Edinburgh, UK. Jan Stolarek 18 December, 2017
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control Ohad Kammar, University of Oxford, UK, gives the second presentation in the fourth panel, Effects, in the ICFP 2017 conference. Ohad Kammar 13 December, 2017
Abstracting Definitional Interpreters David Darais, University of Maryland, USA, gives the first presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Nicholas Labich, David Van Horn, Phuc C. Nguyen, University of Maryland, USA. David Darais 13 December, 2017
Symbolic Conditioning of Arrays in Probabilistic Programs Praveen Narayanan, Indiana University, USA, gives the third presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Chung-Chief Shan, Indiana University, USA. Praveen Narayanan 13 December, 2017
A Framework for Adaptive Differential Privacy Daniel Winograd-Cort University of Pennsylvania, USA, gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Andreas Haeberlen and Aaron Roth, University of Pennsylvania, USA. Daniel Winograd-Cort 13 December, 2017
Prototyping a Query Compiler using Coq (Experience Report) Louis Mandel (IBM) gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Joshua Auerbach, Martin Hirzel, Avraham Shinnar, Jerome Simeon, IBM Research, USA. Louis Mandel 12 December, 2017
A Unified Approach to Solving Seven Programming Problems (Functional Pearl) William E. Byrd, University of Utah, USA, gives the fourth presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. William E Byrd 12 December, 2017
Generic Functional Parallel Algorithms: Scan and FFT Conal Elliott, Target, USA United States, gives the third presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. Conal Elliott 12 December, 2017
A Pretty But Not Greedy Printer (Functional Pearl) Jean-Philippe Bernardy, University of Gothenburg, gives the second presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. Jean-Philippe Bernardy 12 December, 2017
Faster Coroutine Pipelines Mike Spivey, University of Oxford, UK, gives the first presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. Mike Spivey 12 December, 2017
Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC Roberto Di Cosmo (Inria, France and University of Paris Diderot, France), gives the fourth presentation in the first panel, Art and Education, in the ICFP 2017 conference. Roberto Di Cosmo 12 December, 2017
Lock-Step Simulation Is Child's Play (Experience Report) Joachim Breiner, University of Pennsylvania, United States, gives the third presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Chris Smith Google, USA. Joachim Breiner 12 December, 2017
Testing and Debugging Functional Reactive Programming Ivan Perez, University of Nottingham, UK, gives the second presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Henrik Nilsson, University of Nottingham, UK. Ivan Perez 12 December, 2017
Super 8 Languages for Making Movies (Functional Pearl) Leif Andersen (Northeastern University, USA) gives the first presentation in the first panel, Art and Education, in the ICFP 2017 conference. Leif Andersen 7 December, 2017
Compositional Creativity: Some Principles for Talking to Computers Chris Martens (North Carolina State University, United States) gives the first talk in the ICFP conference. Chris Martens 5 December, 2017
Chaperone Contracts for Higher-Order Sessions Hernan Melgratti (University of Buenos Aires, Argentina), gives the first talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference. Hernan Melgratti 14 September, 2017
Displaying 1 - 44 of 44 episodes

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
'Oxford Podcasts' Twitter Account @oxfordpodcasts | MediaPub Publishing Portal for Oxford Podcast Contributors | Upcoming Talks in Oxford | © 2011-2022 The University of Oxford