Derek Dreyer

Artificial Intelligence · 2015–2018

A researcher in the Science corpus: 3 papers; trusts 5 researchers and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 23 citations into it; #29,155 of 35,345 by trust here, #32,362 by citations
• Computational Theory and Mathematics — 18 citations into it
• Computer Networks and Communications — 15 citations into it
• Hardware and Architecture — 8 citations into it

Whom Derek Dreyer trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. A. Appel
2. Ralf Jung

Who trusts Derek Dreyer overall

1. Robbert Krebbers
2. Jacques-Henri Jourdan
3. Ralf Jung

Papers from Derek Dreyer's perspective

Ordered by how strongly the researchers Derek Dreyer trusts endorse each paper. Same corpus, a different order for every researcher.

1. A scalable lock-free stack algorithm (ACM Symposium on Parallelism in Algorithms and Architectures)
2. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs (IEEE transactions on computers)
3. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
4. Adoption and focus: practical linear types for imperative programming (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. A Marriage of Rely/Guarantee and Separation Logic (International Conference on Concurrency Theory)
6. Journal of Graph Algorithms and Applications Many-to-one Boundary Labeling
7. Et al
8. Communicating and Mobile Systems: the π-calculus,
9. Region-based memory management in cyclone (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Iris (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers

• Iris (2015) — 386 citations
• Iris from the ground up: A modular foundation for higher-order concurrent separation logic (2018) — 465 citations
• RustBelt: securing the foundations of the rust programming language (2017) — 457 citations