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.

 

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

Keshmesh: a tool for detecting and fixing java concurrency bug patterns., , , и . OOPSLA Companion, стр. 39-40. ACM, (2011)Inferring Method Effect Summaries for Nested Heap Regions., , , , , и . ASE, стр. 421-432. IEEE Computer Society, (2009)Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool., , , и . ICSE (1), стр. 234-245. IEEE Computer Society, (2015)A Comparative Study of Manual and Automated Refactorings., , , , и . ECOOP, том 7920 из Lecture Notes in Computer Science, стр. 552-576. Springer, (2013)Use, disuse, and misuse of automated refactorings., , , , , и . ICSE, стр. 233-243. IEEE Computer Society, (2012)The need for richer refactoring usage data., , , , , и . PLATEAU, стр. 31-38. ACM, (2011)A type and effect system for deterministic parallel Java., , , , , , , , , и . OOPSLA, стр. 97-116. ACM, (2009)Alternate refactoring paths reveal usability problems., и . ICSE, стр. 1106-1116. ACM, (2014)Automated Decomposition of Build Targets., , , и . ICSE (1), стр. 123-133. IEEE Computer Society, (2015)Joint review of how to solve it: a new aspect of mathematical method by George Polya and Street-fighting mathematics by Sanjoy Mahajan.. SIGACT News, 44 (2): 10-12 (2013)