Alan Leung

21 papers A* 8B 1C 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2026 A* conf
Improving User Interface Generation Models from Designer Feedback.
CHI
Jason Wu, Amanda Swearngin, Arun Krishnavajjala, Alan Leung, Jeffrey Nichols, Titus Barik
2026 A* conf
The Way We Notice, That's What Really Matters: Instantiating UI Components with Distinguishing Variations.
CHI
Priyan Vaithilingam, Alan Leung, Jeffrey Nichols, Titus Barik
2026 J jnl
The Way We Notice, That's What Really Matters: Instantiating UI Components with Distinguishing Variations.
CoRR
Priyan Vaithilingam, Alan Leung, Jeffrey Nichols, Titus Barik
2025 J jnl
Improving User Interface Generation Models from Designer Feedback.
CoRR
Jason Wu, Amanda Swearngin, Arun Krishna Vajjala, Alan Leung, Jeffrey Nichols, Titus Barik
2025 A* conf
Misty: UI Prototyping Through Interactive Conceptual Blending.
CHI
Yuwen Lu, Alan Leung, Amanda Swearngin, Jeffrey Nichols, Titus Barik
2025 A* conf
SQUIRE: Interactive UI Authoring via Slot QUery Intermediate REpresentations.
UIST
Alan Leung, Ruijia Cheng, Jason Wu, Jeffrey Nichols, Titus Barik
2024 B conf
BISCUIT: Scaffolding LLM-Generated Code with Ephemeral UIs in Computational Notebooks.
VL/HCC
Ruijia Cheng, Titus Barik, Alan Leung, Fred Hohman, Jeffrey Nichols
2024 J jnl
BISCUIT: Scaffolding LLM-Generated Code with Ephemeral UIs in Computational Notebooks.
CoRR
Ruijia Cheng, Titus Barik, Alan Leung, Fred Hohman, Jeffrey Nichols
2024 J jnl
Misty: UI Prototyping Through Interactive Conceptual Blending.
CoRR
Yuwen Lu, Alan Leung, Amanda Swearngin, Jeffrey Nichols, Titus Barik
2024 — conf
UICoder: Finetuning Large Language Models to Generate User Interface Code through Automated Feedback.
NAACL-HLT
Jason Wu, Eldon Schoop, Alan Leung, Titus Barik, Jeffrey P. Bigham, Jeffrey Nichols
2024 J jnl
UICoder: Finetuning Large Language Models to Generate User Interface Code through Automated Feedback.
CoRR
Jason Wu, Eldon Schoop, Alan Leung, Titus Barik, Jeffrey P. Bigham, Jeffrey Nichols
2020 J jnl
Feedback-driven semi-supervised synthesis of program transformations.
Proc. ACM Program. Lang.
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari
2019 J jnl
On the fly synthesis of edit suggestions.
Proc. ACM Program. Lang.
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
2017 — —
Constructing Parsers by Example via Interactive Program Synthesis.
Alan Leung
2017 A* conf
Parsimony: an IDE for example-guided synthesis of lexers and parsers.
ASE
Alan Leung, Sorin Lerner
2015 C conf
C-to-Verilog translation validation.
MEMOCODE
Alan Leung, Dimitar Bounov, Sorin Lerner
2015 A* conf
Interactive parser synthesis by example.
PLDI
Alan Leung, John Sarracino, Sorin Lerner
2013 J jnl
Parallel execution of Java loops on Graphics Processing Units.
Sci. Comput. Program.
Alan Leung, Ondrej Lhoták, Ghulam Lashari
2012 A* conf
Verifying GPU kernels by test amplification.
PLDI
Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner
2011 A* conf
Taming wildcards in Java's type system.
PLDI
Ross Tate, Alan Leung, Sorin Lerner
2009 — conf
Automatic parallelization for graphics processing units.
PPPJ
Alan Leung, Ondrej Lhoták, Ghulam Lashari