User Tools

Site Tools


readinggroup:spring06

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

readinggroup:spring06 [2014/03/03 19:23] (current)
cschuster Moved from readinggroup
Line 1: Line 1:
 +====Spring 2006====
 +
 +  * **4/10**
 +    * Reading group replaced by a talk by Alex Aiken from Stanford on [[http://​theory.stanford.edu/​~aiken/​publications/​papers/​pldi06.pdf|Effective Static Race Detection]]. M. Naik, A. Aiken, and J. Whaley. PLDI '06.
 +  * **4/17** (Kenn)
 +    * [[http://​theory.stanford.edu/​~aiken/​publications/​new/​aliasinguse.pdf|How Is Aliasing Used in Systems Software?]] B. Hackett, A. Aiken. Available on the web '05.
 +    * [[http://​portal.acm.org/​ft_gateway.cfm?​id=375719&​type=pdf&​coll=GUIDE&​dl=GUIDE&​CFID=68848236&​CFTOKEN=79647194|BI as an Assertion Language]]. S. Ishtiaq, P. W. O'​Hearn. POPL '01
 +  * **4/24** (Bo)
 +    * [[http://​www.cs.wisc.edu/​~liblit/​bug-isolation/​|Bug Isolation via Remote Program Sampling]]. B. Liblit, A. Aiken, A. Zheng, M. Jordan. PLDI 2003.
 +    * [[http://​www.cs.wisc.edu/​~liblit/​pldi-2005/​|Scalable Statistical Bug Isolation]]. B. Liblit, M. Naik, A. Zheng, A. Aiken, M. Jordan. PLDI 2005
 +  * **5/1** (Jessica)
 +    * [[http://​citeseer.ist.psu.edu/​wadler92comprehending.html|Comprehending Monads]]. P. Wadler, Proceedings of the 1990 ACM Conference on LISP and Functional Programming
 +    * [[http://​homepages.inf.ed.ac.uk/​wadler/​papers/​effectstocl/​effectstocl.pdf|The marriage of effects and monads]] P. Wadler and P. Theimann (optional)
 +  * **5/8** (Aaron)
 +    * Aaron'​s advancement proposal; his qual/​advancement presentation is 2-4pm
 +  * **5/15** (Kenn)
 +    * [[http://​web.comlab.ox.ac.uk/​oucl/​work/​jeremy.gibbons/​publications/​hodgp.pdf|Design patterns as higher-order datatype-generic programs]]. J Gibbons. Submitted for publication '06
 +    * [[http://​db.cs.utwente.nl/​Publications/​PaperStore/​db-utwente-40501F46.ps|Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire]]. E Meijer, M Fokkinga, R Paterson. FPLCA '91
 +  * **5/22** (Aaron)
 +    * [[ftp://​ftp.research.microsoft.com/​pub/​tr/​TR-2005-135.pdf|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/​
 +  * **5/29**
 +    * Holiday
 +  * **6/5** (Jordan)
 +    * [[http://​portal.acm.org/​citation.cfm?​id=141478.141537&​dl=GUIDE&​dl=ACM&​idx=141478&​part=periodical&​WantType=periodical&​title=ACM%20SIGPLAN%20Lisp%20Pointers|A calculus for overloaded functions with subtyping]]. G. Castagna, G. Ghelli, G. Longo.
 +    * ACM SIGPLAN Lisp Pointers, Volume V, Issue 1 (June 1992).
  
readinggroup/spring06.txt · Last modified: 2014/03/03 19:23 by cschuster