1

Security Types for Synchronous Data Flow Systems.

In MEMOCODE 2020 (Best Paper Award)

Verifying and Testing Concurrent Programs using Constraint Solver based Approaches

In ICSME 2020

Dynamic Symbolic Verification of MPI Programs

In FM 2018

Zeus: Analyzing Safety of Smart Contracts.

In NDSS 2018

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.

From Traces to Proofs: Proving Concurrent Programs Safe

Efficient Verification of Concurrent Programs over TSO Memory Model

Unfolding-based Partial Order Reduction

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