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.

 

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

Featherweight X10: a core calculus for async-finish parallelism.. FTfJP@ECOOP, стр. 1. ACM, (2012)NJR: a normalized Java resource., и . ISSTA/ECOOP Workshops, стр. 100-106. ACM, (2018)From Polyvariant Flow Information to Intersection and Union Types., и . POPL, стр. 197-208. ACM, (1998)Type-Safe Method Inlining., и . ECOOP, том 2374 из Lecture Notes in Computer Science, стр. 525-544. Springer, (2002)Event Driven Software Quality.. APLAS, том 4279 из Lecture Notes in Computer Science, стр. 165. Springer, (2006)Register Allocation After Classical SSA Elimination is NP-Complete., и . FoSSaCS, том 3921 из Lecture Notes in Computer Science, стр. 79-93. Springer, (2006)SARA: Combining Stack Allocation and Register Allocation., и . CC, том 3923 из Lecture Notes in Computer Science, стр. 232-246. Springer, (2006)Punctual Coalescing., и . CC, том 6011 из Lecture Notes in Computer Science, стр. 165-184. Springer, (2010)Race directed scheduling of concurrent programs., и . PPoPP, стр. 301-314. ACM, (2014)Typed self-evaluation via intensional type functions., и . POPL, стр. 415-428. ACM, (2017)