Available papers:

• Abel Garcia. Static analysis of concurrent programs based on behavioral type systems. PhD thesis, School in Computer Science and Engineering, 2017
• Abel Garcia and Cosimo Laneve. JaDA – the Java Deadlock Analyser. To appear as a chapter of the book “Behavioural Types for Reliable Large-Scale Software Systems”, 2017.
• Abel Garcia and Cosimo Laneve. Deadlock detection of Java Bytecode. Submitted, 2017