Alan Leung

According to our database, Alan Leung authored at least 13 papers between 2009 and 2024.

Collaborative distances:

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

2024

Misty: UI Prototyping Through Interactive Conceptual Blending.

Yuwen Lu, Alan Leung, Amanda Swearngin, Jeffrey Nichols, Titus Barik

CoRR, 2024

BISCUIT: Scaffolding LLM-Generated Code with Ephemeral UIs in Computational Notebooks.

Ruijia Cheng, Titus Barik, Alan Leung, Fred Hohman, Jeffrey Nichols

Proceedings of the 2024 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2024

UICoder: Finetuning Large Language Models to Generate User Interface Code through Automated Feedback.

Jason Wu, Eldon Schoop, Alan Leung, Titus Barik, Jeffrey P. Bigham, Jeffrey Nichols

Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), 2024

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