Feedback-driven semi-supervised synthesis of program transformations.
Xiang GaoShraddha BarkeArjun RadhakrishnaGustavo SoaresSumit GulwaniAlan LeungNachiappan NagappanAshish TiwariPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- semi supervised
- program synthesis
- functional programs
- data driven
- unlabeled data
- labeled data
- pairwise
- semi supervised learning
- supervised learning
- computer programs
- multi view
- static analysis
- unsupervised learning
- real time
- user feedback
- metric learning
- data sets
- active learning
- training sessions
- control program
- learning algorithm
- program execution
- programming environment
- labeled examples
- texture synthesis