20 citations · 62 across the 23 of their papers we have counts for
Showing cs.DSShow all
2 papers · 1 filter
cs.DS2020★ 15 cited
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen +1
Interprocedural data-flow analyses form an expressive and useful paradigm of numerous static analysis applications, such as live variables analysis, alias analysis and null pointer…
cs.DS2015
Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
We consider the core algorithmic problems related to verification of systems with respect to three classical quantitative properties, namely, the mean-payoff property, the ratio pr…