UC Santa Cruz

Reading group replaced by a talk by Alex Aiken from Stanford on Effective Static Race Detection. M. Naik, A. Aiken, and J. Whaley. PLDI '06.

How Is Aliasing Used in Systems Software? B. Hackett, A. Aiken. Available on the web '05.

BI as an Assertion Language. S. Ishtiaq, P. W. O'Hearn. POPL '01

Bug Isolation via Remote Program Sampling. B. Liblit, A. Aiken, A. Zheng, M. Jordan. PLDI 2003.

Scalable Statistical Bug Isolation. B. Liblit, M. Naik, A. Zheng, A. Aiken, M. Jordan. PLDI 2005

Comprehending Monads. P. Wadler, Proceedings of the 1990 ACM Conference on LISP and Functional Programming

The marriage of effects and monads P. Wadler and P. Theimann (optional)

Aaron's advancement proposal; his qual/advancement presentation is 2-4pm

Design patterns as higher-order datatype-generic programs. J Gibbons. Submitted for publication '06

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. E Meijer, M Fokkinga, R Paterson. FPLCA '91

An Overview of the Singularity Project. Galen C. Hunt, James R. Larus, Martín Abadi, Mark Aiken, Paul Barham, Mänuel Fahndrich, Chris Hawblitzel Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, and Brian Zill. Microsoft Research Technical Report MSR-TR-2005-135, Microsoft Corporation, Redmond, WA, October 2005.

See also: http://research.microsoft.com/os/singularity/

Holiday

A calculus for overloaded functions with subtyping. G. Castagna, G. Ghelli, G. Longo.

ACM SIGPLAN Lisp Pointers, Volume V, Issue 1 (June 1992).