Alan Leung

According to our database, Alan Leung authored at least 10 papers between 2009 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Feedback-driven semi-supervised synthesis of program transformations.

Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari

Proc. ACM Program. Lang., 2020

2019

On the fly synthesis of edit suggestions.

Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa

Proc. ACM Program. Lang., 2019

2017

Constructing Parsers by Example via Interactive Program Synthesis.

Alan Leung

PhD thesis, 2017

Parsimony: an IDE for example-guided synthesis of lexers and parsers.

Alan Leung, Sorin Lerner

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2015

Interactive parser synthesis by example.

Alan Leung, John Sarracino, Sorin Lerner

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

C-to-Verilog translation validation.

Alan Leung, Dimitar Bounov, Sorin Lerner

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

2013

Parallel execution of Java loops on Graphics Processing Units.

Alan Leung, Ondrej Lhoták, Ghulam Lashari

Sci. Comput. Program., 2013

2012

Verifying GPU kernels by test amplification.

Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Taming wildcards in Java's type system.

Ross Tate, Alan Leung, Sorin Lerner

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2009

Automatic parallelization for graphics processing units.

Alan Leung, Ondrej Lhoták, Ghulam Lashari

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009