Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks | 0 | 0.34 | 2021 |
Thread-Modular Analysis of Release-Acquire Concurrency | 0 | 0.34 | 2021 |
Dynamic Verification of C11 Concurrency over Multi Copy Atomics | 0 | 0.34 | 2021 |
Security Types for Synchronous Data Flow Systems | 0 | 0.34 | 2020 |
Verifying And Testing Concurrent Programs Using Constraint Solver Based Approaches | 0 | 0.34 | 2020 |
Dynamic Verification with Observational Equivalence of C/C++ Concurrency. | 0 | 0.34 | 2019 |
Suppressing Chain Size Of Blockchain-Based Information Sharing For Swarm Robotic Systems | 1 | 0.36 | 2018 |
Dynamic Symbolic Verification of MPI Programs. | 3 | 0.37 | 2018 |
ZEUS: Analyzing Safety of Smart Contracts. | 26 | 1.19 | 2018 |
POLLUX: safely upgrading dependent application libraries. | 1 | 0.35 | 2016 |
Efficient Verification of Concurrent Programs Over TSO Memory Model. | 0 | 0.34 | 2016 |
Unfolding-based Partial Order Reduction. | 10 | 0.54 | 2015 |
Accelerated test execution using GPUs | 6 | 0.51 | 2014 |