Author of the publication

Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs

, , , , and . 33rd European Conference on Object-Oriented Programming, volume 134 of ECOOP'19, page 27:1--27:30. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (Jul 15, 2019)
DOI: 10.4230/LIPIcs.ECOOP.2019.27

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Debugging Cyber-Physical Systems with Pharo: An Experience Report., , , , , , and . IWST, page 8:1-8:10. ACM, (2017)Program Testing Using High-Level Property-Driven Models., , , , and . SEKE, page 489-494. (2006)Distributed debugging for mobile networks., , and . J. Syst. Softw., (2014)A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks., , , , and . TOOLS (47), volume 33 of Lecture Notes in Business Information Processing, page 231-251. Springer, (2009)Mirror-based Reflection in AmbientTalk, , , , , and . Softw. Pract. Exper., 39 (7): 661--699 (May 2009)Two decades of smalltalk VM development: live VM development through simulation tools., , , and . VMIL@SPLASH, page 57-66. ACM, (2018)Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay, , , , and . The Art, Science, and Engineering of Programming, 5 (3): 39 (Feb 28, 2021)Volatile Sets: Event-driven Collections for Mobile Ad-Hoc Applications., , , , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2011)VeriFx: Correct Replicated Data Types for the Masses., , and . CoRR, (2022)Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems., , and . Software Engineering (Workshops), volume 1559 of CEUR Workshop Proceedings, page 91-95. CEUR-WS.org, (2016)