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.

 

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

Technical Perspective: Shedding new light on an old language debate.. Commun. ACM, 60 (10): 90 (2017)User Interactions and Permission Use on Android., , , , , и . CHI, стр. 362-373. ACM, (2017)Program Sketching by Automatically Generating Mocks from Tests., , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 808-831. Springer, (2021)Kitsune: efficient, general-purpose dynamic software updating for C., , , , и . OOPSLA, стр. 249-264. ACM, (2012)Directing JavaScript with arrows., , , и . DLS, стр. 49-58. ACM, (2009)A Toolkit for Automated Testing of Dafny., , , , , , , , , и . NFM, том 13903 из Lecture Notes in Computer Science, стр. 397-413. Springer, (2023)Expositor: scriptable time-travel debugging with first-class traces., , и . ICSE, стр. 352-361. IEEE Computer Society, (2013)Type-level computations for Ruby libraries., , , , и . PLDI, стр. 966-979. ACM, (2019)The ruby type checker., , , и . SAC, стр. 1565-1572. ACM, (2013)Path projection for user-centered static analysis tools., , , и . PASTE, стр. 57-63. ACM, (2008)