Author:
Fredlund Lars-Åke,Svensson Hans
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Controlled Scheduling of Concurrent Elixir Programs;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28
2. Effective Concurrency Testing for Distributed Systems;Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems;2020-03-09
3. Verifying safety and accuracy of approximate parallel programs via canonical sequentialization;Proceedings of the ACM on Programming Languages;2019-10-10
4. Automatic detection of core Erlang message passing errors;Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang;2018-09-29
5. Actoverse: a reversible debugger for actors;Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control;2017-10-23