팔로우
Wonchan Lee
Wonchan Lee
Ph.D. Student in Computer Science, Stanford University
stanford.edu의 이메일 확인됨
제목
인용
인용
연도
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
1522015
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
1332012
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
1012014
Sound non-statistical clustering of static analysis alarms
W Lee, W Lee, K Yi
Verification, Model Checking, and Abstract Interpretation: 13th …, 2012
592012
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
562020
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
Termination analysis with algorithmic learning
W Lee, BY Wang, K Yi
International Conference on Computer Aided Verification, 88-104, 2012
342012
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
332012
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
312017
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
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
282018
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
222015
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
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
192021
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
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
182011
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
162016
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
Supercomputing in python with legate
M Bauer, W Lee, M Papadakis, M Zalewski, M Garland
Computing in Science & Engineering 23 (4), 73-79, 2021
72021
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20