Skip directly to: content | search

ExCAPE: Expeditions in Computer Augmented Program Engineering

Domain: Concurrent Programming

Challenge: Synthesis of lock-free concurrent data structures.