├── .travis.yml └── README.md /.travis.yml: -------------------------------------------------------------------------------- 1 | language: python 2 | python: 3 | - "3.4" 4 | install: pip install requests markdown beautifulsoup4 && wget https://raw.githubusercontent.com/yallop/check-markdown-urls/master/src/check_markdown_urls.py 5 | script: python check_markdown_urls.py README.md 6 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | ## Haskell 2014 accepted papers 2 | 3 | Links to [accepted papers][haskell2014-accepted] for the [2014 ACM SIGPLAN Haskell Symposium][haskell2014] (Haskell 2014). (You may also be interested in [ICFP 2014 accepted papers][icfp2014-accepted].) 4 | 5 | [haskell2014]: http://www.haskell.org/haskell-symposium/2014/ 6 | [haskell2014-accepted]: http://www.haskell.org/haskell-symposium/2014/accepted.html 7 | [icfp2014-accepted]: https://github.com/yallop/icfp2014-papers 8 | 9 | Status of links at last commit: [![Build Status](https://travis-ci.org/yallop/haskell2014-papers.svg)](https://travis-ci.org/yallop/haskell2014-papers) 10 | 11 | * **Keynote: UniKernels: Functional Operating System Design** 12 | ([video](https://www.youtube.com/watch?v=FkTPE99egy4)) 13 | ([video of discussion](https://www.youtube.com/watch?v=FkTPE99egy4)) 14 | by Anil Madhavapeddy 15 | 16 | * **Keynote: Interleaving Data and Effects** 17 | ([video](https://www.youtube.com/watch?v=2AFakGAII4k)) 18 | by Patricia Johann 19 | 20 | * **PC Chair Report & Future of Haskell discussion** 21 | ([video](https://www.youtube.com/watch?v=YhkQ9JpdCY4)) 22 | by Wouter Swierstra 23 | 24 | * **Experience Report: The Next 1100 Haskell Programmers** 25 | ([paper](http://www21.in.tum.de/~traytel/papers/haskell14-teaching/teaching.pdf)) 26 | ([video](https://www.youtube.com/watch?v=VM6i6710A-Y)) 27 | by Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski and Dmitriy Traytel. 28 | 29 | * **Experience Report: Type-checking Polymorphic Units for Astrophysics Research in Haskell** 30 | ([paper](http://www.cis.upenn.edu/~eir/papers/2014/units/units.pdf)) 31 | ([video](https://www.youtube.com/watch?v=cmx45QL6YZg)) 32 | by Takayuki Muranushi and Richard A. Eisenberg. 33 | 34 | * **A Simple Semantics for Haskell Overloading** 35 | ([paper](http://homepages.inf.ed.ac.uk/jmorri14/pubs/morris-haskell14-oversem.pdf)) 36 | ([video](https://www.youtube.com/watch?v=xwytISR9u9I)) 37 | by J. Garrett Morris. 38 | 39 | * **Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection** 40 | ([paper](http://okmij.org/ftp/Haskell/zseq.pdf)) 41 | ([video](https://www.youtube.com/watch?v=_XoI65Rxmss)) 42 | by Atze van der Ploeg and Oleg Kiselyov. 43 | 44 | * **A seamless, client-centric programming model for type safe web applications** 45 | ([paper](http://haste-lang.org/haskell14.pdf)) 46 | ([video](https://www.youtube.com/watch?v=1_Op8AbXh3I)) 47 | by Anton Ekblad and Koen Claessen. 48 | 49 | * **Effect Handlers in Scope** 50 | ([paper](http://users.ugent.be/~tschrijv/Research/papers/haskell2014.pdf)) 51 | ([video](https://www.youtube.com/watch?v=q2TRONftCcg)) 52 | by Nicolas Wu, Tom Schrijvers and Ralf Hinze. 53 | 54 | * **Embedding effect systems in Haskell** 55 | ([paper](https://www.cl.cam.ac.uk/~dao29/publ/haskell14-effects.pdf)) 56 | ([video](https://www.youtube.com/watch?v=EVqsfQHS8R8)) 57 | by Dominic Orchard and Tomas Petricek. 58 | 59 | * **Promoting Functions to Type Families in Haskell** 60 | ([paper](http://www.cis.upenn.edu/~eir/papers/2014/promotion/promotion.pdf)) ([extended paper](http://www.cis.upenn.edu/~eir/papers/2014/promotion/promotion-ext.pdf)) 61 | ([video](https://www.youtube.com/watch?v=J47OTYArG08)) 62 | by Richard A. Eisenberg and Jan Stolarek. 63 | 64 | * **SmartCheck: Automatic and Efficient Counterexample Reduction and Generalization** 65 | ([paper](https://github.com/leepike/SmartCheck/raw/master/paper/paper.pdf)) 66 | ([video](https://www.youtube.com/watch?v=zhZjS_xDBwA)) 67 | by Lee Pike. 68 | 69 | * **LiquidHaskell: Refinement Types in the Real World** 70 | ([paper](http://goto.ucsd.edu/~nvazou/real_world_liquid.pdf)) 71 | ([video](https://www.youtube.com/watch?v=vqvNQixKr6w)) 72 | by Niki Vazou, Eric L. Seidel and Ranjit Jhala. 73 | 74 | * **The HdpH DSLs for Scalable Reliable Computation** 75 | ([paper](http://www.macs.hw.ac.uk/~rs46/papers/haskell2014/HdpH_DSLs-haskell14.pdf)) 76 | ([video](https://www.youtube.com/watch?v=WeB8BAq5dX4)) 77 | by Patrick Maier, Robert Stewart and Phil Trinder. 78 | 79 | * **Indentation-Sensitive Parsing for Parsec** 80 | ([video](https://www.youtube.com/watch?v=bwEHh0BZc3Q)) 81 | by Michael D. Adams and Ömer Sinan Ağacan. 82 | 83 | * **Building Secure Systems with LIO (Systems Demo)** 84 | ([paper](http://www.scs.stanford.edu/~deian/pubs/stefan:2014:building-plas.pdf)) 85 | ([video](https://www.youtube.com/watch?v=Yq0D0McVPz0)) 86 | by Deian Stefan and Alejandro Russo. 87 | 88 | * **Foreign Inline Code (Systems Demo)** 89 | ([video](https://www.youtube.com/watch?v=pm_WFnWqn20)) 90 | by Manuel Chakravarty. 91 | 92 | * **Making Web Applications -XSafe (Systems Demo)** 93 | ([paper](http://www.scs.stanford.edu/~deian/pubs/levy:2014:making.pdf)) 94 | ([video](https://www.youtube.com/watch?v=Q2dadz7Ae6M)) 95 | by Amit Levy, David Terei, Deian Stefan and David Mazieres. 96 | 97 | * **NetBSD Sound Drivers in Haskell (Systems Demo)** 98 | ([long-version paper](http://metasepi.org/doc/metasepi-icfp2014.pdf)) 99 | ([video](https://www.youtube.com/watch?v=E30ZvEVExI0)) 100 | by Kiwamu Okabe and Takayuki Muranushi. 101 | --------------------------------------------------------------------------------