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.

 

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

Capriccio: scalable threads for internet services., , , , и . SOSP, стр. 268-281. ACM, (2003)CCured in the real world., , , , и . PLDI, стр. 232-244. ACM, (2003)Thirty Years Is Long Enough: Getting Beyond C., , , и . HotOS, USENIX Association, (2005)Why Events Are A Bad Idea (for High-concurrency Servers), , и . Proceedings of the 9th conference on Hot Topics in Operating Systems - Volume 9, стр. 4. Berkeley, CA, USA, USENIX Association, (2003)Data Slicing: Separating the Heap into Independent Regions., и . CC, том 3443 из Lecture Notes in Computer Science, стр. 172-187. Springer, (2005)Type-preserving compilation for large-scale optimizing object-oriented compilers., , , , , , и . PLDI, стр. 183-192. ACM, (2008)Unifying type checking and property checking for low-level code., , , и . POPL, стр. 302-314. ACM, (2009)The Chord Ad-hoc Routing Protocol, , , и . (2002)Better I/O through byte-addressable, persistent memory., , , , , , и . SOSP, стр. 133-146. ACM, (2009)Dependent Types for Low-Level Programming., , , , и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 520-535. Springer, (2007)