Jerry Swan
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
- Artificial Intelligence — 6 citations into it
Whom Jerry Swan trusts
Their strongest outbound trust, strongest first, inferred from their citations.
- Sumit Gulwani (in Artificial Intelligence)
- Sanjit A. Seshia (in Artificial Intelligence)
- Jeffrey S. Foster (in Artificial Intelligence)
Papers from Jerry Swan's perspective
Ordered by how strongly the researchers Jerry Swan trusts endorse each paper. Same corpus, a different order for every researcher.
- Combinatorial sketching for finite programs
- Syntax-guided synthesis
- Oracle-guided component-based program synthesis
- From program verification to program synthesis (ACM-SIGACT Symposium on Principles of Programming Languages)
- The SMT-LIB Standard Version 2.0
- Dimensions in program synthesis
- An axiomatic basis for computer programming
- Test Driven Development: By Example
- Satisfiability Modulo Theories
- Synthesis of loop-free programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)