Author of the publication

Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis.

, , , and . ESOP, volume 12075 of Lecture Notes in Computer Science, page 112-140. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Fast, Sound and Effectively Complete Dynamic Race Detection.. CoRR, (2019)Passively mobile communicating logarithmic space machines, , , , and . (2010)The Time Scale of Evolutionary Innovation., , , and . PLoS Comput. Biol., (2014)How Hard Is Weak-Memory Testing?, , , and . Proc. ACM Program. Lang., 8 (POPL): 1978-2009 (January 2024)Value-centric dynamic partial order reduction., , and . Proc. ACM Program. Lang., 3 (OOPSLA): 124:1-124:29 (2019)Passively mobile communicating machines that use restricted space., , , , and . Theor. Comput. Sci., 412 (46): 6469-6483 (2011)Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (11): 3981-3992 (2020)Social Balance on Networks: Local Minima and Best Edge Dynamics., , , , and . CoRR, (2022)Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth., , , , and . CoRR, (2020)Maximizing the Probability of Fixation in the Positional Voter Model., , and . AAAI, page 12269-12277. AAAI Press, (2023)