CodeHint: dynamic and interactive synthesis of code snippets

No abstract is available for this paper.

• Publication year

  2014

• Venue

  International Conference on Software Engineering

• Publication date

  2014-05-31

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2568225.2568250
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• JVM-Portable Sandboxing of Java's Native Libraries

  2012cited by this paper
• Type-directed completion of partial expressions

  2012cited by this paper
• Macho: Writing Programs with Natural Language and Examples

  2012cited by this paper
• Synthesizing data structure manipulations from storyboards

  2011cited by this paper
• Synthesizing method sequences for high-coverage testing

  2011cited by this paper
• Interactive Synthesis of Code Snippets

  2011cited by this paper
• Portfolio: finding relevant functions and their usage

  2011cited by this paper
• Data representation synthesis

  2011cited by this paper
• From program verification to program synthesis

  2010cited by this paper
• Pharo by Example

  2010cited by this paper
• Programming by Example

  2010cited by this paper
• Robusta: taming the native beast of the JVM

  2010cited by this paper
• Oracle-guided component-based program synthesis

  2010cited by this paper
• Complete functional synthesis

  2010cited by this paper
• SNIFF: A Search Engine for Java Using Free-Form Queries

  2009cited by this paper
• Semantics-based code search demonstration proposal

  2009cited by this paper
• Directed random testing

  2009cited by this paper
• How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation

  2008cited by this paper
• CoScripter: automating & sharing how-to knowledge in the enterprise

  2008cited by this paper
• Why PBD systems fail: Lessons learned for usable AI

  2008cited by this paper
• Pex-White Box Test Generation for .NET

  2008cited by this paper
• Parseweb: a programmer assistant for reusing open source code on the web

  2007cited by this paper
• Iterative context bounding for systematic testing of multithreaded programs

  2007cited by this paper
• XSnippet: mining For sample code

  2006cited by this paper
• CUTE: a concolic unit testing engine for C

  2005cited by this paper
• Jungloid mining: helping to navigate the API jungle

  2005cited by this paper
• Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution

  2005cited by this paper
• Programming by sketching for bit-streaming programs

  2005cited by this paper
• Using structural context to recommend source code examples

  2005cited by this paper
• Slideshow: functional presentations

  2004cited by this paper
• JCrasher: an automatic robustness tester for Java

  2004cited by this paper
• Learning programs from traces using version space algebra

  2003cited by this paper
• Transactional rollback for language-based systems

  2002cited by this paper
• Your Wish is My Command: Programming By Example

  2001cited by this paper
• Version Space Algebra and its Application to Programming by Demonstration

  2000cited by this paper
• Dynamically discovering likely program invariants to support program evolution

  1999cited by this paper
• Implementing level 4 liveness in declarative visual programming languages

  1998cited by this paper
• Does continuous visual feedback aid debugging in direct-manipulation programming systems?

  1997cited by this paper
• SEM: a System for Enumerating Models

  1995cited by this paper
• Watch what I do: programming by demonstration

  1993cited by this paper
• VIVA: A visual language for image processing

  1990cited by this paper

• An approach for API synthesis using large language models

  2025cites this paper
• Debugging into Existence with Program Synthesis

  2025cites this paper
• BackportBench: A Multilingual Benchmark for Automated Backporting of Patches

  2025cites this paper
• Lexo: Eliminating Stealthy Supply-Chain Attacks via LLM-Assisted Program Regeneration

  2025cites this paper
• OBsmith: LLM-Powered JavaScript Obfuscator Testing

  2025cites this paper
• ScooPy: Enhancing Program Synthesis with Nested Example Specifications

  2025cites this paper
• Synthesizing Document Database Queries Using Collection Abstractions

  2025cites this paper
• Bottom-Up Synthesis of Memory Mutations with Separation Logic (Artifact)

  2025influential citation
• On the Effectiveness of Large Language Models in Writing Alloy Formulas

  2025cites this paper
• Exploring the Design Space of Cognitive Engagement Techniques with AI-Generated Code for Enhanced Learning

  2024cites this paper
• Non-Expert Programmers in the Generative AI Future

  2024cites this paper
• Big Code Search: A Bibliography

  2023influential citation
• LLM4TDD: Best Practices for Test Driven Development Using Large Language Models

  2023cites this paper
• Programming-by-Example with Nested Examples

  2023cites this paper
• Demystifying code snippets in code reviews: a study of the OpenStack and Qt communities and a practitioner survey

  2023cites this paper
• JATTACK: Java JIT Testing using Template Programs

  2023cites this paper
• Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection

  2023cites this paper
• Automatic Repair for Network Programs

  2022cites this paper
• Using Machine Learning for Automatic Correction of Numerical Analysis Assignments Towards Sustainable Education Development

  2022cites this paper
• Augmenting Diffs With Runtime Information

  2022cites this paper
• Exploring the Learnability of Program Synthesizers by Novice Programmers

  2022cites this paper
• Compiler Testing using Template Java Programs

  2022cites this paper
• Maniposynth: Bimodal Tangible Functional Programming

  2022cites this paper
• Towards Automated Input Generation for Sketching Alloy Models

  2022cites this paper
• GLAD: Neural Predicate Synthesis to Repair Omission Faults

  2022cites this paper
• Orion: Automatic Repair for Network Programs

  2021cites this paper
• Supply-Chain Vulnerability Elimination via Active Learning and Regeneration

  2021cites this paper
• NetRep: Automatic Repair for Network Programs

  2021cites this paper
• LooPy: interactive program synthesis with control structures

  2021influential citation
• Assuage: Assembly Synthesis Using A Guided Exploration

  2021cites this paper
• Mining Idioms in the Wild

  2021cites this paper
• LSTM Based Source Code Generation for Turkish Pseudo Code of Algorithm

  2021cites this paper
• Comprehensive Integration of API Usage Patterns

  2021cites this paper
• Synthesizing Object State Transformers for Dynamic Software Updates

  2021cites this paper
• RbSyn: type- and effect-guided program synthesis

  2021cites this paper
• An Inquisitive Code Editor for Addressing Novice Programmers' Misconceptions of Program Behavior

  2021cites this paper
• Small-Step Live Programming by Example

  2020cites this paper
• From API to NLI: A New Interface for Library Reuse

  2020cites this paper
• Semantic code search via equational reasoning

  2020cites this paper
• Interactive Program Distillation

  2020cites this paper
• CodeMatcher: Searching Code Based on Sequential Semantics of Important Query Words

  2020cites this paper
• Simplifying Deep-Learning-Based Model for Code Search

  2020cites this paper
• UNCHARTIT: An Interactive Framework for Program Recovery from Charts

  2020cites this paper
• Mining Source Code for Component Reuse

  2020cites this paper
• Dataflow-based pruning for speeding up superoptimization

  2020cites this paper
• Programming with a read-eval-synth loop

  2020cites this paper
• Bitcoin’s APIs in Open-Source Projects: Security Usability Evaluation

  2020cites this paper
• Question selection for interactive program synthesis

  2020cites this paper
• Directed Reachability for Infinite-State Systems

  2020cites this paper
• NLI2Code: Reusing Libraries with Natural Language Interface

  2019cites this paper
• EdSketch: execution-driven sketching for Java

  2019influential citation
• Easy-going Development of Event-Driven Applications by Iterating a Search-Select-Superpose Loop

  2019cites this paper
• IDVE: an integrated development and verification environment for JavaScript

  2019cites this paper
• Learning the Relation Between Code Features and Code Transforms With Structured Prediction

  2019cites this paper
• Large-scale Analysis of Software Reuse for Code and License Changes

  2019cites this paper
• Generative API usage code recommendation with parameter concretization

  2019cites this paper
• Programming by predicates: a formal model for interactive synthesis

  2019cites this paper
• Easy-going Development of Event-Driven Applications by Iterating a Search-Select-Superpose Loop

  2019influential citation
• Direct Manipulation for Imperative Programs

  2019cites this paper
• Program synthesis by type-guided abstraction refinement

  2019cites this paper
• Program Synthesis for Programmers

  2019cites this paper
• Programming by Predicates A formal model for interactive synthesis

  2019cites this paper
• Programming Abstractions and Synthesis-Aided Compilation for Emerging Computing Platforms

  2018cites this paper
• How do developers utilize source code from stack overflow?

  2018cites this paper
• How Do Developers Utilize Source Code from Stack Over(cid:29)ow?

  2018cites this paper
• Generation of code from text description with syntactic parsing and Tree2Tree model

  2018cites this paper
• Programming by Example: Efficient, but Not "Helpful"

  2018cites this paper
• Program Repair via Direct State Manipulation

  2018cites this paper
• Program synthesis using statistical models and logical reasoning

  2018cites this paper
• FrAngel: component-based synthesis with control structures

  2018cites this paper
• From Runtime Failures to Patches: Study of Patch Generation in Production. (De l'erreur d'exécution aux correctifs: étude de la génération de correctifs en production)

  2018cites this paper
• Towards Practical Program Repair with On-demand Candidate Generation

  2018cites this paper
• Query expansion based on statistical learning from code changes

  2018cites this paper
• Syntax-Guided Termination Analysis

  2018cites this paper
• Solver-Based Sketching of Alloy Models Using Test Valuations

  2018cites this paper
• Systematic Generation of Non-equivalent Expressions for Relational Algebra

  2018cites this paper
• EdSynth: Synthesizing API Sequences with Conditionals and Loops

  2018influential citation
• Abstraction-Based Interaction Model for Synthesis

  2018cites this paper
• Abstract State Machines, Alloy, B, TLA, VDM, and Z

  2018influential citation
• Active Inductive Logic Programming for Code Search

  2018cites this paper
• Assisting developers in the creation and maintenance of unit tests

  2018cites this paper
• How Do Developers Utilize Source Code from Stack Over ow?

  2017cites this paper
• Component-based synthesis for complex APIs

  2017cites this paper
• Interactive Programming by Example

  2017cites this paper
• Programming Not Only by Example

  2017cites this paper
• Neural Language Models for Data-Driven Programming Support

  2017cites this paper
• Squirrel: A Code Snippet Repository

  2017cites this paper
• At the End of Synthesis: Narrowing Program Candidates

  2017cites this paper
• Exploring action unit granularity of source code for supporting software maintenance

  2017cites this paper
• Synthesizing highly expressive SQL queries from input-output examples

  2017cites this paper
• Automatically generating natural language descriptions for object-related statement sequences

  2017cites this paper
• Systematic adaptation of dynamically generated source code via domain-specific examples

  2017cites this paper
• Automated Test Generation and Mutation Testing for Alloy

  2017cites this paper
• Sketch 4 J : Execution-Driven Sketching for Java

  2017cites this paper
• Mining unit test cases to synthesize API usage examples

  2017cites this paper
• DemoMatch: API discovery from demonstrations

  2017cites this paper
• Zero-One Integer Linear Programming for program synthesis

  2016cites this paper
• Query Expansion Based on Crowd Knowledge for Code Search

  2016cites this paper
• Candidate program Run tests Synthesized programSignature and tests Components Construct

  2016influential citation
• Reusing Software Libraries Using Semantic Graphs

  2016cites this paper