COMP4181/9181 13s2 Course Schedule

This is a tentative course schedule. I will complete it when we have fixed the student presentations. The schedule may still be adapted throughout the semester.

If week rows with a white background, then these rows are for the Thursday slot. The light blue background is for the schedule on Tuesday. Student presentations, marked as "Talk" below, last 25min including questions.

Please make sure to read all the papers in the References column. They may be relevant for the final exam, unless otherwise mentioned.

NOTE: We will not have lectures in Week #9 and make up for that in Week #13.

Lecture #

Topic

Slides

References

#1

Motivation and course overview

intro-w1.pdf

Haskell homepage

Presentation topics

Presentation Topics

#2

Guest lecture: Haskell & functional programming

fp-w2.pdf

Haskell resources

#3

Purity & effects

effects-w3.pdf

Functional Programming – Crossing The Chasm?

Sexy types — beyond Hindley-Milner

phantom-w3.pdf

"Typing Haskell in Haskell"

#4

Embedded (domain-specific) languages

edsl-w4.pdf

Modular Domain Specific Languages and Tools

Accelerate

accelerate-w4.pdf

"Accelerating Haskell Array Codes with Multicore GPUs"

"Optimising Purely Functional GPU Programs"

#5

Sexy types (existential, dynamic & GADTs and type families)

gadt-w5.pdf

"Fun with Type Functions" & Type families examples

Discussion of the programming project

Programming project

#6

Monads & concurrency

monads-w6.pdf

"Tackling the awkward squad" (tutorial on monads for effects)

"Beautiful concurrency" (explains STM in Haskell)

How to give technical presentations

present-w6.pdf

S. Peyton Jones' research skills' page

#7

Guest lecture: Accelerate's CUDA backend

accelerate-w7.pdf

#8

Talk #1: maxs, DSL.1

maxs.pdf

Talk #2: pjgo250, DSL.6

pjgo250.pdf

Talk #3: anar962, DSL.4

anar962.pdf

Talk #4: xwux288, DSL.3

xwux288.pdf

Talk #5: rand343, DSL.5

rand343.pdf

#9

ICFP (no lectures)

Mid-semester break

#10

Talk #6: tgou051, Parallelism.1

tgou051.pdf

Talk #7: ermi147, Parallelism.2

ermi147.pdf

Talk #8: ajk, Parallelism.5

ajk.pdf

Talk #9: ocbr191, Parallelism.3

ocbr191.pdf

Talk #10: chrisdb, Parallelism.4

chrisdb.pdf

#11

Talk #11: nasm271, Safety.1

nasm271.pdf

Talk #12: Cancelled

Talk #13: ipop876, Concurrency.2

ipop876.pdf

One rescheduled talk

Talk #15: xic, Formal.2

xic.pdf

#12

Talk #16: minah, Types.1

minah.pdf

One rescheduled talk

Talk #18: thum460, Types.3

thum460.pdf

Talk #14: mawr982, Formal.1

mawr982.tar.gz (Idris and Agda source)

Programming project

#13

Talk #17: vwt, Types.2

vwt.pdf

Wrap up & Exam

concl-w12.pdf

Schedule (last edited 2013-10-29 14:48:11 by ManuelChakravarty)