Safe nondeterminism in a deterministic-by-default parallel language

Keyphrases

• Parallel Programming Languages 100%
• Effect Systems 100%
• Parallel Constructs 100%
• Nondeterminism 100%
• Barrier Removal 100%
• Strong Isolation 100%
• Performance Gain 50%
• Parallel Algorithm 50%
• Removal Methods 50%
• Deterministic Signal 50%
• Compiler 50%
• Parallel Programming Models 50%
• Type-and-effect Systems 50%
• Data Race 50%
• Compile Time 50%
• Good Scalability 50%
• System Expansion 50%
• Dynamic Semantics 50%
• Safety Guarantee 50%
• Branch-and-bound Search 50%
• Sequential Composition 50%
• Static Semantics 50%
• Input-output Behavior 50%
• Non-deterministic Algorithms 50%
• Nondeterministic Computation 50%

Computer Science

• Parallel Language 100%
• Nondeterminism 100%
• Parallel Construct 100%
• Atomic Statement 100%
• Input/Output 50%
• Performance Gain 50%
• Parallel Programming Model 50%
• Branch-and-Bound Algorithm Design 50%
• Soundness 50%
• Sequential Composition 50%
• Static Semantics 50%
• Nondeterministic Computation 50%
• Parallel Algorithm 50%