Author of the publication

Design and Verification of Distributed Phasers.

, , , , and . Euro-Par, volume 9833 of Lecture Notes in Computer Science, page 405-418. Springer, (2016)

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

Approximate Counting of Minimal Unsatisfiable Subsets., and . CAV (1), volume 12224 of Lecture Notes in Computer Science, page 439-462. Springer, (2020)Scalable Quantitative Verification For Deep Neural Networks., , , and . ICSE, page 312-323. IEEE, (2021)Scalable Probabilistic Routes., , and . ENIGMA@KR, volume 3495 of CEUR Workshop Proceedings, page 64-74. CEUR-WS.org, (2023)"How Biased are Your Features?": Computing Fairness Influence Functions with Global Sensitivity Analysis., , and . FAccT, page 138-148. ACM, (2023)Testing of Horn Samplers., , , , , and . AISTATS, volume 206 of Proceedings of Machine Learning Research, page 1301-1330. PMLR, (2023)Designing New Phase Selection Heuristics., and . SAT, volume 12178 of Lecture Notes in Computer Science, page 72-88. Springer, (2020)Formally Certified Approximate Model Counting., , , , and . CAV (1), volume 14681 of Lecture Notes in Computer Science, page 153-177. Springer, (2024)Engineering an Efficient Approximate DNF-Counter., , , , , and . CoRR, (2024)Engineering an Efficient PB-XOR Solver., and . CP, volume 210 of LIPIcs, page 58:1-58:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Estimating the Size of Union of Sets in Streaming Models., , and . PODS, page 126-137. ACM, (2021)