Shumo Chu

2017

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

Whom Shumo Chu trusts overall

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

  1. Xavier Leroy
  2. Alvin Cheung
  3. Chris Hawblitzel
  4. Leonid Libkin
  5. Armando Solar-Lezama

Who trusts Shumo Chu overall

  1. Byeong-Hoon So
  2. Wook-Shin Han

Papers from Shumo Chu's perspective

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

  1. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  2. LINQ: reconciling object, relations and XML in the .NET framework (SIGMOD Conference)
  3. IronFleet: proving practical distributed systems correct (Symposium on Operating Systems Principles)
  4. Formal verification of a realistic compiler
  5. Optimizing database-backed applications with query synthesis
  6. Distributed Representations of Words and Phrases and their Compositionality (Neural Information Processing Systems)
  7. Simplify: a theorem prover for program checking (JACM)
  8. Resources, Concurrency and Local Reasoning (International Conference on Concurrency Theory)
  9. RoBERTa: A Robustly Optimized BERT Pretraining Approach (arXiv.org)
  10. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Their papers