Vu Le
Title
Cited by
Cited by
Year
Compiler validation via equivalence modulo inputs
V Le, M Afshari, Z Su
ACM SIGPLAN Notices 49 (6), 216-226, 2014
2782014
Flashextract: A framework for data extraction by examples
V Le, S Gulwani
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language†…, 2014
2072014
Automatic detection of floating-point exceptions
ET Barr, T Vo, V Le, Z Su
ACM Sigplan Notices 48 (1), 549-560, 2013
1172013
Smartsynth: Synthesizing smartphone automation scripts from natural language
V Le, S Gulwani, Z Su
Proceeding of the 11th annual international conference on Mobile systems†…, 2013
1032013
Finding deep compiler bugs via guided stochastic program mutation
V Le, C Sun, Z Su
ACM SIGPLAN Notices 50 (10), 386-399, 2015
832015
User interaction models for disambiguation in programming by example
M Mayer, G Soares, M Grechkin, V Le, M Marron, O Polozov, R Singh, ...
Proceedings of the 28th Annual ACM Symposium on user interface software†…, 2015
642015
Finding compiler bugs via live code mutation
C Sun, V Le, Z Su
Proceedings of the 2016 ACM SIGPLAN International Conference on Object†…, 2016
512016
Toward understanding compiler bugs in GCC and LLVM
C Sun, V Le, Q Zhang, Z Su
Proceedings of the 25th International Symposium on Software Testing and†…, 2016
382016
Randomized stress-testing of link-time optimizers
V Le, C Sun, Z Su
Proceedings of the 2015 International Symposium on Software Testing and†…, 2015
352015
Finding and analyzing compiler warning defects
C Sun, V Le, Z Su
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE†…, 2016
292016
Interactive program synthesis
V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani
arXiv preprint arXiv:1703.03539, 2017
92017
On the fly synthesis of edit suggestions
A Miltner, S Gulwani, V Le, A Leung, A Radhakrishna, G Soares, A Tiwari, ...
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
82019
Keyword programming for TouchDevelop
V Le, J de Halleux, S Gulwani, Z Su
Proceeding of the 11th annual international conference on Mobile systems†…, 2013
12013
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis
R Pan, V Le, N Nagappan, S Gulwani, S Lahiri, M Kaufman
arXiv preprint arXiv:2103.02004, 2021
2021
Structure interpretation of text formats
S Gulwani, V Le, A Radhakrishna, I Radiček, M Raza
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
2020
PLDI: G: Program Synthesis via Reverse Parsing
V Le
The system can't perform the operation now. Try again later.
Articles 1–16