Concepedia

Alan Leung

AL

Statistics

Publications

11

Citations

632

H-Index

11

Active since

2009

Affiliations

University of California San Diego(Current)

Microsoft (United States)

Alan Leung is an author at University of California San Diego specializing in program analysis, computer science, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationMachine TranslationSoftware EngineeringData ScienceFormal Methods

Publications per year

2009–2023

11

Publications

11

Illuminating protein space with a programmable generative model

John Ingraham, Max Baranov, Zak Costello et al. · Nature · 2023 · 345 citations · Full text

Automatic parallelization for graphics processing units

Alan Leung, Ondřej Lhoták, Lashari Ghulam Abbas · 2009 · 52 citations

Cluster Computing, Engineering, Compiler Technology +19

Verifying GPU kernels by test amplification

Alan Leung, Manish Gupta, Yuvraj Agarwal et al. · 2012 · 52 citations

Engineering, Gpu Benchmarking, Static Information Flow +18

On the fly synthesis of edit suggestions

Anders Miltner, Sumit Gulwani, Vu Le et al. · Proceedings of the ACM on Programming Languages · 2019 · 48 citations · Full text

Engineering, Software Systems, Software Engineering +21

Interactive parser synthesis by example

Alan Leung, John Sarracino, Sorin Lerner · 2015 · 40 citations

Syntactic Parsing, Engineering, Software Engineering +21

1–5 of 11