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|
Please read the general course policies.