Daniel Kroening

Latest

• Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
• Unfolding-based Partial Order Reduction
• Accelerated Test Execution using GPUs
• Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs