conf.researchr.org / Krishnendu Chatterjee
Registered user since Fri 10 Apr 2015
Name:Krishnendu Chatterjee
Country:Austria
Affiliation:IST Austria
Personal website: http://pub.ist.ac.at/~kchatterjee/
Contributions
2024
2021
SPLASH
2020
2019
SPLASH
- Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA-track
- Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA Artifacts-track
- Author of Value-Centric Dynamic Partial Order Reduction within the OOPSLA-track
2018
POPL
- Author of Data-centric Dynamic Partial Order Reduction within the Research Papers-track
- Author of Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs within the Research Papers-track
- Author of Optimal Dyck Reachability for Data-dependence and Alias Analysis within the Artifact Evaluation-track
- Author of Optimal Dyck Reachability for Data-dependence and Alias Analysis within the Research Papers-track
- Author of Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs within the Artifact Evaluation-track
2017
2016
POPL
- Author of Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs within the Research Papers-track
- Author of Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components within the Research Papers-track
- ERC member in External Reviewing Committee
- ERC member in External Reviewing Committee within the Research Papers-track