Verifying and Testing Concurrent Programs using Constraint Solver based Approaches

In ICSME 2020

POLLUX: Safely Upgrading Dependent Application Libraries

Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software. Click the Slides button above to demo Academic’s Markdown slides feature.

Accelerated Test Execution using GPUs

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs