Registered user since Fri 10 Apr 2015

Name: Krishnendu Chatterjee

Affiliation: IST Austria, Austria

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

Contributions

PLDI 2021 Author of Proving Non-termination by Program Reversal within the PLDI-track
Author of Polynomial Reachability Witnesses via Stellens├Ątze within the PLDI-track
Author of Quantitative Analysis of Assertion Violations in Probabilistic Programs within the PLDI-track
PLDI 2020 Author of Polynomial Invariant Generation for Non-deterministic Recursive Programs within the PLDI Research Papers-track
POPL 2020 Author of Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time within the Research Papers-track
SPLASH 2019 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
VMCAI 2019 Author of Termination of Nondeterministic Probabilistic Programs within the VMCAI 2019-track
PLDI 2019 Author of Cost Analysis of Nondeterministic Probabilistic Programs within the PLDI Research Papers-track
POPL 2019 Author of Efficient Parameterized Algorithms for Data Packing within the Research Papers-track
POPL 2018 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
POPL 2017 ERC member in External Review Committee within the POPL-track
Author of Stochastic Invariants for Probabilistic Termination within the POPL-track
POPL 2016 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