Christakis, M. and Sagonas, K. (2011) Static Detection of Deadlocks in Erlang. Draft Proceedings of the Twelfth International Symposium on Trends in Functional Programming (TFP’11), Department of Computer Systems and Computing, Universidad Complutense de Madrid, 62-76.

has been cited by the following article:

• TITLE: The Implementation of a Communication Deadlock Analysis Based on the Theory of Deadlock Analysis for the Actor Model

  AUTHORS: Yupeng Xi, Jianrui Zhang, Furi Xiang

  KEYWORDS: Actor Model, Communication Deadlock, Program Analysis, Akka, Soot, Dependency Graph

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.12 No.10, October 22, 2019

  ABSTRACT: We present a unique approach for communication deadlock analysis for actor-model which has an under-approximated analysis result. Our analysis detects narrowly defined communication deadlocks by finding a cyclic dependency relation in a novel dependency graph called the slave dependency graph. The slave dependency graph is based on a new relationship between Actors, slave dependency, defined by us. After that, we implement this theory in Soot, an analysis tool for Java, and use it to analyze actor-based Java program realized by Akka, a Java library that allows actor-based programming. We argue that our analysis can detect a specific kind of communication deadlock with the precise result, but has many limitations.