Derek R. Dreyer

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Finding real bugs in big programs with incorrectness logic

Quang Loc Le and others (2022) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery

A promising semantics for relaxed-memory concurrency

Jeehoon Kang and others (2017)

Repairing sequential consistency in C/C++11

Ori Lahav and others (2017) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning

Ralf Jung and others (2015) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)