Konstantin Weitz

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 Konstantin Weitz trusts overall

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

  1. Xavier Leroy

Papers from Konstantin Weitz's perspective

Ordered by how strongly the researchers Konstantin Weitz 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