From post

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.

 

Другие публикации лиц с тем же именем

Barrier Inference., и . POPL, стр. 342-354. ACM, (1998)Dependent Types for Low-Level Programming., , , , и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 520-535. Springer, (2007)Geometry by discovery. John Wiley & Sons, New York, NY, (1998)Firestore: The NoSQL Serverless Database for the Application Developer., , , , и . ICDE, стр. 3376-3388. IEEE, (2023)Software design patterns for TinyOS., , и . LCTES, стр. 40-49. ACM, (2005)The Emergence of Networking Abstractions and Techniques in TinyOS., , , , , , , и . NSDI, стр. 1-14. USENIX, (2004)Safe manual memory management., , и . ISMM, стр. 2-14. ACM, (2007)Fast Escape Analysis and Stack Allocation for Object-Based Programs., и . CC, том 1781 из Lecture Notes in Computer Science, стр. 82-93. Springer, (2000)Lightweight annotations for controlling sharing in concurrent data structures., , и . PLDI, стр. 98-109. ACM, (2009)TASK: sensor network in a box., , , , и . EWSN, стр. 133-144. IEEE, (2005)