Stefan K. Muller

According to our database, Stefan K. Muller authored at least 19 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., January, 2024

Disentanglement with Futures, State, and Interaction.

Jatin Arora, Stefan K. Muller, Umut A. Acar

Proc. ACM Program. Lang., January, 2024

Language-Agnostic Static Deadlock Detection for Futures.

Stefan K. Muller

Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 2024

Automatic Static Analysis-Guided Optimization of CUDA Kernels.

Mark Lou, Stefan K. Muller

Proceedings of the 15th International Workshop on Programming Models and Applications for Multicores and Manycores, 2024

2023

Responsive Parallelism with Synchronization.

Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar

Proc. ACM Program. Lang., 2023

Static Prediction of Parallel Computation Graphs (Abstract).

Stefan K. Muller

Proceedings of the 2023 ACM Workshop on Highlights of Parallel Computing, 2023

2022

Static prediction of parallel computation graphs.

Stefan K. Muller

Proc. ACM Program. Lang., 2022

2021

Responsive Parallel Computation.

Stefan K. Muller

PhD thesis, 2021

Modeling and analyzing evaluation cost of CUDA kernels.

Stefan K. Muller, Jan Hoffmann

Proc. ACM Program. Lang., 2021

2020

Priority Scheduling for Interactive Applications.

Kyle Singer, Noah Goldstein, Stefan K. Muller, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar

Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

Responsive parallelism with futures and state.

Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

A rhetorical framework for programming language evaluation.

Stefan K. Muller, Hannah Ringler

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

2019

Fairness in responsive parallelism.

Stefan K. Muller, Sam Westrick, Umut A. Acar

Proc. ACM Program. Lang., 2019

2018

Competitive parallelism: getting your priorities right.

Stefan K. Muller, Umut A. Acar, Robert Harper

Proc. ACM Program. Lang., 2018

2017

Responsive parallel computation: bridging competitive and cooperative threading.

Stefan K. Muller, Umut A. Acar, Robert Harper

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Latency-Hiding Work Stealing: Scheduling Interacting Parallel Computations with Work Stealing.

Stefan K. Muller, Umut A. Acar

Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016

Hierarchical memory management for parallel programs.

Ram Raghunathan, Stefan K. Muller, Umut A. Acar, Guy E. Blelloch

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Coupling Memory and Computation for Locality Management.

Umut A. Acar, Guy E. Blelloch, Matthew Fluet, Stefan K. Muller, Ram Raghunathan

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2012

Towards a practical secure concurrent language.

Stefan K. Muller, Stephen Chong

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012