Registered user since Fri 10 Apr 2015
Name:Krishnendu Chatterjee
Affiliation:IST Austria
Personal website: http://pub.ist.ac.at/~kchatterjee/
Contributions
2018
POPL
- Data-centric Dynamic Partial Order Reduction
- Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs
- Optimal Dyck Reachability for Data-dependence and Alias Analysis
- Optimal Dyck Reachability for Data-dependence and Alias Analysis
- Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs
POPL 2018-profile
View general profile
View general profile