David Swasey

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.

Who trusts David Swasey overall

  1. Ralf Jung

Papers from David Swasey's perspective

Ordered by how strongly the researchers David Swasey 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