Describir: Optimistic Parallelism Requires Abstractions.