June Andronick

Artificial Intelligence · 2009–2014

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

Subfields

Whom June Andronick trusts overall

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

  1. Xavier Leroy
  2. Thomas A. Henzinger
  3. Leonardo de Moura

Who trusts June Andronick overall

  1. John Harrison

Papers from June Andronick's perspective

Ordered by how strongly the researchers June Andronick 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. The protection of information in computer systems
  4. Language support for fast and reliable message-based communication in singularity OS (European Conference on Computer Systems)
  5. Z3: An Efficient SMT Solver
  6. Software Verification with BLAST (SPIN)
  7. Making information flow explicit in HiStar (USENIX Symposium on Operating Systems Design and Implementation)
  8. Preliminary design of the SAFE platform
  9. The worst-case execution-time problem—overview of methods and survey of tools (TECS)
  10. seL4: formal verification of an operating-system kernel (Communications of the ACM)

Their papers