( en | de | ru )

 

Disambiguation of "Dreyer, Derek"

Author of the publication

copydeleteadd this publication to your clipboard
A promising semantics for relaxed-memory concurrency.

, , , , and . POPL, page 175-189. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Derek Dreyer

Heinz Derek

Stefan Derek

Dalınç Dereköy

Derek Eisert

 

Other publications of authors with the same name

Recursive type generativity.. J. Funct. Program., 17 (4-5): 433-471 (2007)SIGPLAN most influential paper awards.. ACM SIGPLAN Notices, 48 (4S): 7-8 (2013)Stuttering for Free., , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1677-1704 (October 2023)SIGPLAN awards.. ACM SIGPLAN Notices, 49 (4S): 5-7 (2014)Proving Hypersafety Compositionally., , and . CoRR, (2022)RefinedC: automating the foundational verification of C code with refined ownership types., , , , , and . PLDI, page 158-174. ACM, (2021)Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency., , and . ICFP, page 377-390. ACM, (2013)Melocoton: A Program Logic for Verified Interoperability Between OCaml and C., , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 716-744 (October 2023)A type system for well-founded recursion.. POPL, page 293-305. ACM, (2004)A type system for higher-order modules., , and . POPL, page 236-249. ACM, (2003)ACM SIGPLAN Notices 38(1), January 2003.