Mailbox Abstractions for Static Analysis of Actor Programs

@inproceedings{Stivenart2017MailboxAF,
  title={Mailbox Abstractions for Static Analysis of Actor Programs},
  author={Quentin Sti{\'e}venart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover},
  booktitle={ECOOP},
  year={2017}
}
Properties such as the absence of errors or bounds on mailbox sizes are hard to deduce statically for actor-based programs. This is because actor-based programs exhibit several sources of unboundedness, in addition to the non-determinism that is inherent to the concurrent execution of actors. We developed a static technique based on abstract interpretation to soundly reason in a finite amount of time about the possible executions of an actor-based program. We use our technique to statically… CONTINUE READING