Wonchan Lee
Wonchan Lee
Ph.D. Student in Computer Science, Stanford University
Verified email at stanford.edu
Title
Cited by
Cited by
Year
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
992012
Selective context-sensitivity guided by impact pre-analysis
H Oh, W Lee, K Heo, H Yang, K Yi
ACM SIGPLAN Notices 49 (6), 475-484, 2014
772014
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
682015
Sound non-statistical clustering of static analysis alarms
W Lee, W Lee, K Yi
International Workshop on Verification, Model Checking, and Abstract …, 2012
422012
Termination analysis with algorithmic learning
W Lee, BY Wang, K Yi
International Conference on Computer Aided Verification, 88-104, 2012
312012
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
312012
ASC ATDM level 2 milestone# 5325: asynchronous many-task runtime system analysis and assessment for next generation platforms
J Bennett, R Clay, G Baker, M Gamell, D Hollman, S Knight, H Kolla, ...
SAND2015-8312, 2015
282015
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
232014
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
142011
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
122017
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
122015
S3d-legion: An exascale software for direct numerical simulation of turbulent combustion with complex multicomponent chemistry
S Treichler, MA Bauer, AV Bhagatwala, G Borghesi, R Sankaran, H Kolla, ...
Oak Ridge National Lab.(ORNL), Oak Ridge, TN (United States), 2017
102017
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
92018
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
52017
Sparrow
H Oh, K Heo, W Lee, W Lee, K Yi
52014
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
42019
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
32017
Predicate generation for learning-based quantifier-free loop invariant inference
W Lee, Y Jung, B Wang, K Yi
arXiv preprint arXiv:1207.7167, 2012
32012
A constraint-based approach to automatic data partitioning for distributed memory execution
W Lee, M Papadakis, E Slaughter, A Aiken
Proceedings of the International Conference for High Performance Computing …, 2019
22019
Task Bench: A Parameterized Benchmark for Evaluating Parallel Runtime Performance
E Slaughter, W Wu, Y Fu, L Brandenburg, N Garcia, W Kautz, E Marx, ...
arXiv preprint arXiv:1908.05790, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20