斯特凡•穆勒

教育

Ph.D. 卡内基梅隆大学计算机科学专业

M.S. 卡内基梅隆大学计算机科学专业

A.B. 哈佛大学计算机科学专业

研究兴趣

程序设计语言理论与代码分析, 软件系统, 并行计算, 计算理论

• 高性能和并行计算
• 编程语言，编译器和软件工程

奖

• NSF研究生研究奖学金/优秀奖2014
• 2013年美国国家科学基金研究生奖学金/优秀奖
• 2012年CRA优秀本科生研究员奖/荣誉奖
• 哈佛大学2011年春季教学杰出证书
• 英特尔(现为Regeneron)科学人才搜索/决赛(前40名)2008

出版物

1. “响应式并行中的公平性”，Stefan K. 穆勒，山姆·韦斯特瑞克和Umut A. ICFP 2019年会
2. “竞争并行:正确安排你的优先级”
3. Stefan K. 穆勒，Umut A. Acar和Robert Harper, ICFP 2018
4. 响应式并行计算:桥接竞争和合作线程，> Stefan K. 穆勒，Umut A. Acar和Robert Harper, PLDI 2017
5. “并行程序的分层内存管理”，Ram Raghunathan, Stefan K. 穆勒，Umut A. Acar和Guy Blelloch, ICFP 2016
6. “延迟隐藏工作窃取”，Stefan K. 穆勒和Umut A. 2016年中国机械工程学会年会
7. “沟通互动的理论与实践”-简报，Stefan K. 穆勒和Umut A. Acar, SNAPL 2015
8. “局部性管理的耦合内存和计算”，Umut A. Acar, Guy Blelloch, Matthew Fluet, Stefan K. Muller和Ram Raghunathan, SNAPL 2015
9. “迈向实用的安全并发语言”，斯特凡•穆勒和Stephen Chong, OOPSLA 2012

专业活动

外部审查委员会(ERC)， ICFP 2020

文物评估委员会，2020年

外部审稿人，ICFP 2019

《威尼斯人平台》，2019

外部审稿人，逻辑程序设计理论与实践(TPLP) 2019

外部审稿人，SPAA 2018