Automatic Inference of Symbolic Permissions for Single-threaded Java Programs

Enabling parallel execution of sequential programs has become one of the grand challenges for the IT industry today. This is because of the hidden dependencies present between the code and the shared resources in these programs. With these considerations in mind, access permissions were introduced to explicitly write the hidden dependencies and parallelize the execution of different program parts. Unfortunately, all the existing permission-based approaches rely on human efforts to identify these dependencies and manually add the appropriate dependency information which is laborious and error-prone. This thesis resolves the aforementioned issues by introducing to the community a novel approach that automatically infers the permission-based dependencies for the general-purpose programming languages. Our evaluation using realistic programs gives strong evidence of the correctness of the inferred dependencies in an efficient manner and their effectiveness in automatically enabling parallel execution of different program parts.