Region and effect inference for safe parallelism

Keyphrases

• Safety Guarantee 100%
• Safe Parallelism 100%
• Recursion 50%
• Polymorphism 50%
• C + + 50%
• Inference Algorithms 50%
• Static Test 50%
• Java 50%
• Inference Problem 50%
• Expressiveness 50%
• Concurrency 50%
• Manual Annotation 50%
• Safety Check 50%
• Hierarchical Regions 50%
• Wildcard 50%
• Infinite Sets 50%
• Automatic Inference 50%
• Fork-join Programs 50%
• Complex Aliasing 50%
• Modular Safety Case 50%
• Java Annotations 50%
• Constraint Satisfaction Problem 50%

Computer Science

• Parallelism 100%
• Annotation 100%
• Aliasing 25%
• Concurrency 25%
• C Program 25%
• Wildcard 25%
• Constraint Satisfaction Problems 25%