Stefan K. Muller

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 22

Top Topics

Deadlock Detection

Parallel Computation

Top Venues

Proc. ACM Program. Lang.

Publications

Stefan K. Muller
Language-Agnostic Static Deadlock Detection for Futures. PPoPP (2024)
Francis Rinaldi, june wunder, Arthur Azevedo de Amorim, Stefan K. Muller
Pipelines and Beyond: Graph Types for ADTs with Futures. Proc. ACM Program. Lang. 8 (POPL) (2024)
Jatin Arora, Stefan K. Muller, Umut A. Acar
Disentanglement with Futures, State, and Interaction. Proc. ACM Program. Lang. 8 (POPL) (2024)
Mark Lou, Stefan K. Muller
Automatic Static Analysis-Guided Optimization of CUDA Kernels. PMAM@PPoPP (2024)
Stefan K. Muller, Jan Hoffmann
Modeling and Analyzing Evaluation Cost of CUDA Kernels. ACM Trans. Parallel Comput. 11 (1) (2024)
Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar
Responsive Parallelism with Synchronization. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Stefan K. Muller
Static Prediction of Parallel Computation Graphs (Abstract). HOPC@SPAA (2023)
Francis Rinaldi, june wunder, Arthur Azevedo de Amorim, Stefan K. Muller
Pipelines and Beyond: Graph Types for ADTs with Futures. CoRR (2023)
Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar
Responsive Parallelism with Synchronization. CoRR (2023)
Stefan K. Muller
Static prediction of parallel computation graphs. Proc. ACM Program. Lang. 6 (POPL) (2022)
Stefan K. Muller, Jan Hoffmann
Modeling and analyzing evaluation cost of CUDA kernels. Proc. ACM Program. Lang. 5 (POPL) (2021)
Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee
Responsive parallelism with futures and state. PLDI (2020)
Stefan K. Muller, Hannah Ringler
A rhetorical framework for programming language evaluation. Onward! (2020)
Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee
Responsive Parallelism with Futures and State. CoRR (2020)
Kyle Singer, Noah Goldstein, Stefan K. Muller, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar
Priority Scheduling for Interactive Applications. SPAA (2020)
Stefan K. Muller, Sam Westrick, Umut A. Acar
Fairness in responsive parallelism. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Stefan K. Muller, Umut A. Acar, Robert Harper
Competitive Parallelism: Getting Your Priorities Right. CoRR (2018)
Stefan K. Muller, Umut A. Acar, Robert Harper
Competitive parallelism: getting your priorities right. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Stefan K. Muller, Umut A. Acar, Robert Harper
Responsive parallel computation: bridging competitive and cooperative threading. PLDI (2017)
Stefan K. Muller, Umut A. Acar
Latency-Hiding Work Stealing: Scheduling Interacting Parallel Computations with Work Stealing. SPAA (2016)
Ram Raghunathan, Stefan K. Muller, Umut A. Acar, Guy E. Blelloch
Hierarchical memory management for parallel programs. ICFP (2016)
Umut A. Acar, Guy E. Blelloch, Matthew Fluet, Stefan K. Muller, Ram Raghunathan
Coupling Memory and Computation for Locality Management. SNAPL (2015)
Stefan K. Muller, Stephen Chong
Towards a practical secure concurrent language. OOPSLA (2012)