Articles amb requisits d'accés públic - Derek DreyerMés informació
Disponibles en algun lloc: 39
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
R Jung, R Krebbers, JH Jourdan, A Bizjak, L Birkedal, D Dreyer
Journal of Functional Programming 28, e20, 2018
Requisits: Danish Council for Independent Research, European Commission
RustBelt: Securing the foundations of the Rust programming language
R Jung, JH Jourdan, R Krebbers, D Dreyer
Proc. ACM Program. Lang. 2, POPL, Article, 2018
Requisits: European Commission
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning
R Jung, D Swasey, F Sieczkowski, K Svendsen, A Turon, L Birkedal, ...
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
Requisits: Danish Council for Independent Research
Repairing sequential consistency in C/C++ 11
O Lahav, V Vafeiadis, J Kang, CK Hur, D Dreyer
PLDI 2017, 2017
Requisits: European Commission
A Promising Semantics for Relaxed-Memory Concurrency
J Kang, CK Hur, O Lahav, V Vafeiadis, D Dreyer
ACM Symp. on Principles of Programming Languages (POPL) 2017, 2017
Requisits: European Commission
The Essence of Higher-Order Concurrent Separation Logic
R Krebbers, R Jung, A Bizjak, JH Jourdan, D Dreyer, L Birkedal
ESOP, 2017
Requisits: Danish Council for Independent Research, European Commission
Higher-order ghost state
R Jung, R Krebbers, L Birkedal, D Dreyer
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
Requisits: Danish Council for Independent Research, European Commission
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
JO Kaiser, HH Dang, D Dreyer, O Lahav, V Vafeiadis
Requisits: European Commission
MoSeL: A general, extensible modal framework for interactive proofs in separation logic
R Krebbers, JH Jourdan, R Jung, J Tassarotti, JO Kaiser, A Timany, ...
Proceedings of the ACM on Programming Languages 2 (ICFP), 77, 2018
Requisits: European Commission
RefinedC: automating the foundational verification of C code with refined ownership types
M Sammler, R Lepigre, R Krebbers, K Memarian, D Dreyer, D Garg
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
Requisits: Netherlands Organisation for Scientific Research, UK Engineering and …
Stacked borrows: an aliasing model for Rust
R Jung, HH Dang, J Kang, D Dreyer
Proceedings of the ACM on Programming Languages 4 (POPL), 41, 2020
Requisits: European Commission
Mtac: A monad for typed tactic programming in coq
B ZILIANI, D DREYER, NR KRISHNASWAMI, A NANEVSKI, V VAFEIADIS
Journal of Functional Programming 25, e12, 2015
Requisits: Government of Spain
How to make ad hoc proof automation less ad hoc
G Gonthier, B Ziliani, A Nanevski, D Dreyer
Journal of Functional Programming 23 (4), 357-401, 2013
Requisits: Government of Spain
RustBelt meets relaxed memory
HH Dang, JH Jourdan, JO Kaiser, D Dreyer
Proceedings of the ACM on Programming Languages 4 (POPL), 34, 2020
Requisits: European Commission
Local reasoning about the presence of bugs: Incorrectness separation logic
A Raad, J Berdine, HH Dang, D Dreyer, P O’Hearn, J Villard
International Conference on Computer Aided Verification, 225-252, 2020
Requisits: European Commission
The Future is Ours: Prophecy Variables in Separation Logic
R Jung, R Lepigre, G Parthasarathy, M Rapoport, A Timany, D Dreyer, ...
Proceedings of the ACM on Programming Languages 4 (POPL), 45, 2020
Requisits: Research Foundation (Flanders), European Commission
Safe systems programming in Rust
R Jung, JH Jourdan, R Krebbers, D Dreyer
Communications of the ACM 64 (4), 144-152, 2021
Requisits: Netherlands Organisation for Scientific Research, European Commission
Robust and compositional verification of object capability patterns.
D Swasey, D Garg, D Dreyer
PACMPL 1 (OOPSLA), 89:1-89:26, 2017
Requisits: European Commission
Finding real bugs in big programs with incorrectness logic
QL Le, A Raad, J Villard, J Berdine, D Dreyer, PW O'Hearn
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-27, 2022
Requisits: UK Engineering and Physical Sciences Research Council, European Commission …
RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code
Y Matsushita, X Denis, JH Jourdan, D Dreyer
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
Requisits: European Commission
Les dades de publicació i de finançament es determinen automàticament per mitjà d'un programa informàtic