Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)

Research output: Non-textual formArtefact


This artifact is based on Scala-AM, a static analysis framework relying on the Abstracting Abstract Machines approach. This version of the framework is extended to support actor-based programs, written in a variant of Scheme. The sound static analysis is performed in order to verify the absence of errors in actor-based program, and to compute upper bounds on actor's mailboxes. We developed several mailbox abstractions with which the static analysis can be run, and evaluate the precision of the technique with these mailbox abstractions. This artifact contains documentation on how to use analysis and on how to reproduce the results presented in the companion paper.
Original languageEnglish
Publication statusPublished - 2017
Event31st European Conference on Object-Oriented Programming (ECOOP 2017) -
Duration: 21 Jun 201723 Jun 2017


  • static analysis
  • abstraction
  • abstract interpretation
  • actors
  • mailbox


Dive into the research topics of 'Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)'. Together they form a unique fingerprint.

Cite this