Derek Dreyer 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	6129	3964
h 指数	43	34
i10 指数	66	56

920

460

230

690

20042005200620072008200920102011201220132014201520162017201820192020202120222023202426 37 30 67 38 69 90 95 124 119 162 188 219 415 402 564 472 721 693 902 606

开放获取的出版物数量

查看全部

35 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
Ralf JungAssistant Professor, ETH Zürich在 inf.ethz.ch 的电子邮件经过验证
Robbert KrebbersAssociate Professor, Radboud University Nijmegen在 cs.ru.nl 的电子邮件经过验证
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的电子邮件经过验证
Chung-Kil HurSeoul National University在 sf.snu.ac.kr 的电子邮件经过验证
Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles在 cnrs.fr 的电子邮件经过验证
Hai DangBedRock Systems. Inc在 mpi-sws.org 的电子邮件经过验证
Aaron TuronMPI-SWS在 mpi-sws.org 的电子邮件经过验证
Jeehoon KangKAIST School of Computing在 kaist.ac.kr 的电子邮件经过验证
Michael SammlerMPI-SWS在 mpi-sws.org 的电子邮件经过验证
Amal AhmedNortheastern University在 ccs.neu.edu 的电子邮件经过验证
Robert HarperProfessor of Computer Science, Carnegie Mellon University在 andrew.cmu.edu 的电子邮件经过验证
Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at Concordium在 alesb.com 的电子邮件经过验证
Neelakantan R. KrishnaswamiUniversity of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
Ori LahavTel Aviv University在 tau.ac.il 的电子邮件经过验证
Beta ZilianiFAMAF, UNC and Manas.Tech在 mpi-sws.org 的电子邮件经过验证
David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的电子邮件经过验证
Karl CraryCarnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的电子邮件经过验证
Aleksandar NanevskiIMDEA Software Institute在 imdea.org 的电子邮件经过验证

关注

Derek Dreyer

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus

在 mpi-sws.org 的电子邮件经过验证 - 首页

Programming languages type systems semantics verification


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	456	2018
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	455	2018
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	400	2015
State-dependent representation independence A Ahmed, D Dreyer, A Rossberg ACM SIGPLAN Notices 44 (1), 340-353, 2009	233	2009
Repairing sequential consistency in C/C++ 11 O Lahav, V Vafeiadis, J Kang, CK Hur, D Dreyer PLDI 2017, 2017	227	2017
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	214	2017
The impact of higher-order state and control effects on local relational reasoning D Dreyer, G Neis, L Birkedal Journal of Functional Programming 22 (4-5), 477-528, 2012	184	2012
Unifying refinement and Hoare-style reasoning in a logic for higher-order concurrency A Turon, D Dreyer, L Birkedal Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013	179	2013
Logical step-indexed logical relations D Dreyer, A Ahmed, L Birkedal Logical Methods in Computer Science 7, 2011	174	2011
The Essence of Higher-Order Concurrent Separation Logic R Krebbers, R Jung, A Bizjak, JH Jourdan, D Dreyer, L Birkedal ESOP, 2017	166	2017
GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation A Turon, V Vafeiadis, D Dreyer	164	2014
Higher-order ghost state R Jung, R Krebbers, L Birkedal, D Dreyer Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	151	2016
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris JO Kaiser, HH Dang, D Dreyer, O Lahav, V Vafeiadis	139	2017
The power of parameterization in coinductive proof CK Hur, G Neis, D Dreyer, V Vafeiadis Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013	132	2013
A type system for higher-order modules D Dreyer, K Crary, R Harper Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003	119	2003
A Kripke logical relation between ML and assembly CK Hur, D Dreyer Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011	113	2011
F-ing modules A Rossberg, C Russo, D Dreyer Journal of Functional Programming 24 (5), 529-607, 2014	112*	2014
Logical relations for fine-grained concurrency AJ Turon, J Thamsborg, A Ahmed, L Birkedal, D Dreyer Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013	111	2013
Pilsner: A compositionally verified compiler for a higherorder imperative language G Neis, CK Hur, JO Kaiser, C McLaughlin, D Dreyer, V Vafeiadis Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015	102	2015
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	100	2018

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用