Batching Non-Conflicting Mutations for Efficient, Safe, Parallel Mutation Analysis in Rust.

Zaln Lvai, Phil McMinn

Browse the full ICST paper archive.