Viktor Vafeiadis

Artificial Intelligence · 2007

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

Subfields

Whom Viktor Vafeiadis trusts overall

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

  1. Peter W. O'Hearn
  2. John C. Reynolds
  3. Cristiano Calcagno
  4. Hongseok Yang
  5. Josh Berdine
  6. Dino Distefano
  7. S. Brookes

Who trusts Viktor Vafeiadis overall

  1. Ralf Jung
  2. Philippa Gardner

Papers from Viktor Vafeiadis's perspective

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

  1. Local Reasoning about Programs that Alter Data Structures
  2. A Semantics for Concurrent Separation Logic (International Conference on Concurrency Theory)
  3. Resources, Concurrency and Local Reasoning (International Conference on Concurrency Theory)
  4. Separation logic: a logic for shared mutable data structures
  5. Symbolic Execution with Separation Logic (Asian Symposium on Programming Languages and Systems)
  6. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  7. Local Action and Abstract Separation Logic (Logic in Computer Science)
  8. A Local Shape Analysis Based on Separation Logic (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  9. Lazy abstraction
  10. Thorough static analysis of device drivers (European Conference on Computer Systems)

Their papers