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

Reasoning about Lock Placements., , , , and . ESOP, volume 7211 of Lecture Notes in Computer Science, page 336-356. Springer, (2012)Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks., , , and . ICML, volume 80 of Proceedings of Machine Learning Research, page 2279-2288. PMLR, (2018)Data Structure Fusion., , , , and . APLAS, volume 6461 of Lecture Notes in Computer Science, page 204-221. Springer, (2010)Eventually Sound Points-To Analysis with Specifications., , , , and . ECOOP, volume 134 of LIPIcs, page 11:1-11:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Statistical debugging: simultaneous identification of multiple bugs., , , , and . ICML, volume 148 of ACM International Conference Proceeding Series, page 1105-1112. ACM, (2006)Pygion: Flexible, Scalable Task-Based Parallelism with Python., and . PAW-ATM@SC, page 58-72. IEEE, (2019)A query language for understanding component interactions in production systems., and . ICS, page 201-210. ACM, (2010)How is aliasing used in systems software?, and . SIGSOFT FSE, page 69-80. ACM, (2006)Regularly annotated set constraints., and . PLDI, page 331-341. ACM, (2007)Composing concurrency control., , , , and . PLDI, page 240-249. ACM, (2015)