User Tools

Site Tools


readinggroup:winter14

Differences

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

Link to this comparison view

readinggroup:winter14 [2014/04/01 18:55] (current)
cschuster created
Line 1: Line 1:
 +=====Winter 2014=====
  
 +  * **Jan 28**
 +    * [[http://​www.vpri.org/​pdf/​rn2006001a_colaswp.pdf | Ian Piumarta. Accessible Language-Based Environments of Recursive Theories]] [[https://​docs.google.com/​a/​ucsc.edu/​presentation/​d/​1vjmk9P4OzJ2R5-wXJKAne6j8DsdqiNVPaiockQxQI44/​edit?​usp=sharing | (slides)]] (chris)
 +
 +  * **Feb 4**
 +    * sweet.js macros (tim)
 +
 +  * **Feb 11**
 +    * [[http://​www.cs.purdue.edu/​homes/​zlin/​file/​IntScope_NDSS09.pdf | Detecting Integer Overflows with Symbolic Execution]] (dustin)
 +
 +  * **Feb 18**
 +    * [[http://​home.pipeline.com/​~hbaker1/​CheneyMTA.html | Cheney on the M.T.A. (Chicken Scheme Compiler)]] (chris)
 +
 +  * **Feb 25**
 +    * JavaScript Proxy (dustin)
 +
 +  * **Mar 4**
 +    * Temporal Contracts (tim)
 +
 +  * **Mar 11**
 +    * <​del>​(thomas)</​del>​
 +
 +  * **Mar 18**
 +    * Proof-carrying code (thomas)
readinggroup/winter14.txt · Last modified: 2014/04/01 18:55 by cschuster