Amir Kafshdar Goharshady -

Registered user since Fri 10 Jul 2015

Name:Amir Kafshdar Goharshady

Country:Hong Kong

Affiliation:Hong Kong University of Science and Technology

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

Contributions

2025

FSEN

Author of Improved Gas Optimization of Smart Contracts within the Research Papers-track

2023

SPLASH

Author of Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts within the OOPSLA-track

VMCAI

Author of Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth within the VMCAI 2023-track

2022

PLDI

Author of Efficient Approximations for Cache-conscious Data Placement within the PLDI-track

2021

PLDI

2020

PLDI

Author of Polynomial Invariant Generation for Non-deterministic Recursive Programs within the PLDI Research Papers-track

2019

SPLASH

PLDI

Author of Cost Analysis of Nondeterministic Probabilistic Programs within the PLDI Research Papers-track

POPL

Author of Efficient Parameterized Algorithms for Data Packing within the Research Papers-track

2016

POPL

Author of Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components within the Research Papers-track