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