Amir Goharshady
Amir Goharshady
Home
Publications
CV
Personal
Light
Dark
Automatic
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis
Krishnendu Chatterjee
,
Amir Kafshdar Goharshady
,
Rasmus Ibsen-Jensen
,
Andreas Pavlogiannis
April 2020
PDF
Published version
Type
Conference paper
Publication
European Symposium on Programming (ESOP)
Related
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth
Cite
×