Matthew A. Hammer
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 Matthew A. Hammer trusts
Their strongest outbound trust, strongest first, inferred from their citations.
- Matthew L. Jones (in Information Systems)
Papers from Matthew A. Hammer's perspective
Ordered by how strongly the researchers Matthew A. Hammer 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
- GenProg: A Generic Method for Automatic Software Repair
- Gradual Typing for Functional Languages
- On the naturalness of software
- Dependently typed programming in Agda (ACM SIGPLAN International Workshop on Types In Languages Design And Implementation)
- 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)
- Automatic patch generation by learning correct code
Their papers
- Toward Semantic Foundations for Program Editors (2017) — 34 citations