Alan Leung

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

Sorin Lerner, Alan Leung, Sorin Lerner, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).

Interactive parser synthesis by example

Sorin Lerner, Alan Leung, John Sarracino, 2015, PLDI.

On the fly synthesis of edit suggestions

Sumit Gulwani, Abhishek Udupa, Ashish Tiwari, 2019, Proc. ACM Program. Lang..

Verifying GPU kernels by test amplification

Sorin Lerner, Manish Gupta, Rajesh Gupta, 2012, PLDI.

Feedback-driven semi-supervised synthesis of program transformations

Sumit Gulwani, Ashish Tiwari, Shraddha Barke, 2020, Proc. ACM Program. Lang..

Automatic parallelization for graphics processing units

Ondrej Lhoták, Alan Leung, Ghulam Lashari, 2009, PPPJ '09.

Taming wildcards in Java's type system

Ross Tate, Sorin Lerner, Alan Leung, 2011, PLDI '11.

Feasibility assessment for an AMS new SUB no packaging demo restaurant : "The Palate"

Alan Leung, Nicole Read, Joanne Kam, 2013 .

Expanding Helmet Design Methodologies Through Brain Functional Area Representative Threat Models

Alan Leung, Peter Matic, Matthew Ford, 2013 .

Parallel execution of Java loops on Graphics Processing Units

Ondrej Lhoták, Alan Leung, Ghulam Lashari, 2013, Sci. Comput. Program..

C-to-Verilog translation validation

Sorin Lerner, Dimitar Bounov, Alan Leung, 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).