Follow
Wonchan Lee
Wonchan Lee
Verified email at nvidia.com
Title
Cited by
Cited by
Year
Regent: a high-productivity programming language for HPC with logical regions
E Slaughter, W Lee, S Treichler, M Bauer, A Aiken
Proceedings of the International Conference for High Performance Computing …, 2015
1562015
Design and implementation of sparse global analyses for C-like languages
H Oh, K Heo, W Lee, W Lee, K Yi
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
1352012
Selective context-sensitivity guided by impact pre-analysis
H Oh, W Lee, K Heo, H Yang, K Yi
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
1062014
Task bench: A parameterized benchmark for evaluating parallel runtime performance
E Slaughter, W Wu, Y Fu, L Brandenburg, N Garcia, W Kautz, E Marx, ...
SC20: International Conference for High Performance Computing, Networking …, 2020
662020
Sound non-statistical clustering of static analysis alarms
W Lee, W Lee, K Yi
Verification, Model Checking, and Abstract Interpretation: 13th …, 2012
612012
ASC ATDM Level 2 Milestone# 5325: Asynchronous Many-Task Runtime System Analysis and Assessment for Next Generation Platforms.
GM Baker, MT Bettencourt, SW Bova, K Franko, M Gamell, R Grant, ...
Sandia National Lab.(SNL-CA), Livermore, CA (United States); Sandia National …, 2015
442015
The implicit calculus: a new foundation for generic programming
BCS Oliveira, T Schrijvers, W Choi, W Lee, K Yi
ACM SIGPLAN Notices 47 (6), 35-44, 2012
352012
Termination analysis with algorithmic learning
W Lee, BY Wang, K Yi
International Conference on Computer Aided Verification, 88-104, 2012
342012
S3D-Legion: An exascale software for direct numerical simulation of turbulent combustion with complex multicomponent chemistry
S Treichler, M Bauer, A Bhagatwala, G Borghesi, R Sankaran, H Kolla, ...
Exascale Scientific Applications, 257-278, 2017
332017
Dynamic tracing: Memoization of task graphs for dynamic task-based runtimes
W Lee, E Slaughter, M Bauer, S Treichler, T Warszawski, M Garland, ...
SC18: International Conference for High Performance Computing, Networking …, 2018
292018
Global sparse analysis framework
H Oh, K Heo, W Lee, W Lee, D Park, J Kang, K Yi
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (3), 1-44, 2014
292014
Selective x-sensitive analysis guided by impact pre-analysis
H Oh, W Lee, K Heo, H Yang, K Yi
ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (2), 1-45, 2015
232015
Scaling implicit parallelism via dynamic control replication
M Bauer, W Lee, E Slaughter, Z Jia, M Di Renzo, M Papadakis, ...
Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of …, 2021
222021
Soleil-X: turbulence, particles, and radiation in the Regent programming language
H Torres, M Papadakis, L Jofre Cruanyes
SC'19: Proceedings of the International Conference for High Performance …, 2019
212019
Control Replication: Compiling implicit parallelism to efficient SPMD with logical regions
E Slaughter, W Lee, S Treichler, W Zhang, M Bauer, G Shipman, ...
Proceedings of the International Conference for High Performance Computing …, 2017
202017
Sound non-statistical clustering of static analysis alarms
W Lee, W Lee, D Kang, K Heo, H Oh, K Yi
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (4), 1-35, 2017
192017
Extended task queuing: Active messages for heterogeneous systems
M LeBeane, B Potter, A Pan, A Dutu, V Agarwala, W Lee, D Majeti, ...
SC'16: Proceedings of the International Conference for High Performance …, 2016
192016
Predicate generation for learning-based quantifier-free loop invariant inference
Y Jung, W Lee, BY Wang, K Yi
International Conference on Tools and Algorithms for the Construction and …, 2011
192011
Supercomputing in python with legate
M Bauer, W Lee, M Papadakis, M Zalewski, M Garland
Computing in Science & Engineering 23 (4), 73-79, 2021
112021
In situ visualization with task-based parallelism
A Heirich, E Slaughter, M Papadakis, W Lee, T Biedert, A Aiken
Proceedings of the In Situ Infrastructures on Enabling Extreme-Scale …, 2017
112017
The system can't perform the operation now. Try again later.
Articles 1–20