Vu Le

Latest

• Finding Compiler Bugs via Live Code Mutation
• Toward Understanding Compiler Bugs in GCC and LLVM
• Finding and Analyzing Compiler Warning Defects
• Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
• Randomized Stress-Testing of Link-Time Optimizers