迈克尔·沃尔默 0003
人员信息
附属: 英国肯特大学 隶属关系(以前): 印第安纳大学,美国印第安纳州布卢明顿
其他同名人员
迈克尔·沃尔默 0001 -德国卡尔斯鲁厄理工学院信息学系 迈克尔·沃尔默 0002 -德国波鸿鲁尔大学 迈克尔·沃尔默 0004 -德国杜宾根大学口腔颌面外科医院
优化列表
2020年–今天
2024 【c9】 Chaitanya S.Koparkar公司 , 维杜什·辛哈尔 , 阿迪蒂亚·古普塔 , 迈克·雷尼 , 迈克尔·沃尔默 , 阿特姆·佩莱尼琴 , 萨姆·托宾-霍奇斯塔特 , 米林·库尔卡尼 , 瑞安·R·牛顿 :
主要序列化堆的垃圾收集。 ISMM公司 2024 : 1-14 [i2] 维杜什·辛哈尔 , Chaitanya Koparkar公司 , 约瑟夫·祖洛 , 阿特姆·佩莱尼琴 , 迈克尔·沃尔默 , 迈克·雷尼 , 瑞恩·牛顿 , 米林·库尔卡尼 :
使用Marmoset优化递归数据类型的布局。 CoRR公司 abs/2405.17590 ( 2024 ) 2023 [注2] 莎拉·哈里斯 , 西蒙·库克西 , 迈克尔·沃尔默 , 马克·巴蒂 :
莫雷洛的锈迹:总是关于记忆安全,即使是在不安全的代码(人工制品)中。 Dagstuhl Artifacts爵士。 9 ( 2 ) : 25:1-25:2 ( 2023 ) 【c8】 莎拉·哈里斯 , 西蒙·库克西 , 迈克尔·沃尔默 , 马克·巴蒂 :
《莫雷洛的锈:永远是关于记忆安全,即使是在不安全的代码中》(体验论文)。 ECOOP公司 2023 : 39:1-39:27 2022 【c7】 丹尼尔·马歇尔 , 迈克尔·沃尔默 , 多米尼克果园 :
线性和唯一性:协约。 员工持股计划 2022 : 346-375 2021 [j1] Chaitanya Koparkar公司 , 迈克·雷尼 , 迈克尔·沃尔默 , 米林·库尔卡尼 , 瑞安·R·牛顿 :
高效的树遍历:协调并行性和密集数据表示。 程序。 ACM计划。 语言。 5 ( ICFP公司 ) : 1-29 ( 2021 ) [i1] Chaitanya Koparkar公司 , 迈克·雷尼 , 迈克尔·沃尔默 , 米林·库尔卡尼 , 瑞安·R·牛顿 :
高效的树遍历:协调并行性和密集数据表示。 CoRR公司 abs/2107.00522 ( 2021 ) 2020 【c6】 杰克·休斯 , 迈克尔·沃尔默 , 多米尼克果园 :
导出分级线性类型的分布规律。 线性& TLLA@IJCAR-FSCD公司 2020 : 109-131
2010 – 2019
2019 【c5】 迈克尔·沃尔默 , Chaitanya Koparkar公司 , 迈克·雷尼 , 莱思·萨卡 , 米林·库尔卡尼 , 瑞安·R·牛顿 :
LoCal:用于对序列化数据进行操作的程序的语言。 PLDI公司 2019 : 48-62 2017 【c4】 迈克尔·沃尔默 , 莎拉·斯派尔 , 布迪卡·查米思 , 莱思·萨卡 , Chaitanya Koparkar公司 , 米林·库尔卡尼 , Sam Tobin Hochstadt先生 , 瑞恩·牛顿 :
编译树变换以对打包表示进行操作。 ECOOP公司 2017 : 26:1-26:29 【c3】 迈克尔·沃尔默 , 瑞安·G·斯科特 , 穆苏瓦蒂夫人 , 瑞安·R·牛顿 :
SC-Haskell:最小化可变共享堆的语言中的顺序一致性。 PPoPP(PPoPP) 2017 : 283-298 2015 【c2】 迈克尔·沃尔默 , 博·乔尔·斯文森 , 埃里克·霍克 , 瑞安·R·牛顿 :
搜索高性能GPU代码的元编程和自动调整。 FHPC@ICFP 2015 : 1-11 【c1】 博·乔尔·斯文森 , 迈克尔·沃尔默 , 埃里克·霍克 , 特雷弗·麦克唐奈 , 瑞安·R·牛顿 :
通过重写将数据并行转换为任务并行:跨多个GPU的纯功能程序。 FHPC@ICFP公司 2015 : 12-22