Fetching the paper…
Reading the bibliography…
Modern programming frameworks come with large libraries, with diverse applications such as for matching regular expressions, parsing XML files and sending email.
Typestate: A programming language concept for enhancing software reliability
R. Strom and S. Yemini · 1986
Earlier work this paper cites.
Intelligent assistance for software development and maintenance
G. Kaiser, P. Feiler, and S. Popovich · 1988
Earlier work this paper cites.
The mathematics of statistical machine translation: Parameter estimation
P. Brown, V. D. Pietra, S. D. Pietra, and R. Mercer · 1993
Earlier work this paper cites.
Inhabitation in typed lambda-calculi (a syntactic approach)
P. Urzyczyn · 1997
Earlier work this paper cites.
Synthesis of interface specifications for Java classes
R. Alur, P. Černý, M. Parthasarathy, and W. Nam · 2005
Earlier work this paper cites.
Jungloid mining: Helping to navigate the API jungle
D. Mandelin, L. Xu, R. Bodík, and D. Kimelman · 2005
Earlier work this paper cites.
SNIFF: A search engine for Java using free-form queries
S. Chatterjee, S. Juvekar, and K. Sen · 2009
Earlier work this paper cites.
Graph-based mining of multiple object usage patterns
T. T. Nguyen, H. A. Nguyen, N. Pham, J. Al-Kofahi, and T. Nguyen · 2009
Earlier work this paper cites.
Learning from 6,000 projects: Lightweight cross-project anomaly detection
N. Gruska, A. Wasylkowski, and A. Zeller · 2010
Earlier work this paper cites.
Interactive synthesis of code snippets
T. Gvero, V. Kuncak, and R. Piskac · 2011
Earlier work this paper cites.
The Roslyn project: Exposing the C# and VB compiler’s code analysis
K. Ng, M. Warren, P. Golde, and A. Hejlsberg · 2011
Cited alongside, same era.
Towards concept-based translation models using search logs for query expansion
J. Gao and J.-Y. Nie · 2012
Cited alongside, same era.
Typestate-based semantic code search over partial programs
A. Mishne, S. Shoham, and E. Yahav · 2012
Cited alongside, same era.
Type-directed completion of partial expressions
D. Perelman, S. Gulwani, T. Ball, and D. Grossman · 2012
Cited alongside, same era.
Mining source code repositories at massive scale using language modeling
M. Allamanis and C. Sutton · 2013
Cited alongside, same era.
Complete completion using types and weights
T. Gvero, V. Kuncak, I. Kuraj, and R. Piskac · 2013
Cited alongside, same era.
Spotting working code examples
I. Keivanloo, J. Rilling, and Y. Zou · 2014
Later among the works it cites.
Code completion with statistical language models
V. Raychev, M. Vechev, and E. Yahav · 2014
Later among the works it cites.
https://lucene.apache.org , 2015
Apache Lucene · 2015
Closest in time.
Bimodal modelling of source code and natural language
A. Allamanis, D. Tarlow, A. Gordon, and Y. Wei · 2015
Closest in time.
Mining and understanding software enclaves (MUSE)
DARPA · 2015
Closest in time.
Interactive synthesis using free-form queries
T. Gvero and V. Kuncak · 2015
Closest in time.
Graph-based statistical language model for code
A. T. Nguyen and T. Nguyen · 2015
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
SmartSynth: Synthesizing smartphone automation scripts from natural language
V. Le, S. Gulwani, and Z. Su · 2013
Cited alongside, same era.
Detecting missing method calls as violations of the majority rule
M. Monperrus and M. Mezini · 2013
Cited alongside, same era.
CodeHint: Dynamic and interactive synthesis of code snippets
J. Galenson, P. Reames, R. Bodik, B. Hartmann, and K. Sen · 2014
Cited alongside, same era.
Closest in time.
Predicting program properties from “Big Code”
V. Raychev, M. Vechev, and A. Krause · 2015
Closest in time.
Building Bing Developer Assistant
Y. Wei, N. Chandrasekaran, S. Gulwani, and Y. Hamadi · 2015
Closest in time.