Registered user since Fri 10 Apr 2015

Name: Krishnendu Chatterjee

Affiliation: IST Austria

Personal website: http://pub.ist.ac.at/~kchatterjee/

Contributions

SPLASH 2019Author 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
VMCAI 2019Author of Termination of Nondeterministic Probabilistic Programs within the VMCAI 2019-track
PLDI 2019Author of Cost Analysis of Nondeterministic Probabilistic Programs within the PLDI Research Papers-track
POPL 2019Author of Efficient Parameterized Algorithms for Data Packing within the Research Papers-track
POPL 2018Author 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
POPL 2017ERC member in External Review Committee within the POPL-track
Author of Stochastic Invariants for Probabilistic Termination within the POPL-track
POPL 2016Author 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