Presentation Topics

Presentations will be from Week #8. Each presentation will be for 25min. Some topics can be combined into a 50min presentation delivered by two students in cooperation.

There are currently not enough topics for all students. This is on purpose, as I like to see which areas you are interested in most. I will add additional topics in accordance with demand.

NB: The order of the topics below does not exactly match the order of presentations. For those topics that specify a particular week, this is just an approximation at the moment. I will fix the schedule once I know which topics are taken.

What's next:

Embedded & domain-specific languages

DSL.1 [Week #??, maxs]
A Haskell-like web client language based on functional reactive programming

Asynchronous Functional Reactive Programming for GUIs. Evan Czaplicki and Stephen Chong. In "34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)", ACM Press, 2013.

Online version: http://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf

DSL.2 [Week #??, not allocated]
Purely functional syntax encoding for embedded languages [slightly more difficult topic]

Using Circular Programs for Higher-Order Syntax. Emil Axelsson and Koen Claessen. In "ACM SIGPLAN International Conference on Functional Programming 2013", ACM Press, 2013.

Online version: [http://www.cse.chalmers.se/~emax/documents/axelsson2013using_DRAFT.pdf]

DSL.3 [Week #??, xwux288]

Haskell Boards the Ferry: Database-Supported Program Execution for Haskell.

Online version: http://db.inf.uni-tuebingen.de/files/publications/ferryhaskell.pdf

DSL.4 [Week #??, anar962]

Embrace, Defend, Extend: A Methodology for Embedding Preexisting DSLs. Abhishek Kulkarni and Ryan R. Newton. In "Functional Programming Concepts in Domain-Specific Languages", ACM Press, 2013.

Online version: http://www.cs.indiana.edu/~rrnewton/papers/2013-FPCDSL_StreamItHS_draft.pdf

DSL.5 [Week #??, rand343]

Bringing Back Monad Comprehensions.

Online version: http://db.inf.uni-tuebingen.de/files/giorgidze/haskell2011.pdf

DSL.6 [Week #??, pjgo250]

Monadic Functional Reactive Programming.

Online version: http://homepages.cwi.nl/~ploeg/papers/monfrp.pdf

Safety

Safety.1 [Week #??, nasm271]
Safe Haskell

Safe Haskell. D. Terei, S. Marlow, S. Peyton Jones, and D. Mazières. In "ACM SIGPLAN Haskell Symposium 2012", ACM Press, 2012.

Online version: http://research.microsoft.com/en-us/um/people/simonpj/papers/safe-haskell/safe-haskell.pdf

Concurrency

Concurrency.1 [Week #??, tada091]
A concurrent orchestration language as an embedded DSL

Concurrent Orchestration in Haskell. J. Launchbury and T. Elliott. In "ACM SIGPLAN Haskell Symposium 2010", ACM Press, 2010.

Online version: http://code.galois.com/paper/2010/Hask-Orc-DRAFT.pdf

Concurrency.2 [Week #??, ipop876]
Distributed concurrency in Haskell

Towards Haskell in the cloud. J. Epstein, A. Black and S. Peyton Jones. In "ACM SIGPLAN Haskell Symposium 2011", ACM Press, 2011.

Online version: http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/remote.pdf

Parallelism

Parallelism.1 [Week #??, tgou051]
SIMD parallelism in Haskell
"Automatic SIMD Vectorization for Haskell". Leaf Petersen, Dominic Orchard and Neal Glew. In "Proceedings of ICFP 2013 : The 18th ACM SIGPLAN International Conference on Functional Programming", ACM Press, 2013.

Online http://www.leafpetersen.com/leaf/publications/icfp2013/vectorization-haskell.pdf

Parallelism.2 [Week #??, ermi147]
An alternative approach to SIMD parallelism in Haskell
"Exploiting Vector Instructions with Generalized Stream Fusion". Geoffrey Mainland, Roman Leshchinskiy and Simon Peyton Jones. In "Proceedings of ICFP 2013 : The 18th ACM SIGPLAN International Conference on Functional Programming", ACM Press, 2013.

Online http://research.microsoft.com/en-us/um/people/simonpj/papers/ndp/haskell-beats-C.pdf

Parallelism.3 [Week #??, ocbr191]
Optimising an embedded language for GPU programming

"Optimising Purely Functional GPU Programs". Trevor L. McDonell, Manuel Chakravarty, Gabriele Keller and Ben Lippmeier. In "Proceedings of ICFP 2013 : The 18th ACM SIGPLAN International Conference on Functional Programming", ACM Press, 2013.

Online http://www.cse.unsw.edu.au/%7Echak/papers/acc-optim.pdf

Parallelism.4 [Week #??, chrisdb]
Another embedded language for GPU programming
"Counting and Occurrence sort for GPUs using an Embedded Language". Josef Svenningsson, Joel Svensson and Mary Sheeran. In "2nd ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC'13", ACM Press, 2013.

Online http://www.cse.chalmers.se/~joels/writing/csort.pdf

Parallelism.5 [Week #??, ajk]
Control parallelism in Haskell [advanced paper, would benefit from having done COMP3161]
"LVars: Lattice-based Data Structures for Deterministic Parallelism". Lindsey Kuper and Ryan R. Newton. In "2nd ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC'13", ACM Press, 2013.

Online http://www.cs.indiana.edu/~lkuper/papers/lvars-fhpc13.pdf

Types

Types.1 [Week #??, minah]
Controlling effects with dependent types [advanced paper, you should have done COMP3141]

Programming and Reasoning with Algebraic Effects and Dependent Types. Edwin Brady. In "Proceedings of ICFP 2012 : The 18th ACM SIGPLAN International Conference on Functional Programming", ACM Press, 2013.

Online version: http://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf

Types.2 [Week #??, vwt]
Another approach to handling effects in functional languages [advanced paper, you should have done COMP3161]

Handlers in Action. Ohad Kammar, Sam Lindley and Nicolas Oury. In "Proceedings of ICFP 2012 : The 18th ACM SIGPLAN International Conference on Functional Programming", ACM Press, 2013.

Online version: http://homepages.inf.ed.ac.uk/slindley/papers/handlers-draft-march2013.pdf

Types.3 [Week #??, thum460]
Advanced use of monads [advanced paper]

The Constrained-Monad Problem. Neil Sculthorpe, Jan Bracker, George Giorgidze and Andy Gill. In "Proceedings of ICFP 2012 : The 18th ACM SIGPLAN International Conference on Functional Programming", ACM Press, 2013.

Online version: http://www.ittc.ku.edu/%7Eneil/papers_and_talks/constrained-monad-problem.pdf

Formal reasoning

Formal.1 [Week #??, mawr982]
Dependently-typed programming in Epigram

Why dependent types matter. T. Altenkirch, C. Mcbride, and J. Mckinna.

Online version: http://www.cs.nott.ac.uk/~txa/publ/ydtm.pdf

Formal.2 [Week #??, xic]
Equational reasoning with monads

Just do it: Simple monadic equational reasoning. J. Gibbons and R. Hinze.

Online version: http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/mr.pdf

Presentation Topics (last edited 2013-08-29 16:45:59 by ManuelChakravarty)