This graduate seminar provides doctoral students in computer science a chance to read and discuss current research papers. Enrollment requires permission of the instructors. Credit units are granted only to active participants.
The main goals of this seminar are learning about current research results in the area of programming languages, static program analysis, program verification, and related areas, as well as practice of scientific presentations and discussions.
| Jan 14
|| Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings, PLDI'13
||Maria, Mitko A.
|Jan 21 ||Verifying Eventual Consistency of Optimistic Replication Systems, POPL'14
|Jan 28||How tools in IDEs shape developers' navigation behavior, CHI'13
||Mitko A., Andrei
|Feb 4||Precise Reasoning for Programs Using Containers, POPL 2011
||Understanding IC3, SAT'12
||Mitko D., Uri
| Feb 21
||Inductive data flow graphs, POPL'13
| Feb 28
||Replicated data types: specification, verification, optimality, POPL'14
| Mar 14
||Compositional shape analysis by means of bi-abduction, POPL'09
||Ironclad C++: A Library-Augmented Type-Safe Subset of C++, OOPSLA'13
||Yannis, Mitko D.
||Automated error diagnosis using abductive inference, PLDI'12
|April 25||Show no weakness: sequentially consistent specifications of TSO libraries, DISC'12
| May 9||Discussion, Retreat
| May 16||Automating Separation Logic Using SMT
| May 30||MrCrypt: Static Analysis for Secure Cloud Computations, OOPSLA'13