Description

This article describes my Master's thesis "Incremental Thread-Modular Static Analysis for Concurrent Programs with Futures and Atoms", which has been awarded with a BrEA prize, and explains its core contributions.

Period9 Apr 2020

Media contributions

1

Media contributions