Wonchan Lee

发表

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Kwangkeun Yi, Bow-Yaw Wang, Yungbum Jung, 2011, TACAS.

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Kwangkeun Yi, Bow-Yaw Wang, Yungbum Jung, 2012, Log. Methods Comput. Sci..

Legion, Domain-Specific Languages and In Situ Data Analysis & Visualization

Mike Bauer, Wonchan Lee, Charles Roger Ferenbaugh, 2015 .

Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems

Alexander Aiken, Patrick S. McCormick, Wonchan Lee, 2018, 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness).

Sound Non-statistical Clustering of Static Analysis Alarms

Kwangkeun Yi, Wonchan Lee, Woosuk Lee, 2012, VMCAI.

Selective context-sensitivity guided by impact pre-analysis

Hongseok Yang, Hakjoo Oh, Kwangkeun Yi, 2014, PLDI.

Extended Task Queuing: Active Messages for Heterogeneous Systems

Lizy Kurian John, Deepak Majeti, Bibek Ghimire, 2016, SC16: International Conference for High Performance Computing, Networking, Storage and Analysis.

Dynamic Tracing: Memoization of Task Graphs for Dynamic Task-Based Runtimes

Michael Garland, Alexander Aiken, Michael Bauer, 2018, SC18: International Conference for High Performance Computing, Networking, Storage and Analysis.

In situ visualization with task-based parallelism

Alan Heirich, Alexander Aiken, Wonchan Lee, 2017, ISAV@SC.

Color-coded LED microscopy for quantitative phase imaging: Implementation and application to sperm motility analysis.

Jong-Seok Lee, Wonchan Lee, Suho Ryu, 2017, Methods.

A constraint-based approach to automatic data partitioning for distributed memory execution

Alexander Aiken, Wonchan Lee, Elliott Slaughter, 2019, SC.

Regent: a high-productivity programming language for HPC with logical regions

Alexander Aiken, Michael Bauer, Wonchan Lee, 2015, SC15: International Conference for High Performance Computing, Networking, Storage and Analysis.

Termination Analysis with Algorithmic Learning

Kwangkeun Yi, Bow-Yaw Wang, Wonchan Lee, 2012, CAV.

Single-exposure quantitative phase imaging in color-coded LED microscopy (Conference Presentation)

Wonchan Lee, Chulmin Joo, Daeseong Jung, 2017, BiOS.

Sound Non-Statistical Clustering of Static Analysis Alarms

Hakjoo Oh, Kwangkeun Yi, Wonchan Lee, 2017, ACM Trans. Program. Lang. Syst..

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

Hongseok Yang, Hakjoo Oh, Kwangkeun Yi, 2015, ACM Trans. Program. Lang. Syst..

Type-directed Automatic Generation of Open Code Multi-Staged Programs

Kwangkeun Yi, Yungbum Jung, Wonchan Lee, 2012 .

Control Replication: Compiling Implicit Parallelism to Efficient SPMD with Logical Regions

Wen Zhang, Alexander Aiken, Patrick S. McCormick, 2017, SC17: International Conference for High Performance Computing, Networking, Storage and Analysis.

Task Bench: A Parameterized Benchmark for Evaluating Parallel Runtime Performance pdf

Wei Wu, George Bosilca, Wonchan Lee, 2019, SC20: International Conference for High Performance Computing, Networking, Storage and Analysis.

Smartphone-based multi-contrast microscope using color-multiplexed illumination

Jong-Seok Lee, Wonchan Lee, Jun-Ho Choi, 2017, Scientific Reports.

Real Time Face Detection and Recognition System Using Haar-Like Feature/HMM in Ubiquitous Network Environments

Wonchan Lee, Jihong Min, Kicheon Hong, 2005, ICCSA.

Single-exposure quantitative phase imaging in color-coded LED microscopy.

Wonchan Lee, Suho Ryu, Chulmin Joo, 2017, Optics express.

Design and implementation of sparse global analyses for C-like languages

Hakjoo Oh, Kwangkeun Yi, Wonchan Lee, 2012, PLDI.

ASC ATDM Level 2 Milestone #5325: Asynchronous Many-Task Runtime System Analysis and Assessment for Next Generation Platforms

Martin Berzins, Stephen L. Olivier, Simon David Hammond, 2015 .