Alan Leung

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 8

Top Venues

Proc. ACM Program. Lang.

CoRR

PLDI

MEMOCODE

University of California, San Diego, USA (PHD)

Education History

University of California, San Diego, USA

PHD

Publications

Jason Wu, Eldon Schoop, Alan Leung, Titus Barik, Jeffrey P. Bigham, Jeffrey Nichols
UICoder: Finetuning Large Language Models to Generate User Interface Code through Automated Feedback. CoRR (2024)
Jason Wu, Eldon Schoop, Alan Leung, Titus Barik, Jeffrey P. Bigham, Jeffrey Nichols
UICoder: Finetuning Large Language Models to Generate User Interface Code through Automated Feedback. NAACL-HLT (2024)
Ruijia Cheng, Titus Barik, Alan Leung, Fred Hohman, Jeffrey Nichols
BISCUIT: Scaffolding LLM-Generated Code with Ephemeral UIs in Computational Notebooks. CoRR (2024)
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari
Feedback-driven semi-supervised synthesis of program transformations. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
On the fly synthesis of edit suggestions. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Alan Leung, Sorin Lerner
Parsimony: an IDE for example-guided synthesis of lexers and parsers. ASE (2017)
Alan Leung, John Sarracino, Sorin Lerner
Interactive parser synthesis by example. PLDI (2015)
Alan Leung, Dimitar Bounov, Sorin Lerner
C-to-Verilog translation validation. MEMOCODE (2015)
Alan Leung, Ondrej Lhoták, Ghulam Lashari
Parallel execution of Java loops on Graphics Processing Units. Sci. Comput. Program. 78 (5) (2013)
Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner
Verifying GPU kernels by test amplification. PLDI (2012)
Ross Tate, Alan Leung, Sorin Lerner
Taming wildcards in Java's type system. PLDI (2011)
Alan Leung, Ondrej Lhoták, Ghulam Lashari
Automatic parallelization for graphics processing units. PPPJ (2009)

Alan Leung.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alan Leung