Author of the publication

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

Static serializability analysis for causal consistency., , , and . PLDI, page 90-104. ACM, (2018)Robustness certification with generative models., , , , and . PLDI, page 1141-1154. ACM, (2021)Scalable and precise dynamic datarace detection for structured parallelism., , , , and . PLDI, page 531-542. ACM, (2012)CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors., , , and . PLDI, page 456-467. ACM, (2007)Automated Discovery of Adaptive Attacks on Adversarial Defenses., , , and . NeurIPS, page 26858-26870. (2021)LAMP: Extracting Text from Gradients with Language Model Priors., , , and . NeurIPS, (2022)Idempotent work stealing., , and . PPoPP, page 45-54. ACM, (2009)Boosting Randomized Smoothing with Variance Reduced Classifiers., , , and . ICLR, OpenReview.net, (2022)PODS: Policy Optimization via Differentiable Simulation., , , , and . ICML, volume 139 of Proceedings of Machine Learning Research, page 7805-7817. PMLR, (2021)On Distribution Shift in Learning-based Bug Detectors., , and . ICML, volume 162 of Proceedings of Machine Learning Research, page 8559-8580. PMLR, (2022)