Scala-Par-AM benchmarks results

Benchmarks results of several sequential and parallel implementations of abstract interpretation (on analyze of Scheme programs)

[Scala-Par-AM QR Code]
  • Implementation (in Scala with Akka): Scala-Par-AM (HTML online documentation from the source code)
  • Final document of the master thesis:
    Parallélisation d’un interpréteur abstrait, au travers du modèle acteur — Application à l’interpréteur abstrait Scala-AM PDF (3.3 Mio) (19 August 2019)

Results in fancy HTML tables