Lars Birkedal

Journal of functional programming · 2015–2018

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

Papers from Lars Birkedal's perspective

Ordered by how strongly the researchers Lars Birkedal 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. A scalable lock-free stack algorithm (ACM Symposium on Parallelism in Algorithms and Architectures)
  3. A Marriage of Rely/Guarantee and Separation Logic (International Conference on Concurrency Theory)
  4. Journal of Graph Algorithms and Applications Many-to-one Boundary Labeling
  5. Et al
  6. Communicating and Mobile Systems: the π-calculus,
  7. Iris (ACM-SIGACT Symposium on Principles of Programming Languages)
  8. Separation logic: a logic for shared mutable data structures
  9. Local Reasoning about Programs that Alter Data Structures
  10. Resources, Concurrency and Local Reasoning (International Conference on Concurrency Theory)

Their papers