Amir Kafshdar Goharshady -

Registered user since Fri 10 Jul 2015

Name: Amir Kafshdar Goharshady

Affiliation: IST Austria, Austria

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

Contributions

PLDI 2021	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
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
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 2016	Author of Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components within the Research Papers-track