Author of the publication

Practical Permissions for Race-Free Parallelism.

, , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 614-639. 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

Slothrop: Knuth-Bendix Completion with a Modern Termination Checker., , and . RTA, volume 4098 of Lecture Notes in Computer Science, page 287-296. Springer, (2006)A language-based approach to functionally correct imperative programming., , and . ICFP, page 268-279. ACM, (2005)Using computational grid capabilities to enhance the capability of an X-ray source for structural biology., , , , and . Cluster Computing, 3 (3): 187-199 (2000)Practical Permissions for Race-Free Parallelism., , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 614-639. Springer, (2012)Permission Regions for Race-Free Parallelism., , , and . RV, volume 7186 of Lecture Notes in Computer Science, page 94-109. Springer, (2011)Hobbits for Haskell: a library for higher-order encodings in functional programming languages., , and . Haskell, page 35-46. ACM, (2011)A Semantics for Approximate Program Transformations, and . CoRR, (2013)The calculus of nominal inductive constructions: an intensional approach to encoding name-bindings., , and . LFMTP, page 74-83. ACM, (2009)Mathematical equations as executable models of mechanical systems., , , , , , , , , and 2 other author(s). ICCPS, page 1-11. ACM, (2010)Mint: Java multi-stage programming using weak separability., , , , , and . PLDI, page 400-411. ACM, (2010)