( en | de | ru )

 

Disambiguation of "Dreyer, Derek"

Author of the publication

copydeleteadd this publication to your clipboard
Lightweight verification of separate compilation.

, , , , and . POPL, page 178-190. ACM, (2016)

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 Harting

 

Other publications of authors with the same name

Melocoton: A Program Logic for Verified Interoperability Between OCaml and C., , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 716-744 (October 2023)Recursive type generativity.. ICFP, page 41-53. ACM, (2005)A type system for recursive modules.. ICFP, page 289-302. ACM, (2007)RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code., , , and . PLDI, page 841-856. ACM, (2022)Typed compilation of recursive datatypes., , , , , and . TLDI, page 98-108. ACM, (2003)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.Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning., , , , , , and . POPL, page 637-650. ACM, (2015)Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic., , , , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 225-252. Springer, (2020)RefinedRust: A Type System for High-Assurance Verification of Rust Programs., , , , and . Proc. ACM Program. Lang., 8 (PLDI): 1115-1139 (2024)