Instructors : Ashutosh Gupta and S. Akshay
Timings : 14:00 Monday and Thursday
Venue : CC101
May change later.
Student | Date | Topic | |
---|---|---|---|
1 | Amit Goyal | 2019-01-17 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Lazy abstraction. POPL 2002 |
2 | Ananya Bahadur | 2019-01-17 | Kenneth L. McMillan: Lazy Abstraction with Interpolants. CAV 2006 |
3 | Shaan Vaidya | 2019-01-17 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski: Refinement of Trace Abstraction. SAS 2009 |
Student | Date | Topic | |
---|---|---|---|
4 | Ajeesh Kumar | 2019-01-24 | LLVM Instructions |
5 | Venkatesh | 2019-01-24 | Writing data/control dependency pass |
Student | Date | Protocol | |
---|---|---|---|
1 | Amit Goyal | 2019-01-31 | Szymanski |
2 | Vineet Singh | 2019-01-31 | Dijkstra |
3 | Hrishikesh Karmarkar | 2019-01-31 | Dekker |
4 | Ananya Bahadur | 2019-02-04 | Burns |
5 | Shaan Vaidya | 2019-02-04 | Lamport |
6 | N. Venkatesh | 2019-02-04 | Suzuki-Kasami |
7 | Ajeesh Kumar | never | Ricart-Agrawala |
Student | Date | Protocol | |
---|---|---|---|
1 | Ajeesh Kumar | never | Elimination stack |
2 | Amit Goyal | 2019-02-11 | Non-blocking Michael-Scott queue |
3 | Hrishikesh Karmarkar | 2019-02-11 | Treiber Stack |
4 | Vineet Singh | 2019-02-11 | Lazy set |
Student | Date | Protocol | |
---|---|---|---|
1 | N. Venkatesh | Symbolic Predictive Analysis for Concurrent Programs | |
2 | Ajeesh Kumar | Context-bounded analysis | |
3 | Ananya Bahadur | Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs, POPL 11 | |
4 | Shaan Vaidya | Constrained Dynamic Partial Order Reduction, CAV 2018 |
Last modified: ()