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.

 

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

Generalized Algorithmic Debugging and Testing., , , и . PLDI, стр. 317-326. ACM, (1991)Using Model-Checking and Peer-Grading to Provide Automated Feedback to Concurrency Exercises in Progvis., , и . ACE, стр. 11-20. ACM, (2023)Generalized Algorithmic Debugging and Testing., , , и . LOPLAS, 1 (4): 303-322 (1992)Interprocedural Dynamic Slicing., , и . PLILP, том 631 из Lecture Notes in Computer Science, стр. 370-384. Springer, (1992)A Hybrid Approach to Propagation Analysis., и . AADEBUG, том 2 из Linköping Electronic Articles in Computer and Information Science, стр. 193-197. Linköping University Electronic Press, (1997)Usability Criteria for Automated Debugging Systems., , и . AADEBUG, том 749 из Lecture Notes in Computer Science, стр. 16-39. Springer, (1993)Usability criteria for automated debugging systems., , и . J. Syst. Softw., 31 (1): 55-70 (1995)Pilot Study of Progvis: A Visualization Tool for Object Graphs and Concurrency via Shared Memory., , и . ACE, стр. 123-132. ACM, (2022)A Weak Memory Model in Progvis: Verification and Improved Accuracy of Visualizations of Concurrent Programs to Aid Student Learning., , и . Koli Calling, стр. 14:1-14:12. ACM, (2022)Pilot Study of a Visualization Tool for Object Graphs and Concurrency via Shared Memory., , и . SIGCSE, стр. 1294. ACM, (2021)