Breaking the complexity barrier again

Soundness and completeness of a synthesis algorithm based on example computations

Journal of the ACM (JACM)

Toward automating the software-development cycle

Communications of the ACM

An architecture for intelligent assistance in software development

ICSE '87 Proceedings of the 9th international conference on Software Engineering

Artificial intelligence and software engineering

ICSE '87 Proceedings of the 9th international conference on Software Engineering

Interacting with an active, integrated environment

SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

The Python compiler for CMU Common Lisp

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming

Improved learning by use of a video knowledge-base

ACM-SE 30 Proceedings of the 30th annual Southeast regional conference

Intelligent Assistance for Software Development and Maintenance

IEEE Software

AquaMOOSE 3D: math learning in a 3D multi-user virtual world

CHI '01 Extended Abstracts on Human Factors in Computing Systems

Model development revisited

WSC '84 Proceedings of the 16th conference on Winter simulation

Binding time optimization in programming languages: Some thoughts toward the design of an ideal language

POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages

Agent-oriented programming: from prolog to guarded definite clauses

Agent-oriented programming: from prolog to guarded definite clauses

Blaze: supporting two-phased call graph navigation in source code

CHI '12 Extended Abstracts on Human Factors in Computing Systems

Blaze

Proceedings of the 34th International Conference on Software Engineering

How tools in IDEs shape developers' navigation behavior

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems