What? concertrg is a weekly discussion of selected papers from the programming languages research community.
Who? The reading group is open to all students interested in programming languages research; it was started by students affiliated with the ConCert project (hence the name).
When and where? Tuesdays at 5:00 pm in GHC 6501.
A mailing list for the group is maintained by Chris Martens. Send her mail if you would like to subscribe. There is also a short document describing the format of our discussions.
Recent readings:
- May 20, 2010 - Parallel concurrent {ML}. Reppy, Russo, and Xiao. 2009.
- Jan 7, 2010 - A simplification of Girard's paradox. Antonius Hurkens. 1995.
- Dec 15, 2009 - Abstract Interpretation Using Laziness: Proving Conway's Lost Cosmological Theorem. Kevin Watkins. .
- Dec 1, 2009 - On understanding data abstraction, revisited. William R. Cook. 2009.
- Nov 17, 2009 - F-ing modules. Rossberg, Russo, and Dreyer. 2010.
- Nov 5, 2009 - A separate compilation extension to standard {ML}. Swasey, Tom Murphy, Crary, and Harper. 2006.
All readings:
Useful links:
ConcertRG comes in many flavors:
- Concert Reading Group @ CiteULike
- Pre-2009 ConCert Reading Group Archive
- JakeD's ConcertRG delicious feed
- Mailing list
- Classic Papers in Programming Languages and Logic Mirror (Fall 2009) - Piggybacks on the RG's infrastructure
Convener links: