| 2024 | PPoPP | Automatic Static Analysis-Guided Optimization of CUDA Kernels. | Mark Lou, Stefan K. Muller |
| 2024 | PPoPP | Language-Agnostic Static Deadlock Detection for Futures. | Stefan K. Muller |
| 2020 | OOPSLA | A rhetorical framework for programming language evaluation. | Stefan K. Muller, Hannah Ringler |
| 2020 | PLDI | Responsive parallelism with futures and state. | Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee |
| 2020 | SPAA | Priority Scheduling for Interactive Applications. | Kyle Singer, Noah Goldstein, Stefan K. Muller, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar |
| 2017 | PLDI | Responsive parallel computation: bridging competitive and cooperative threading. | Stefan K. Muller, Umut A. Acar, Robert Harper |
| 2016 | ICFP | Hierarchical memory management for parallel programs. | Ram Raghunathan, Stefan K. Muller, Umut A. Acar, Guy E. Blelloch |
| 2016 | SPAA | Latency-Hiding Work Stealing: Scheduling Interacting Parallel Computations with Work Stealing. | Stefan K. Muller, Umut A. Acar |
| 2012 | OOPSLA | Towards a practical secure concurrent language. | Stefan K. Muller, Stephen Chong |