PLASMA Seminar (COMPSCI 692P)

Course Description

PROGRAMMING LANGUAGES AND SYSTEMS AT MASSACHUSETTS (PLASMA)
INSTRUCTOR(S): EMERY BERGER, YURIY BRUN, ARJUN GUHA
This seminar covers research spanning programming languages, software engineering, security and systems. 1-3 credits.

Course Schedule

All paper reviews should be submitted using the class HotCRP site.

January 31

Fault tolerance
Smart Redundancy for Distributed Computation (ICDCS 2011, Brun et al.)
DieHard: Probabilistic Memory Safety for Unsafe Languages (PLDI 2006, Berger and Zorn)

February 7

Class cancelled (snow day)

February 14

JavaScript
Typing Local Control and State Using Flow Analysis (ESOP 2011, Guha et al.)
ADsafety: Type-based Verification of JavaScript Sandboxing (USENIX Security 2011, Politz et al.)

February 21

Crowdsourcing
AutoMan: A Platform for Integrating Digital and Human Computation (CACM RH 2016, Barowy et al.)
VoxPL: Programming with the Wisdom of the Crowd (CHI 2017, Barowy and Berger)

February 28

Fairness
Fairness Testing: Testing Software for Discrimination (FSE 2017, Galhotra et al.)

March 7

Class cancelled (snow day)

March 21

Performance
Stabilizer: Statistically Sound Performance Evaluation (ASPLOS 2013, Curtsinger & Berger)
Coz: Finding Code that Counts with Causal Profiling (SOSP 2015 Best Paper + CACM RH, Curtsinger & Berger)

March 28

Software-defined networking
NetKAT: Semantic Foundations for Networks (POPL 2014, Anderson, Foster, Guha, Jeannin, Kozen, Schlesinger, and Walker)
A Fast Compiler for NetKAT (ICFP 2015, Smolka, Eliopoulos, Foster, and Guha)

April 4

no class

April 11

Student presentations

April 18

Student presentations

April 25

Student presentations