CSE590P: Programming Systems Seminar

Autumn 2012

Wednesdays 3:30–4:20 in Room CSE303

Participants should subscribe to the 590p mailing list. Note the list also has many current and former department members interested in programming languages.

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

Previous quarters of 590P

Valid CSS! Valid XHTML 1.1