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 | 155 | 2015 |
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 | 135 | 2012 |
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 | 106 | 2014 |
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 | 62 | 2020 |
Sound non-statistical clustering of static analysis alarms W Lee, W Lee, K Yi Verification, Model Checking, and Abstract Interpretation: 13th …, 2012 | 61 | 2012 |
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 | 44 | 2015 |
Termination analysis with algorithmic learning W Lee, BY Wang, K Yi International Conference on Computer Aided Verification, 88-104, 2012 | 34 | 2012 |
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 | 34 | 2012 |
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 | 32 | 2017 |
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 | 29 | 2018 |
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 | 29 | 2014 |
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 | 23 | 2015 |
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 | 22 | 2021 |
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 | 21 | 2019 |
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 | 20 | 2017 |
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 | 20 | 2016 |
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 | 19 | 2017 |
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 | 19 | 2011 |
Supercomputing in python with legate M Bauer, W Lee, M Papadakis, M Zalewski, M Garland Computing in Science & Engineering 23 (4), 73-79, 2021 | 11 | 2021 |
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 | 10 | 2017 |