Schedule

Skip to end of metadata
Go to start of metadata

Meeting: Wednesday, 4:00 pm, 4405SC


Assistants

No assistants in Fall 2011

Schedule
Date Discussion Lead Paper Resources
Aug. 31  -- 
Organizational meeting
Sep 6 -- No seminar  
Sep 13   Kyle Blocher Liquid Types http://cseweb.ucsd.edu/~prondon/papers/liquid-types-pldi08.pdf
Sep 20   Kyle Blocher Liquid Types (cont'd) Above paper, continued.
Sep 27   Sam Kamin Tutorial on Partial Evaluation http://www.cs.utexas.edu/~wcook/tutorial/PEnotes.pdf 
http://www.cs.utexas.edu/~wcook/Civet/
Oct 5
Sam Kamin
Partial Evaluation (cont'd)
The two papers above, continued.
Oct 12 Xing Zhou Compiling Parallel Programs http://dl.acm.org/citation.cfm?id=1925844.1926457&preflayout=tabs
Oct 19  -- No seminar
Oct 26 Denis Barthou (LaBRI, France) Automatic Code Exploration for Lattice QCD
 
Nov 2   Kyle Blocher Procedure Inlining http://llvm.cs.illinois.edu/~vadve/CS591ACT/inlining.pdf
Nov 9   Kyle Blocher Procedure Inlining (continued) Above paper, continued.
Nov 16   Chucky Ellison
An Executable Formal Semantics of C with Applications http://fsl.cs.uiuc.edu/pubs/ellison-rosu-2012-popl.pdf
Nov 23 Thanksgiving Break No seminar -- Thanksgiving Break  
Nov 30 Chucky Ellison An Executable Formal Semantics of C with Applications (continued)
Above paper, continued.    
Dec 7 -- No seminar  
Enter labels to add to this page:
Please wait 
Looking for a label? Just start typing.