PLASMA Seminar (COMPSCI 692P)

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.

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