| Latency-hiding work stealing: Scheduling interacting parallel computations with work stealing SK Muller, UA Acar Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and …, 2016 | 40 | 2016 |
| Hierarchical memory management for parallel programs R Raghunathan, SK Muller, UA Acar, G Blelloch ACM SIGPLAN Notices 51 (9), 392-406, 2016 | 37 | 2016 |
| Towards a practical secure concurrent language S Muller, S Chong Proceedings of the ACM international conference on Object oriented …, 2012 | 27 | 2012 |
| Competitive parallelism: Getting your priorities right SK Muller, UA Acar, R Harper Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018 | 20 | 2018 |
| Responsive parallel computation: Bridging competitive and cooperative threading SK Muller, UA Acar, R Harper ACM SIGPLAN Notices 52 (6), 677-692, 2017 | 16 | 2017 |
| Responsive parallelism with futures and state SK Muller, K Singer, N Goldstein, UA Acar, K Agrawal, ITA Lee Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 13 | 2020 |
| Fairness in responsive parallelism SK Muller, S Westrick, UA Acar Proceedings of the ACM on Programming Languages 3 (ICFP), 1-30, 2019 | 10 | 2019 |
| Priority Scheduling for Interactive Applications K Singer, N Goldstein, SK Muller, K Agrawal, ITA Lee, UA Acar Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and …, 2020 | 9 | 2020 |
| Coupling memory and computation for locality management UA Acar, G Blelloch, M Fluet, SK Muller, R Raghunathan 1st Summit on Advances in Programming Languages (SNAPL 2015), 2015 | 8 | 2015 |
| Practical abstractions for concurrent interactive programming SK Muller, WA Duff, UA Acar Technical report, Carnegie Mellon University, 2015 | 5 | 2015 |
| Modeling and analyzing evaluation cost of CUDA kernels SK Muller, J Hoffmann Proceedings of the ACM on Programming Languages 5 (POPL), 1-31, 2021 | 4 | 2021 |
| Atomic Read-Modify-Write Operations are Unnecessary for Shared-Memory Work Stealing U Acar, A Charguéraud, S Muller, M Rainey | 3 | 2013 |
| Interactive computation in an open world SK Muller, UA Acar, W Duff, R Harper Carnegie Mellon University, 2015 | 2 | 2015 |
| Responsive Parallel Computation SK Muller Intel, 2018 | 1 | 2018 |
| Practical and safe abstractions for interactive computation via linearity SK Muller, WA Duff, UA Acar Technical Report CMU-CS-15-130, Carnegie Mellon University School of …, 2015 | 1 | 2015 |
| Sx10: A language for parallel programming with information security S Muller Harvard Senior Thesis, 2012 | 1 | 2012 |
| Combining Source and Target Level Cost Analyses for OCaml Programs SK Muller, J Hoffmann | 1* | |
| A rhetorical framework for programming language evaluation SK Muller, H Ringler Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020 | | 2020 |
| Practical Abstractions for Concurrent Interactive Programs SK Muller, WA Duff, UA Acar | | 2015 |
| 15-819 Homotopy Type Theory Lecture Notes E Cavallo, S Muller | | 2013 |
