1. Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization;Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming;2024-03-11
2. Lesser Evil: Embracing Failure to Protect Overall System Availability;Distributed Applications and Interoperable Systems;2022
3. Static Detection of Race Conditions in Erlang;Practical Aspects of Declarative Languages;2010
4. Finding race conditions in Erlang with QuickCheck and PULSE;ACM SIGPLAN Notices;2009-08-31