Verifying optimizations for concurrent programs

Keyphrases

• Compiler Correctness 50%
• Compiler Optimization 100%
• Compiler Transformation 50%
• Concurrency 50%
• Concurrent Programs 100%
• Control Flow Graph 50%
• Intermediate Language 50%
• Multithreaded Programs 50%
• Program Correctness 50%
• Program Transformation 50%
• Relaxed Memory Models 50%
• Side Conditions 50%
• Simulation Relation 50%
• Single Thread 50%
• Specification Language 50%
• Temporal Logic 50%
• While Programs 50%

Computer Science

• Compiler Optimization 100%
• Concurrency 50%
• Concurrent Program 100%
• Control-Flow Graph 50%
• Intermediate Language 50%
• Memory Model 50%
• Multithreaded Program 50%
• Program Transformation 50%
• Simulation Relation 50%
• Specification Language 50%
• Temporal Logic 50%