Automated Compiler Generation of Log-Based Lock-Free Locks
1.
Proposal
2.
Milestone
3.
Final Report
4.
Poster