0% found this document useful
Loading
Professional Documents
Culture Documents
Document
Garm: Cross Application Data Provenance and Policy Enforcement
Added by bob
Document
Efficient Specification-Assisted Error Localization
Added by bob
Document
Automatic Data Structure Repair For Self-Healing Systems: Brian Demsky Martin Rinard
Added by bob
Document
Static Specification Analysis For Termination of Specification-Based Data Structure Repair
Added by bob
Document
Foo 4
Added by bob
Document
CDSC: Checking Concurrent Data Structures Written With C/C++ Atomics
Added by bob
Document
Foo
Added by bob
Document
Foo 1
Added by bob
Document
Foo 2
Added by bob
Document
Foo 3
Added by bob