Author of the publication

JATO: Native Code Atomicity for Java.

, , and . APLAS, volume 7705 of Lecture Notes in Computer Science, page 2-17. Springer, (2012)

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

GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC., , , and . USENIX Annual Technical Conference, page 387-401. USENIX Association, (2015)Green streams for data-intensive software., and . ICSE, page 532-541. IEEE Computer Society, (2013)Artifacts for "A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections"., , , and . ICSME, page 614-615. IEEE Computer Society, (2016)JATO: Native Code Atomicity for Java., , and . APLAS, volume 7705 of Lecture Notes in Computer Science, page 2-17. Springer, (2012)Heap Decomposition Inference with Linear Programming., and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 104-128. Springer, (2013)A formal framework for component deployment., and . OOPSLA, page 325-344. ACM, (2006)Understanding energy behaviors of thread management constructs., , and . OOPSLA, page 345-360. ACM, (2014)Selected papers of the Brazilian Symposium on Programming Languages (SBLP'15+16)., and . Sci. Comput. Program., (2019)Proactive and adaptive energy-aware programming with mixed typechecking., and . PLDI, page 217-232. ACM, (2017)Intensional Effect Polymorphism., , and . ECOOP, volume 37 of LIPIcs, page 346-370. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)