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

Geometry by discovery. John Wiley & Sons, New York, NY, (1998)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)Firestore: The NoSQL Serverless Database for the Application Developer., , , , and . ICDE, page 3376-3388. IEEE, (2023)The Emergence of Networking Abstractions and Techniques in TinyOS., , , , , , , and . NSDI, page 1-14. USENIX, (2004)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)Safe manual memory management., , and . ISMM, page 2-14. ACM, (2007)Lightweight annotations for controlling sharing in concurrent data structures., , and . PLDI, page 98-109. ACM, (2009)Memory Management with Explicit Regions., and . PLDI, page 313-323. ACM, (1998)