Computer Science 691NN
Hot topics in
Programming Languages, Software Engineering, and Systems
This graduate seminar course will cover recent developments in programming languages, software engineering, and systems, examining the latest research papers from top conferences in the three areas. Topics of interest include bug detection and correction, domain-specific languages, and emerging topics, including probabilistic and approximate computing.
- 3 credits with project (Section 01).
- 1 credit without project (Section 02).
Office: CS 230
Office hours: TBD
Office: CS 358
Office hours: Thursday 12:30am -- 1:30pm, and by appointment.
Paper reviewsAll paper reviews must be submitted through Moodle.
GradingGrades will be based on in-class participation, presentations, reviews, and projects (for 3 credits only).
|09/07/2017||Introduction and paper selection||Arjun Guha, René Just|
|09/14/2017||Can testedness be effectively measured?||Trung Ba|
|09/21/2017||HACL*: A Verified Modern Cryptographic Library||Bobby Powers|
|09/28/2017||Automatically learning semantic features for defect prediction||Osman Din|
|10/05/2017||Bringing the Web up to Speed with WebAssembly||Amit Rawat|
|10/12/2017||Gradual Refinement Types||Ben Kushigian|
|10/19/2017||Automatically Scheduling Halide Image Processing Pipelines||Abhinav Jangda|
|10/26/2017||Glacier: Transitive Class Immutability for Java||Ian McGeoch|
|11/02/2017||Decoding the representation of code in the brain: an fMRI study of code review and expertise||Adam Kohan|
|11/09/2017||The Care and Feeding of Wild-Caught Mutants||Trung Ba, Adam Kohan|
|11/16/2017||Purposes, concepts, misfits, and a redesign of Git||Ian McGeoch, Osman Din|
|11/23/2017||No class: Thanksgiving recess|
|11/30/2017||Dijkstra Monads for free||Ben Kushigian, Bobby Powers|
|12/07/2017||SoK: Automated Software Diversity||Amit Rawat, Abhinav Jangda|
Please read the general course policies.