Some paper links may point into the ACM Digital Library or the
Springer online collection. Using a UW IP address, or the UW libraries'
off-campus access, should provide access.
| Date |
Paper(s) |
Presenter(s) |
| Sep 26 |
Organization |
Mike E |
| Oct 3 |
Kitsune: Efficient, General-purpose Dynamic Software Updating for C, OOPSLA 2012 |
Stuart, Kivanc |
| Oct 10 |
AutoMan: A Platform for Integrating Human-Based and Digital Computation, OOPSLA 2012
Optional: TurKit: human
computation algorithms on Mechanical Turk, UIST 2010 |
Brandon L, Tom |
| Oct 17 |
RockSalt: Better, Stronger, Faster SFI for the x86. Morrisett et al. PLDI'12. |
Sai, Jonathan |
| Oct 24 |
No meeting: Affiliates and OOPSLA |
|
| Oct 31 |
From Clarity to Efficiency for Distributed Algorithms, OOPSLA 2012 |
Eric R, Brandon M |
| Nov 7 |
F#3.0 - Strongly-Typed Language Support for Internet-Scale Information Sources |
Alex, Todd |
| Nov 14 |
Establishing Browser Security Guarantees Through Formal Shim Verification. Dongseok, Tatlock and Lerner. USENIX Security '12 |
Daniel, Charlie?? |
| Nov 21 |
Lightweight
Modular Staging: A pragmatic approach to runtime code generation and
compiled DSLs
Chisel:
Constructing hardware in a Scala embedded language
|
Thierry, Mike R. |
| Nov 28 |
SEJITS:
Getting Productivity and Performance With Selective Embedded JIT
Specialization
(short
version, PPoPP)
A Heterogeneous
Parallel Framework for Domain-Specific Languages, PACT 2011. |
Brandon H, Adrian |
| Dec 5 |
Cayenne — a
language with dependent types, ICFP 1998 |
Eric M, Colin |
