Stefan Muller

  • Gladwin Development Chair
  • Assistant Professor of Computer Science

Education

Ph.D. Computer Science, Carnegie Mellon University

M.S. Computer Science, Carnegie Mellon University

A.B. Computer Science, Harvard University

Research Interests

Programming language theory and code analysis, software systems, parallel computing, computational theory

Awards

  • NSF Graduate Research Fellowship / Honorable Mention 2014
  • NSF Graduate Research Fellowship / Honorable Mention 2013
  • CRA Outstanding Undergraduate Researcher Award / Honorable Mention 2012
  • Harvard University Certificate of Distinction in Teaching Spring 2011
  • Intel (now Regeneron) Science Talent Search / Finalist (Top 40) 2008

Publications

  1. 鈥淔airness in Responsive Parallelism,鈥 Stefan K. Muller, Sam Westrick and Umut A. Acar, ICFP 2019
  2. 鈥淐ompetitive Parallelism: Getting Your Priorities Right鈥
  3. Stefan K. Muller, Umut A. Acar and Robert Harper, ICFP 2018
  4. 鈥淩esponsive Parallel Computation: Bridging Competitive and Cooperative Threading,鈥 Stefan K. Muller, Umut A. Acar and Robert Harper, PLDI 2017
  5. 鈥淗ierarchical Memory Management for Parallel Programs,鈥 Ram Raghunathan, Stefan K. Muller, Umut A. Acar and Guy Blelloch, ICFP 2016
  6. 鈥淟atency-Hiding Work Stealing,鈥 Stefan K. Muller and Umut A. Acar, SPAA 2016
  7. 鈥淏ridging Theory and Practice in Interaction鈥 鈥 Short Presentation, Stefan K. Muller and Umut A. Acar, SNAPL 2015
  8. 鈥淐oupling Memory and Computation for Locality Management,鈥 Umut A. Acar, Guy Blelloch, Matthew Fluet, Stefan K. Muller and Ram Raghunathan, SNAPL 2015
  9. 鈥淭owards a Practical Secure Concurrent Language,鈥 Stefan Muller and Stephen Chong, OOPSLA 2012

Professional Activities

External Reviewing Committee (ERC), ICFP 2020

Artifact Evaluation Committee, POPL 2020

External Reviewer, ICFP 2019

External Reviewer, Transactions on Parallel Computing 2019

External Reviewer, Theory and Practice of Logic Programming (TPLP) 2019

External Reviewer, SPAA 2018