斯特凡•穆勒
- 格拉德温发展主席
- 计算机科学助理教授
教育
Ph.D. 卡内基梅隆大学计算机科学专业
M.S. 卡内基梅隆大学计算机科学专业
A.B. 哈佛大学计算机科学专业
研究兴趣
程序设计语言理论与代码分析, 软件系统, 并行计算, 计算理论
奖
- NSF研究生研究奖学金/优秀奖2014
- 2013年美国国家科学基金研究生奖学金/优秀奖
- 2012年CRA优秀本科生研究员奖/荣誉奖
- 哈佛大学2011年春季教学杰出证书
- 英特尔(现为Regeneron)科学人才搜索/决赛(前40名)2008
出版物
- “响应式并行中的公平性”,Stefan K. 穆勒,山姆·韦斯特瑞克和Umut A. ICFP 2019年会
- “竞争并行:正确安排你的优先级”
- Stefan K. 穆勒,Umut A. Acar和Robert Harper, ICFP 2018
- 响应式并行计算:桥接竞争和合作线程,> Stefan K. 穆勒,Umut A. Acar和Robert Harper, PLDI 2017
- “并行程序的分层内存管理”,Ram Raghunathan, Stefan K. 穆勒,Umut A. Acar和Guy Blelloch, ICFP 2016
- “延迟隐藏工作窃取”,Stefan K. 穆勒和Umut A. 2016年中国机械工程学会年会
- “沟通互动的理论与实践”-简报,Stefan K. 穆勒和Umut A. Acar, SNAPL 2015
- “局部性管理的耦合内存和计算”,Umut A. Acar, Guy Blelloch, Matthew Fluet, Stefan K. Muller和Ram Raghunathan, SNAPL 2015
- “迈向实用的安全并发语言”,斯特凡•穆勒和Stephen Chong, OOPSLA 2012
专业活动
外部审查委员会(ERC), ICFP 2020
文物评估委员会,2020年
外部审稿人,ICFP 2019
《威尼斯人平台》,2019
外部审稿人,逻辑程序设计理论与实践(TPLP) 2019
外部审稿人,SPAA 2018