Aaron Turon

ACM-SIGACT Symposium on Principles of Programming Languages · 2015

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

Papers from Aaron Turon's perspective

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

  1. Separation logic: a logic for shared mutable data structures
  2. Resources, Concurrency and Local Reasoning (International Conference on Concurrency Theory)
  3. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs (IEEE transactions on computers)
  4. A scalable lock-free stack algorithm (ACM Symposium on Parallelism in Algorithms and Architectures)
  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. Anytime, anywhere: modal logics for mobile ambients (ACM-SIGACT Symposium on Principles of Programming Languages)
  10. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE

Their papers