James R. Wilcox

ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2015

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

Whom James R. Wilcox trusts overall

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

  1. Xavier Leroy
  2. Seif Haridi
  3. Daniel Jackson
  4. Diego Ongaro
  5. Vu Le
  6. Xuejun Yang
  7. David Goldberg
  8. John K. Ousterhout

Who trusts James R. Wilcox overall

  1. Ethan Buchman
  2. Oleksandr Polozov
  3. Sumit Gulwani

Papers from James R. Wilcox's perspective

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

  1. Finding and understanding bugs in C compilers
  2. Paxos made live: an engineering perspective (ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing)
  3. Formal verification of a realistic compiler
  4. In Search of an Understandable Consensus Algorithm (USENIX Annual Technical Conference)
  5. Compiler validation via equivalence modulo inputs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. What every computer scientist should know about floating-point arithmetic
  7. seL4: Formal Verification of an OS Kernel
  8. Precimonious: Tuning assistant for floating-point precision (2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC))
  9. Software Abstractions - Logic, Language, and Analysis
  10. The Pi-Calculus - a theory of mobile processes

Their papers