Jacques-Henri Jourdan

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 Jacques-Henri Jourdan trusts overall

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

  1. A. Appel
  2. Ralf Jung

Papers from Jacques-Henri Jourdan's perspective

Ordered by how strongly the researchers Jacques-Henri Jourdan 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