readinggroup:winter14 [UC Santa Cruz]

readinggroup:winter14

Winter 2014

Jan 28
- Ian Piumarta. Accessible Language-Based Environments of Recursive Theories (slides) (chris)

Feb 4
- sweet.js macros (tim)

Feb 11
- Detecting Integer Overflows with Symbolic Execution (dustin)

Feb 18
- Cheney on the M.T.A. (Chicken Scheme Compiler) (chris)

Feb 25
- JavaScript Proxy (dustin)

Mar 4
- Temporal Contracts (tim)

Mar 11
- ~~(thomas)~~

Mar 18
- Proof-carrying code (thomas)

readinggroup/winter14.txt · Last modified: 2014/04/02 01:55 by cschuster