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

SPLASH 2021	Author of The Reads-From Equivalence for the TSO and PSO Memory Models within the OOPSLA-track
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