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.

Periode9 apr 2020

Mediabijdrages

1

Mediabijdrages