Iwo Bladek

Artificial Intelligence · 2018

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

Subfields

Whom Iwo Bladek trusts overall

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

  1. Clark W. Barrett
  2. Sumit Gulwani
  3. Armando Solar-Lezama
  4. Susmit Jha
  5. Rajeev Alur
  6. Rastislav Bodík
  7. Sanjit A. Seshia
  8. Aaron Stump

Who trusts Iwo Bladek overall

  1. Pamela Mishkin

Papers from Iwo Bladek's perspective

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

  1. Combinatorial sketching for finite programs
  2. Syntax-guided synthesis
  3. Oracle-guided component-based program synthesis
  4. From program verification to program synthesis (ACM-SIGACT Symposium on Principles of Programming Languages)
  5. The SMT-LIB Standard Version 2.0
  6. Dimensions in program synthesis
  7. An axiomatic basis for computer programming
  8. Satisfiability Modulo Theories
  9. Test Driven Development: By Example
  10. Synthesis of loop-free programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers