| 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 |
|
