Towards a practical secure concurrent language. - Stefan K. Muller; Stephen Chong (OOPSLA, 2012)

Coupling Memory and Computation for Locality Management. - Umut A. Acar; Guy E. Blelloch; Matthew Fluet; Stefan K. Muller; Ram Raghunathan (SNAPL, 2015)

Hierarchical memory management for parallel programs. - Ram Raghunathan; Stefan K. Muller; Umut A. Acar; Guy E. Blelloch (ICFP, 2016)

Latency-Hiding Work Stealing: Scheduling Interacting Parallel Computations with Work Stealing. - Stefan K. Muller; Umut A. Acar (SPAA, 2016)

Responsive parallel computation: bridging competitive and cooperative threading. - Stefan K. Muller; Umut A. Acar; Robert Harper 001 (PLDI, 2017)

Competitive parallelism: getting your priorities right. - Stefan K. Muller; Umut A. Acar; Robert Harper 001 (Proc. ACM Program. Lang., 2018)

Fairness in responsive parallelism. - Stefan K. Muller; Sam Westrick; Umut A. Acar (Proc. ACM Program. Lang., 2019)

A rhetorical framework for programming language evaluation. - Stefan K. Muller; Hannah Ringler (Onward!, 2020)

Responsive parallelism with futures and state. - Stefan K. Muller; Kyle Singer; Noah Goldstein; Umut A. Acar; Kunal Agrawal 001; I-Ting Angelina Lee (PLDI, 2020)

Priority Scheduling for Interactive Applications. - Kyle Singer; Noah Goldstein; Stefan K. Muller; Kunal Agrawal 001; I-Ting Angelina Lee; Umut A. Acar (SPAA, 2020)

Responsive Parallel Computation. - Stefan K. Muller (2021)

Static prediction of parallel computation graphs. - Stefan K. Muller (Proc. ACM Program. Lang., 2022)

Static Prediction of Parallel Computation Graphs (Abstract). - Stefan K. Muller (HOPC@SPAA, 2023)

Responsive Parallelism with Synchronization. - Stefan K. Muller; Kyle Singer; Devyn Terra Keeney; Andrew Neth; Kunal Agrawal 001; I-Ting Angelina Lee; Umut A. Acar (Proc. ACM Program. Lang., 2023)

Automatic Static Analysis-Guided Optimization of CUDA Kernels. - Mark Lou; Stefan K. Muller (PMAM@PPoPP, 2024)

Language-Agnostic Static Deadlock Detection for Futures. - Stefan K. Muller (PPoPP, 2024)

Disentanglement with Futures, State, and Interaction. - Jatin Arora 002; Stefan K. Muller; Umut A. Acar (Proc. ACM Program. Lang., 2024)

Pipelines and Beyond: Graph Types for ADTs with Futures. - Francis Rinaldi; june wunder; Arthur Azevedo de Amorim; Stefan K. Muller (Proc. ACM Program. Lang., 2024)

Modeling and Analyzing Evaluation Cost of CUDA Kernels. - Stefan K. Muller; Jan Hoffmann 002 (ACM Trans. Parallel Comput., 2024)