Ralf Jung

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

Whom Ralf Jung trusts overall

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

  1. A. Appel
  2. John C. Reynolds
  3. Peter W. O'Hearn
  4. John Tang Boyland
  5. David A. McAllester
  6. David Swasey
  7. Manuel Fähndrich
  8. Leslie Lamport
  9. Viktor Vafeiadis
  10. Filip Sieczkowski

Who trusts Ralf Jung overall

  1. Jacques-Henri Jourdan
  2. Robbert Krebbers
  3. Derek Dreyer

Papers from Ralf Jung's perspective

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

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

Their papers