Author of the publication

Multi-language Synchronization.

, and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 475-489. Springer, (2007)

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

A macroscope in the redwoods., , , , , , , , , and 1 other author(s). SenSys, page 51-63. ACM, (2005)The Emergence of Networking Abstractions and Techniques in TinyOS., , , , , , , and . NSDI, page 1-14. USENIX, (2004)Barrier Inference., and . POPL, page 342-354. ACM, (1998)Dependent Types for Low-Level Programming., , , , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 520-535. Springer, (2007)Software design patterns for TinyOS., , and . LCTES, page 40-49. ACM, (2005)Integrating concurrency control and energy management in device drivers., , , , , , and . SOSP, page 251-264. ACM, (2007)Yada: Straightforward parallel programming., , , and . Parallel Computing, 37 (9): 592-609 (2011)TASK: sensor network in a box., , , , and . EWSN, page 133-144. IEEE, (2005)Fast Escape Analysis and Stack Allocation for Object-Based Programs., and . CC, volume 1781 of Lecture Notes in Computer Science, page 82-93. Springer, (2000)Memory Management with Explicit Regions., and . PLDI, page 313-323. ACM, (1998)