Robbert Krebbers

Artificial Intelligence · 2017–2018

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

Subfields

Whom Robbert Krebbers trusts overall

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

  1. A. Appel
  2. Ralf Jung

Who trusts Robbert Krebbers overall

  1. Ralf Jung

Papers from Robbert Krebbers's perspective

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

  1. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
  2. Adoption and focus: practical linear types for imperative programming (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Region-based memory management in cyclone (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Iris (ACM-SIGACT Symposium on Principles of Programming Languages)
  5. Dependent types and multi-monadic effects in F* (ACM-SIGACT Symposium on Principles of Programming Languages)
  6. Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Journal of functional programming)
  7. A Marriage of Rely/Guarantee and Separation Logic (International Conference on Concurrency Theory)
  8. Journal of Graph Algorithms and Applications Many-to-one Boundary Labeling
  9. A scalable lock-free stack algorithm (ACM Symposium on Parallelism in Algorithms and Architectures)
  10. Et al

Their papers