Ian Voysey
Information Systems · 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.
Subfields
- Information Systems — 7 citations into it
Whom Ian Voysey trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Ian Voysey's perspective
Ordered by how strongly the researchers Ian Voysey trusts endorse each paper. Same corpus, a different order for every researcher.
- Visualization of test information to assist fault localization (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
- Fault localization with nearest neighbor queries
- On the naturalness of software
- GenProg: A Generic Method for Automatic Software Repair
- Gradual Typing for Functional Languages
- Dependently typed programming in Agda (ACM SIGPLAN International Workshop on Types In Languages Design And Implementation)
- Automatic patch generation by learning correct code
- Programming
- Dimensions in program synthesis
- The spoofax language workbench: rules for declarative specification of languages and IDEs (Conference on Object-Oriented Programming Systems, Languages, and Applications)
Their papers
- Toward Semantic Foundations for Program Editors (2017) — 34 citations