Simon Winwood

Artificial Intelligence · 2009–2010

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

Subfields

Whom Simon Winwood trusts

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

  1. Xavier Leroy (in Artificial Intelligence)

Papers from Simon Winwood's perspective

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

  1. Terra: a virtual machine-based platform for trusted computing (Symposium on Operating Systems Principles)
  2. Journal of Graph Algorithms and Applications Many-to-one Boundary Labeling
  3. Software Verification with BLAST (SPIN)
  4. The protection of information in computer systems
  5. Language support for fast and reliable message-based communication in singularity OS (European Conference on Computer Systems)
  6. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  7. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Translation validation for an optimizing compiler (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Formal certification of a compiler back-end or: programming a compiler with a proof assistant (ACM-SIGACT Symposium on Principles of Programming Languages)
  10. Translation

Their papers