汉斯·沃夫冈·洛伊德
人员信息
附属: 英国爱丁堡赫里奥特·沃特大学
优化列表
2020年–今天
2023 [公元55年] 张建成 , 汉斯·沃夫冈·洛伊德 :
F1TENTH:一种使用机器学习的超车算法。 廉署 2023 : 1-6 [i2] 瑞安·沙阿 , 曼努埃尔·马雷克 , 谢南多·斯塔斯 , 林恩·贝利 , 上智禅 , 罗伯特·J·斯图尔特 , 汉斯·沃夫冈·洛伊德 , 奥尔加·查齐福蒂 :
介绍网络安全并与之交互——卡片方法。 CoRR公司 abs/2307.16535 ( 2023 ) [i1] 莱昂·麦格雷戈 , 曼努埃尔·马雷克 , 汉斯·沃夫冈·洛伊德 :
在软件开发问题跟踪中就安全性进行沟通。 CoRR公司 abs/2308.13480 ( 2023 ) 2022 [公元54年] 阿基兰·塞尔瓦库马 , 罗伯·斯图尔特 , 汉斯·沃夫冈·洛伊德 , 艾哈迈德·雷亚德·索巴尼 :
Unikernel中的基准并行性。 Euro-Par研讨会 2022 : 286-293 2021 [公元53年] 查理·默里 , 汉斯·沃夫冈·洛伊德 , 布莱恩火车 :
有趣的学习练习:克什米尔危机。 联欢会 2021 : 3-13 [第52条] 鲁亚里德·麦格雷戈 , 菲尔·特林德 , 汉斯·沃夫冈·洛伊德 :
改进GHC Haskell NUMA分析。 FHPNC@ICFP 2021 : 1-12
2010 – 2019
2018 [第51条] 叶夫根尼·贝里科夫 , 汉斯·沃夫冈·洛伊德 , 格雷格·迈克尔森 :
用于并行Haskell的分布式自适应运行时系统中潜在并行性的并置。 全要素生产率 2018 : 1-19 2017 [电子4] 让-查尔斯·福盖尔 , 迈克尔·莫纳根 , 汉斯·沃夫冈·洛伊德 :
并行符号计算国际研讨会论文集, PASCO@ISSAC公司 2017年7月23日至24日,德国凯泽斯劳滕。 ACM公司 2017 ,国际标准图书编号 978-1-4503-5288-8 [目录] 2016 [j20] 雷默·贝伦兹 , 凯文·哈蒙德 , 弗拉基米尔·扬基克 , 亚历山大·科诺瓦洛夫 , 史蒂夫·林顿 , 汉斯·沃夫冈·洛伊德 , 帕特里克·迈尔 , 菲尔·特林德 :
HPC-GAP:设计一个21世纪的高性能计算机代数系统。 同意。 计算。 实际。 支出。 28 ( 13 ) : 3606-3636 ( 2016 ) [公元19年] 乔斯特·伯特霍尔德 , 汉斯·沃夫冈·洛伊德 , 凯文·哈蒙德 :
PAEAN:对并行Haskell方言的可移植和可扩展运行时支持。 J.功能。 程序。 26 : 第10页 ( 2016 ) [公元50年] 康斯坦蒂娜·帕纳吉奥托普鲁 , 汉斯·沃夫冈·洛伊德 :
教堂的透明弹性任务并行性。 IPDPS研讨会 2016 : 1586-1595 2015 [公元18年] 汉斯·沃夫冈·洛伊德 , 里卡多·佩尼亚 :
2011/12功能编程专题趋势编辑。 计算。 语言系统。 结构。 44 : 141-142 ( 2015 ) [公元17年] 伊德里斯·斯科洛尔·易卜拉欣 , 彼得·J·B·金 , 汉斯·沃夫冈·洛伊德 :
NsGTFA:通过Ns2跟踪文件轻松测量网络性能的GUI工具。 J.智力。 系统。 24 ( 4 ) : 467-477 ( 2015 ) [公元49年] 大卫·邦德 , 汉斯·沃夫冈·洛伊德 , 桑迪Louchart :
Jomini引擎的设计和实现:走向一个历史性的大型多人在线角色扮演游戏。 联欢会 2015 : 441-451 [公元48年] 叶夫根尼·贝里科夫 , 汉斯·沃夫冈·洛伊德 , 格雷格·迈克尔森 :
走向并行功能应用的特征。 软件工程(研讨会) 2015 : 146-153 2014 [公元16年] 汉斯·沃夫冈·洛伊德 , 杰里米·辛格 :
SICSA多核挑战编辑前言。 同意。 计算。 实际。 支出。 26 ( 4 ) : 929-934 ( 2014 ) [公元15年] 普拉巴特·托图 , 汉斯·沃夫冈·洛伊德 :
的并行Haskell实现 N个 -身体问题。 同意。 计算。 实际。 支出。 26 ( 4 ) : 987-1019 ( 2014 ) [公元47年] 帕特里克·迈尔 , 达丽亚·利弗西 , 汉斯·沃夫冈·洛伊德 , 菲尔·特林德 :
高性能计算机代数:赫克代数案例研究。 欧洲-保时捷 2014 : 415-426 [公元46年] 普拉巴特·托图 , 汉斯·沃夫冈·洛伊德 :
懒惰的以数据为导向的评估策略。 FHPC@ICFP 2014 : 63-74 [公元45年] 马拉克·萨利赫·阿尔贾布里 , 汉斯·沃夫冈·洛伊德 , 菲尔·特林德 :
在NUMA体系结构上平衡共享堆和分布式堆。 函数式编程趋势 2014 : 1-17 2013 [公元14年] 菲利普·特林德 , M.I.科尔 , 凯文·哈蒙德 , 汉斯·沃夫冈·洛伊德 , 格雷格·迈克尔森 :
并行和分布式协调的资源分析。 同意。 计算。 实际。 支出。 25 ( 三 ) : 309-348 ( 2013 ) [j13] 史蒂夫·林顿 , 凯文·哈蒙德 , 亚历山大·科诺瓦洛夫 , 克里斯托弗·布朗 , 菲利普·特林德 , 汉斯·沃夫冈·洛伊德 , 彼得·霍恩 , 丹·鲁泽蒙德 :
使用SCSCP轻松组合符号计算软件:用于符号计算的新Lingua Franca。 J.塞姆。 计算。 49 : 95-119 ( 2013 ) [公元44年] 汉斯·沃夫冈·洛伊德 , 古德蒙德·格罗夫 :
嵌入式系统语言休谟中的资源推理。 FOPARA公司 2013 : 110-126 [公元43年] 马拉克·萨利赫·阿尔贾布里 , 汉斯·沃夫冈·洛伊德 , 菲利普·特林德 :
GUMSP的设计与实现:一种多级并行Haskell实现。 国际单项体育联合会 2013 : 37 [公元42年] 弗拉基米尔·扬基克 , 克里斯托弗·布朗 , Max Neunhöffer公司 , 凯文·哈蒙德 , 史蒂夫·林顿 , 汉斯·沃夫冈·洛伊德 :
使用并行轨道进行空间探索:并行符号计算研究。 PARCO公司 2013 : 225-232 [电子3] 汉斯·沃夫冈·洛伊德 , 里卡多·佩尼亚 :
功能编程趋势——第13届国际研讨会,2012年TFP,英国圣安德鲁斯,2012年6月12-14日,修订论文集。 计算机科学课堂讲稿 7829, 施普林格 2013 ,国际标准图书编号 978-3-642-40446-7 [目录] 2012 [公元41年] 普拉巴特·托图 , 德利吉安人 , 汉斯·沃夫冈·洛伊德 :
Haskell vs.f#vs.scala:高级语言特性和并行性支持比较。 FHPC@ICFP 2012 : 49-60 [公元40年] 叶夫根尼·贝里科夫 , 汉斯·沃夫冈·洛伊德 , 格雷格·迈克尔森 , 菲利普·特林德 :
并行性能可移植性的架构软件成本建模。 软件工程(研讨会) 2012 : 105-120 [公元39年] 穆斯塔法·阿斯瓦德 , 菲利普·特林德 , 汉斯·沃夫冈·洛伊德 :
格拉斯哥并行Haskell(GPH)中的架构感知并行编程。 ICCS系统 2012 : 1807-1816 2011 [公元38年] 罗伯特·J·斯图尔特 , 菲利普·特林德 , 汉斯·沃夫冈·洛伊德 :
比较高级MapReduce查询语言。 应用程序 2011 : 58-72 [公元37年] 保罗·A·克鲁克 , 布里尤克·罗布林 , 汉斯·沃夫冈·洛伊德 , 奥利弗·莱蒙 :
将标准POMDP信念更新形式主义应用于口语对话管理时的并行计算和实际约束。 IWSDS公司 2011 : 189-201 [公元36年] 克里斯托弗·布朗 , 汉斯·沃夫冈·洛伊德 , 凯文·哈蒙德 :
ParaForming:使用新的重构技术形成并行Haskell程序。 函数式编程趋势 2011 : 82-97 【r1】 菲利普·特林德 , 汉斯·沃夫冈·洛伊德 , 凯文·哈蒙德 :
函数语言。 并行计算百科全书 2011 : 744-749 2010 [公元35年] 西蒙·马洛 , 帕特里克·迈尔 , 汉斯·沃夫冈·洛伊德 , 穆斯塔法·阿斯瓦德 , 菲利普·特林德 :
顺序不再:更好的策略用于并行Haskell。 哈斯克尔 2010 : 91-102 [公元34年] 克里斯托弗·布朗 , 汉斯·沃夫冈·洛伊德 , 乔斯特·伯特霍尔德 , 凯文·哈蒙德 :
改善你的现金流:计算机代数SHell。 国际单项体育联合会 2010 : 169-184 [公元33年] 斯特芬·乔斯特 , 凯文·哈蒙德 , 汉斯·沃夫冈·洛伊德 , 马丁·霍夫曼 :
高阶程序定量资源使用的静态确定。 POPL公司 2010 : 223-236
2000 – 2009
2009 [公元32年] 阿卜杜拉·扎因 , 瓦莱丽·吉布森 , 格雷格·迈克尔森 , 凯文·哈蒙德 , 斯特芬·乔斯特 , 汉斯·沃夫冈·洛伊德 :
走向Hume SIMD矢量化。 欧盟委员会 2009 : 2683-2687 [公元31年] 斯特芬·乔斯特 , 汉斯·沃夫冈·洛伊德 , 凯文·哈蒙德 , 诺曼·斯凯夫 , 马丁·霍夫曼 :
使用摊销分析进行基于资源的计算的“碳信用”。 FM公司 2009 : 354-369 [c30] 汉斯·沃夫冈·洛伊德 , 斯特芬·乔斯特 :
休谟资源分析的改进。 FOPARA公司 2009 : 18-33 [公元29年] 菲利普·特林德 , 默里·科尔 , 汉斯·沃夫冈·洛伊德 , 格雷格·迈克尔森 :
描述并行和分布式协调的有效资源分析特征。 FOPARA公司 2009 : 67-83 [公元28年] 汉斯·沃夫冈·洛伊德 , 肯尼思·麦肯齐 , 斯特芬·乔斯特 , 伦纳特·贝林格 :
资源的验证携带代码基础结构。 拉丁美洲发展中心 2009 : 127-134 2008 [公元12年] 阿卜杜拉·扎因 , 菲利普·特林德 , 格雷格·迈克尔森 , 汉斯·沃夫冈·洛伊德 :
评估计算网格的高级并行语言(GpH)。 IEEE传输。 并行分布式系统。 19 ( 2 ) : 219-233 ( 2008 ) [c27] 乔斯特·伯特霍尔德 , 阿比德·扎因 , 汉斯·沃夫冈·洛伊德 :
在ArTCoP中调度轻量级并行性。 PADL(PADL) 2008 : 214-229 2007 [公元11年] 大卫·阿斯皮纳尔 , 伦纳特·贝林格 , 马丁·霍夫曼 , 汉斯·沃夫冈·洛伊德 , 阿尔贝托·莫米利亚诺 :
资源的程序逻辑。 西奥。 计算。 科学。 389 ( 三 ) : 411-445 ( 2007 ) [公元26年] 阿卜杜拉·扎因 , 凯文·哈蒙德 , 菲利普·特林德 , 史蒂夫·林顿 , 汉斯·沃夫冈·洛伊德 , 马可·科斯坦蒂 :
SymGrid-Par:设计在计算网格上执行计算代数系统的框架。 国际计算科学会议(2) 2007 : 617-624 [公元25年] 克里斯托夫·埃尔曼 , Armelle Bonenfant公司 , 凯文·哈蒙德 , 斯特芬·乔斯特 , 汉斯·沃夫冈·洛伊德 , 罗伯特·波因顿 :
自动摊销最坏情况执行时间分析。 WCET公司 2007 2006 [公元10年] 安德烈·劳勃·杜波伊斯 , 菲利普·特林德 , 汉斯·沃夫冈·洛伊德 :
Mobile Haskell的强大移动性。 J.大学。 计算。 科学。 12 ( 7 ) : 868-884 ( 2006 ) [公元9年] 阿卜杜拉·扎因 , 菲利普·特林德 , 格雷格·迈克尔森 , 汉斯·沃夫冈·洛伊德 :
在网格并行Haskell中管理异构性。 可扩展计算。 实际。 支出。 7 ( 三 ) ( 2006 ) [j8] 马丁·霍夫曼 , 汉斯·沃夫冈·洛伊德 :
前言。 西奥。 计算。 科学。 364 ( 三 ) : 271-272 ( 2006 ) [公元24年] 凯文·哈蒙德 , 克里斯蒂安·费迪南德 , 雷霍德·赫克曼 , 罗伊·戴克霍夫 , 马丁·霍夫曼 , 斯特芬·乔斯特 , 汉斯·沃夫冈·洛伊德 , 格雷格·迈克尔森 , 罗伯特·波因顿 , 诺曼·斯凯夫 , 乔斯林·塞罗 , 安迪·华莱士 :
函数式编程语言的形式化可验证WCET分析。 WCET公司 2006 [电子2] 汉斯·沃夫冈·洛伊德 :
2004年11月25日至26日在德国慕尼黑举行的2004年TFP第五届函数式编程趋势研讨会的修订论文选集。 函数式编程趋势 5, 智力 2006 ,国际标准图书编号 1-84150-144-1 [目录] 2005 [j7] 安德烈·劳勃·杜波伊斯 , 菲利普·特林德 , 汉斯·沃夫冈·洛伊德 :
mHaskell:纯函数语言中的移动计算。 J.大学。 计算。 科学。 11 ( 7 ) : 1234-1254 ( 2005 ) [j6] 安德烈·劳勃·杜波伊斯 , 菲利普·特林德 , 汉斯·沃夫冈·洛伊德 :
走向机动性骨架。 并行过程。 莱特。 15 ( 三 ) : 273-288 ( 2005 ) 【c23】 阿卜杜拉·扎因 , 菲利普·特林德 , 汉斯·沃夫冈·洛伊德 , 格雷格·迈克尔森 :
在网格并行Haskell中管理异构性。 国际计算科学会议(2) 2005 : 746-754 [公元22年] 凯文·哈蒙德 , 罗伊·戴克霍夫 , 克里斯蒂安·费迪南德 , 雷霍德·赫克曼 , 马丁·霍夫曼 , 斯特芬·乔斯特 , 汉斯·沃夫冈·洛伊德 , 格雷格·迈克尔森 , 罗伯特·波因顿 , 诺曼·斯凯夫 , 乔斯林·塞罗 , 安迪·华莱士 :
Embounded项目(项目开始文件)。 函数式编程趋势 2005 : 195-210 【c21】 唐纳德·桑内拉 , 马丁·霍夫曼 , 大卫·阿斯皮纳尔 , 斯蒂芬·吉尔摩 , 伊恩·斯塔克 , 伦纳特·贝林格 , 汉斯·沃夫冈·洛伊德 , 肯尼思·麦肯齐 , 阿尔贝托·莫米利亚诺 , 奥哈·什卡拉夫斯卡 :
移动资源保证(项目评估文件)。 函数式编程趋势 2005 : 211-226 2004 [公元20年] 大卫·阿斯皮纳尔 , 伦纳特·贝林格 , 马丁·霍夫曼 , 汉斯·沃夫冈·洛伊德 , 阿尔贝托·莫米利亚诺 :
用于资源验证的程序逻辑。 TPHOL公司 2004 : 34-49 [第19条] 马丁·兰格 , 汉斯·沃夫冈·洛伊德 :
用Chop对定点逻辑进行并行和符号模型检查。 PDMC公司 2004 : 125-138 2003 [j5] 汉斯·沃夫冈·洛伊德 , 费尔南多·卢比奥 , 诺曼·斯凯夫 , 凯文·哈蒙德 , Susumu Horiguchi先生 , 乌尔里克·克鲁西克 , Rita Loogen公司 , 格雷格·迈克尔森 , 里卡多·佩纳 , 斯特芬·普里贝 , 阿尔瓦罗·J·雷博恩·波蒂略 , 菲利普·特林德 :
比较并行函数语言:编程与性能。 高。 订购符号。 计算。 16 ( 三 ) : 203-251 ( 2003 ) [第18条] 安德烈·劳勃·杜波伊斯 , 菲利普·特林德 , 汉斯·沃夫冈·洛伊德 :
实施Mobile Haskell。 函数式编程趋势 2003 : 79-94 2002 [j4] 菲利普·特林德 , 汉斯·沃夫冈·洛伊德 , 罗伯特·波因顿 :
并行和分布式Haskells。 J.功能。 程序。 12 ( 4&5 ) : 469-510 ( 2002 ) [c17] 汉斯·沃夫冈·洛伊德 :
并行图的虚拟共享内存性能降低。 CCGRID公司 2002 : 311-318 [第16条] 安德烈·劳勃·杜波伊斯 , 汉斯·沃夫冈·洛伊德 , 菲利普·特林德 :
并行图缩减器中的线程迁移。 国际单项体育联合会 2002 : 199-214 [第15条] 阿尔瓦罗·J·雷博恩·波蒂略 , 凯文·哈蒙德 , 汉斯·沃夫冈·洛伊德 , 佩德罗·巴斯康塞洛斯 :
使用自动大小和时间推断进行成本分析。 国际单项体育联合会 2002 : 232-248 [第14条] 安德烈·劳勃·杜波伊斯 , 罗伯特·波因顿 , 汉斯·沃夫冈·洛伊德 , 菲利普·特林德 :
实现声明性并行底部避免选择。 SBAC-PAD公司 2002 : 82-92 2001 [j3] 汉斯·沃夫冈·洛伊德 , 菲利普·特林德 , 卡斯滕·布茨 :
调整数据并行GPH程序的任务粒度和数据位置。 并行过程。 莱特。 11 ( 4 ) : 471-486 ( 2001 ) [第13条] 罗伯特·波因顿 , 斯特芬·普里贝 , 汉斯·沃夫冈·洛伊德 , Rita Loogen公司 , 菲利普·特林德 :
函数型与面向对象的分布式语言。 欧洲广播公司 2001 : 642-656 [第12条] 汉斯·沃夫冈·洛伊德 :
并行图减缩器中的负载平衡。 苏格兰函数编程研讨会 2001 : 63-74 2000 [第11条] 菲利普·特林德 , 汉斯·沃夫冈·洛伊德 , 编辑:Barry Jr。 , 基·戴维斯 , 凯文·哈蒙德 , 乌尔里克·克鲁西克 , 西蒙·佩顿·琼斯 , 阿尔瓦罗·J·雷博恩·波蒂略 :
并行函数语言GP H的多体系结构性能(研究笔记)。 欧洲-保时捷 2000 : 739-743 [第10条] 罗伯特·波因顿 , 菲利普·特林德 , 汉斯·沃夫冈·洛伊德 :
格拉斯哥分布式Haskell的设计与实现。 国际单项体育联合会 2000 : 53-70 【c9】 汉斯·沃夫冈·洛伊德 , 乌尔里克·克鲁西克 , 凯文·哈蒙德 , Rita Loogen公司 , 菲利普·特林德 :
GpH和Eden:比较Beowulf集群上的两种并行函数语言。 苏格兰函数编程研讨会 2000 : 39-52 【c8】 菲利普·特林德 , 罗伯特·波因顿 , 汉斯·沃夫冈·洛伊德 :
分布式函数语言的运行时系统级容错。 苏格兰函数编程研讨会 2000 : 103-114 [电子1] 菲利普·特林德 , 格雷格·迈克尔森 , 汉斯·沃夫冈·洛伊德 :
1999年8月29日至9月1日,苏格兰艾伦桥斯特林大学第一届苏格兰函数编程研讨会(SFP99)论文选集。 函数式编程趋势 1, 智力 2000 ,国际标准图书编号 1-84150-024-0 [目录]
1990 – 1999
1999 [注2] 汉斯·沃夫冈·洛伊德 , 菲利普·特林德 , 凯文·哈蒙德 , 萨哈鲁·B·朱奈杜 , 理查德·摩根 , 西蒙·佩顿·琼斯 :
在GPH中设计并行符号程序。 同意。 实际。 支出。 11 ( 12 ) : 701-752 ( 1999 ) [第1页] 菲利普·特林德 , 汉斯·沃夫冈·洛伊德 , 凯文·哈蒙德 :
大规模功能应用。 并行函数编程的研究方向 1999 : 399-426 1998 【b1】 汉斯·沃夫冈·洛伊德 :
大规模并行函数编程中的粒度。 英国格拉斯哥大学, 1998 [j1] 菲利普·特林德 , 凯文·哈蒙德 , 汉斯·沃夫冈·洛伊德 , 西蒙·佩顿·琼斯 :
算法+策略=并行性。 J.功能。 程序。 8 ( 1 ) : 23-60 ( 1998 ) 1997 【c7】 汉斯·沃夫冈·洛伊德 , 菲利普·特林德 :
工程大型并行功能程序。 函数式语言的实现 1997 : 178-197 【c6】 汉斯·沃夫冈·洛伊德 , 理查德·摩根 , 菲利普·特林德 , 桑杰·波里亚 , 克里斯·库珀 , 西蒙·佩顿·琼斯 , 罗伯托·加里利亚诺 :
并行大型功能程序或:让LOLITA忙碌。 函数式语言的实现 1997 : 198-213 1996 【c5】 汉斯·沃夫冈·洛伊德 , 凯文·哈蒙德 :
制作数据包:并行图缩减器的成本效益通信。 函数式语言的实现 1996 : 184-199 1995 【c4】 汉斯·沃夫冈·洛伊德 , 凯文·哈蒙德 :
论分治并行的粒度。 函数式编程 1995 : 8 1994 【c3】 Hoon Hong公司 , 汉斯·沃夫冈·洛伊德 :
共享存储机器上模块化多元多项式结果的并行计算。 国家空间研究委员会 1994 : 325-336 [c2] 凯文·哈蒙德 , 汉斯·沃夫冈·洛伊德 , 安德鲁·S·帕特里奇 :
提高并行函数程序的粒度:Haskell的图形获胜系统。 函数式编程 1994 : 111-126 1993 【c1】 卡拉·利蒙盖利 , 汉斯·沃夫冈·洛伊德 :
基于并行P-adic算法的有理数算法。 ACPC公司 1993 : 72-86