Fall 2007
Tuesdays at 12:30 pm (bring your own lunch)
Email list: http://www.soe.ucsc.edu/mailman/listinfo/proglang
October 9
October 16: No Free Lunch
October 23: Commutativity
October 30: Cost Models
November 6: Morphisms this and morphisms that
November 13: ZPL
November 20: JITing
November 27: Nested Data-Parallelism in NESL and Haskell
December 4: Parallelism at POPL:
Sequoia and the memory hierarchy
Sequoia: Programming the Memory Hierarchy. K Fatahalian, TJ Knight, M Houston, M Erez, DR Horn, L Leem, JY Park, M Ren, A Aiken, WJ Dally, P Hanrahan. CS 2006.
-
-
Tiling
JIT
List Homomorphism Theory
Enforcing Isolation and Ordering in STM
Automatically Classifying Benign and Harmful Data Races Using Replay Analysis
Software Behavior Oriented Parallelization
Misc pages on parallel stuff
Links to the 253 class
-
-
Automatic Inversion Generates Divide-and-Conquer Parallel Programs. K Morita, A Morihata, K Matsuzaki, Z Hu, M Takeichi. PLDI 2007.
Accessible classics
The Essence of Functional Programming
From System F to Typed Assembly Language (or possibly Chlipala PLDI 2007's new version of the same idea)
Theorems for free!
Functional programming w/ bananas, lenses, and barbed wire
Scrap your boilerplate
Below is a dumping ground of topics and papers that have accumulated for a while. Any of this could surface in the reading group.
Computing Procedure Summaries for Interprocedural Analysis. S Gulwani, A Tiwari.
Concurrency
Algorithms and Complexity
From Fast Exponentiation to Square Matrices: An Adventure in Types. C Okasaki. ICFP 1999.
Adventures In Time and Space. N Danner, J Royer. POPL 2006.
A Dependently Typed Framework For Static Analysis Of Program Execution Costs. E Brady, K Hammond. IFL 2005.
-
Stuff from Guy Blelloch and Chris Okasaki
Security
Abstract Interpretation
Garbage Collection
Optimization
Computer Algebra Systems (Languages to host mathematics more than “user” programs)
Aspect-Oriented Programming
Fixes for C
Fun with Types (and Category Theory!)
Typed Assembly Language
Modules and Linking
Program fragments, linking, and modularization. L Cardelli. POPL 1997
From Structures and Functors to Modules and Units. S Owens, M Flatt. ICFP 2006
A Calculus for Dynamic Linking. D Ancona, S Fagorzi, E Zucca. ICTCS '03
A Calculus for Link-time Compilation. E Machkasova, F Turbak. ESOP '00
Some Real-time testing reads: