Real Time Face Detection and Recognition System Using Haar-Like Feature/HMM in Ubiquitous Network Environments. - Kicheon Hong; Jihong Min; Wonchan Lee; Jungchul Kim (ICCSA (1), 2005)

Termination Analysis with Algorithmic Learning. - Wonchan Lee; Bow-Yaw Wang; Kwangkeun Yi (CAV, 2012)

Design and implementation of sparse global analyses for C-like languages. - Hakjoo Oh; Kihong Heo; Wonchan Lee; Woosuk Lee; Kwangkeun Yi (PLDI, 2012)

The implicit calculus: a new foundation for generic programming. - Bruno C. d. S. Oliveira; Tom Schrijvers; Wontae Choi; Wonchan Lee; Kwangkeun Yi (PLDI, 2012)

Sound Non-statistical Clustering of Static Analysis Alarms. - Woosuk Lee; Wonchan Lee; Kwangkeun Yi (VMCAI, 2012)

Extended Report: The Implicit Calculus - Bruno C. d. S. Oliveira; Tom Schrijvers; Wontae Choi; Wonchan Lee; Kwangkeun Yi (CoRR, 2012)

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference - Wonchan Lee; Yungbum Jung; Bow-Yaw Wang; Kwangkeun Yi (Log. Methods Comput. Sci., 2012)

Selective context-sensitivity guided by impact pre-analysis. - Hakjoo Oh; Wonchan Lee; Kihong Heo; Hongseok Yang; Kwangkeun Yi (PLDI, 2014)

Global Sparse Analysis Framework. - Hakjoo Oh; Kihong Heo; Wonchan Lee; Woosuk Lee; Daejun Park 001; Jeehoon Kang; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2014)

Regent: a high-productivity programming language for HPC with logical regions. - Elliott Slaughter; Wonchan Lee; Sean Treichler; Michael Bauer 001; Alex Aiken (SC, 2015)

Extended task queuing: active messages for heterogeneous systems. - Michael LeBeane; Brandon Potter; Abhisek Pan; Alexandru Dutu; Vinay Agarwala; Wonchan Lee; Deepak Majeti; Bibek Ghimire; Eric Van Tassell; Samuel Wasmundt; Brad Benton; Maurício Breternitz; et al. (SC, 2016)

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. - Hakjoo Oh; Wonchan Lee; Kihong Heo; Hongseok Yang; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2016)

In situ visualization with task-based parallelism. - Alan Heirich; Elliott Slaughter; Manolis Papadakis; Wonchan Lee; Tim Biedert; Alex Aiken (ISAV@SC, 2017)

Control replication: compiling implicit parallelism to efficient SPMD with logical regions. - Elliott Slaughter; Wonchan Lee; Sean Treichler; Wen Zhang; Michael Bauer 001; Galen M. Shipman; Patrick S. McCormick; Alex Aiken (SC, 2017)

Sound Non-Statistical Clustering of Static Analysis Alarms. - Woosuk Lee; Wonchan Lee; Dongok Kang; Kihong Heo; Hakjoo Oh; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2017)

Dynamic tracing: memoization of task graphs for dynamic task-based runtimes. - Wonchan Lee; Elliott Slaughter; Michael Bauer 001; Sean Treichler; Todd Warszawski; Michael Garland; Alex Aiken (SC, 2018)

Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems. - Wonchan Lee; George Stelle; Patrick S. McCormick; Alex Aiken (CORRECTNESS@SC, 2018)

A constraint-based approach to automatic data partitioning for distributed memory execution. - Wonchan Lee; Manolis Papadakis; Elliott Slaughter; Alex Aiken (SC, 2019)

Task bench: a parameterized benchmark for evaluating parallel runtime performance. - Elliott Slaughter; Wei Wu 016; Yuankun Fu; Legend Brandenburg; Nicolai Garcia; Wilhem Kautz; Emily Marx; Kaleb S. Morris; Qinglei Cao; George Bosilca; Seema Mirchandaney; Wonchan Lee; et al. (SC, 2020)

Scaling implicit parallelism via dynamic control replication. - Michael Bauer 001; Wonchan Lee; Elliott Slaughter; Zhihao Jia; Mario Di Renzo; Manolis Papadakis; Galen M. Shipman; Patrick S. McCormick; Michael Garland; Alex Aiken (PPoPP, 2021)

Index launches: scalable, flexible representation of parallel task groups. - Rupanshu Soi; Michael Bauer 001; Sean Treichler; Manolis Papadakis; Wonchan Lee; Patrick S. McCormick; Alex Aiken; Elliott Slaughter (SC, 2021)

Supercomputing in Python With Legate. - Michael Bauer 001; Wonchan Lee; Manolis Papadakis; Marcin Zalewski; Michael Garland; Konrad Hinsen; Anshu Dubey (Comput. Sci. Eng., 2021)

Task Fusion in Distributed Runtimes. - Shiv Sundram; Wonchan Lee; Alex Aiken (PAW-ATM@SC, 2022)

Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence. - Michael Bauer 001; Elliott Slaughter; Sean Treichler; Wonchan Lee; Michael Garland; Alex Aiken (PPoPP, 2023)

Legate Sparse: Distributed Sparse Computing in Python. - Rohan Yadav; Wonchan Lee; Melih Elibol; Manolis Papadakis; Taylor Lee-Patti; Michael Garland; Alex Aiken; Fredrik Kjolstad; Michael Bauer 001 (SC, 2023)

Improving Parallel Program Performance Through DSL-Driven Code Generation with LLM Optimizers. - Anjiang Wei; Allen Nie; Thiago S. F. X. Teixeira; Rohan Yadav; Wonchan Lee; Ke Wang; Alex Aiken (CoRR, 2024)

Composing Distributed Computations Through Task and Kernel Fusion. - Rohan Yadav; Shiv Sundram; Wonchan Lee; Michael Garland; Michael Bauer 001; Alex Aiken; Fredrik Kjolstad (ASPLOS (1), 2025)

Mapple: A Domain-Specific Language for Mapping Distributed Heterogeneous Parallel Programs. - Anjiang Wei; Rohan Yadav; Hang Song; Wonchan Lee; Ke Wang; Alex Aiken (CoRR, 2025)