• Sign in
  • Sign up
conf.researchr.org / Amir Kafshdar Goharshady
  • PLDI 2019 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • POPL 2016 profile
  • POPL 2019 profile
  • POPL 2023 profile
  • SPLASH 2019 profile

Registered user since Fri 10 Jul 2015

Name:Amir Kafshdar Goharshady
Affiliation:IST Austria, Austria
Personal website:http://pub.ist.ac.at/~akafshda/

Contributions

VMCAI 2023 Author of Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth within the VMCAI 2023-track
PLDI 2022 Author of Efficient Approximations for Cache-conscious Data Placement within the PLDI-track
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

Share
xThu 23 Mar 06:15
using conf.researchr.org (v1.59.1)
Support page
Sign Up