Author of the publication

Dynamic data race prediction: fundamentals, theory, and practice (tutorial).

, and . ESEC/SIGSOFT FSE, page 1820. ACM, (2022)

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

Maximizing the Probability of Fixation in the Positional Voter Model., , and . AAAI, page 12269-12277. AAAI Press, (2023)Passively mobile communicating machines that use restricted space., , , , and . FOMC, page 6-15. ACM, (2011)Passively mobile communicating logarithmic space machines, , , , and . (2010)Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth., , , , and . CoRR, (2020)The Time Scale of Evolutionary Innovation., , , and . PLoS Comput. Biol., (2014)Invasion Dynamics in the Biased Voter Process., , , and . IJCAI, page 265-271. ijcai.org, (2022)The fine-grained and parallel complexity of andersen's pointer analysis., and . Proc. ACM Program. Lang., 5 (POPL): 1-29 (2021)Algorithms for algebraic path properties in concurrent systems of constant treewidth components., , , and . POPL, page 733-747. ACM, (2016)Fixation Maximization in the Positional Moran Process., , , , and . AAAI, page 9304-9312. AAAI Press, (2022)Dynamic data race prediction: fundamentals, theory, and practice (tutorial)., and . ESEC/SIGSOFT FSE, page 1820. ACM, (2022)