Author of the publication

Synthesizing fine-grained synchronization protocols for implicit monitors.

, , , , and . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-26 (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

Disciplined Inconsistency with Consistency Types., , , , , and . SoCC, page 279-293. ACM, (2016)Optimizing the Automated Programming Stack.. University of Washington, USA, (2019)The model is not enough: Understanding energy consumption in mobile devices., , and . Hot Chips Symposium, page 1-3. IEEE, (2012)A DNA-Based Archival Storage System., , , , , and . ASPLOS, page 637-649. ACM, (2016)Automatic generation of high-performance quantized machine learning kernels., , , , and . CGO, page 305-316. ACM, (2020)Hardware-Software Co-Design: Not Just a Cliché., , and . SNAPL, volume 32 of LIPIcs, page 262-273. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Uncertain<T>: A First-order Type for Uncertain Data, , and . SIGARCH Comput. Archit. News, 42 (1): 51--66 (February 2014)Scaling symbolic evaluation for automated verification of systems code with Serval., , , , , and . SOSP, page 225-242. ACM, (2019)A Taxonomy of General Purpose Approximate Computing Techniques., , , , , , , and . IEEE Embed. Syst. Lett., 10 (1): 2-5 (2018)Push-Button Verification of File Systems via Crash Refinement., , , and . USENIX Annual Technical Conference, USENIX Association, (2017)