Skip to main content
eScholarship
Open Access Publications from the University of California

CodeHint: dynamic and interactive synthesis of code snippets

  • Author(s): Galenson, Joel
  • Reames, Philip
  • Bodik, Rastislav
  • Hartmann, Bjorn
  • Sen, Koushik
  • et al.

Published Web Location

http://dl.acm.org/citation.cfm?id=2568250
No data is associated with this publication.
Abstract

There are many tools that help programmers find code fragments, but most are inexpressive and rely on static information. We present a new technique for synthesizing code that is dynamic (giving accurate results and allowing programmers to reason about concrete executions), easy-to-use (supporting a wide range of correctness specifications), and interactive (allowing users to refine the candidate code snippets). Our implementation, which we call CodeHint, generates and evaluates code at runtime and hence can synthesize real-world Java code that involves I/O, reflection, native calls, and other advanced language features. We have evaluated CodeHint in two user studies and show that its algorithms are efficient and that it improves programmer productivity by more than a factor of two.

Item not freely available? Link broken?
Report a problem accessing this item