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

The Emergence of Networking Abstractions and Techniques in TinyOS., , , , , , , and . NSDI, page 1-14. USENIX, (2004)Firestore: The NoSQL Serverless Database for the Application Developer., , , , and . ICDE, page 3376-3388. IEEE, (2023)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)Geometry by discovery. John Wiley & Sons, New York, NY, (1998)Software design patterns for TinyOS., , and . LCTES, page 40-49. ACM, (2005)Safe manual memory management., , and . ISMM, page 2-14. ACM, (2007)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)Lightweight annotations for controlling sharing in concurrent data structures., , and . PLDI, page 98-109. ACM, (2009)TASK: sensor network in a box., , , , and . EWSN, page 133-144. IEEE, (2005)