法语版本-Deutsche版本-Русская Версия
克里斯托夫·奎林·劳特
副教授德克萨斯大学埃尔帕索分校(UTEP).
财政部长适应力在裴泉项目位于LIP6号机组实验室索邦大学.
在此之前,助理副教授(终身教授)阿拉斯加安克雷奇大学(UAA)(2018年-2022年)。
在此之前,同时英特尔公司,数字团队成员(2008-2010年和2022年1月至7月)。
前博士生佛罗伦特·德迪内钦,在中阿雷奈尔项目,位于LIP公司.
已婚,一个小女儿,一个小儿子.
研究兴趣:
我的主题博士论文一直是正确的舍入属于基本函数,例如经验(x)
,对数(x)
,罪(x)
,asin(x)
,功率(x,y)
,在里面IEEE 754标准双精度。
基本功能的实现面临着几种不同的困难:
我参加了IEEE 754标准的修订占统治地位的浮点运算。使用佛罗伦特·德迪内钦和珍妮·米歇尔·穆勒,我建议如下重新制定关于基本函数。可以找到提案在这里。关于2008年1月10日1.6.0草案的第二点意见可以是建立在这里.
我研究了如何实施和认证数学函数可以是自动化的.从这个开始,我一直很感兴趣一些高级计算问题的安全算法。作为一个例子,让我提一下无穷范数复合函数的。这里,计算意味着对函数的未知上确界。函数本身作为表达式树给出。它的叶子是基本功能或“黑盒”代码。当然,这种树在一个点或小区间内的多精度评估是一个重要的子问题。这就直接产生了必须如何调整中间精度以确保精确舍入的问题。。。
我已经在软件工具中集成了这些算法索利娅.索利娅旨在为基本功能的开发提供安全支持。我用Sollya做我的Metalibm公司项目,努力成为数学(libm)函数的自动实现者。
近年来,针对我发表的研究,例如我的习惯化aDiriger des Recherches公司,我调查了实施方法,特别是,扩展了典型的IEEE754浮点环境关于几个维度,例如:
- 通过重用Ziv的舍入测试,在不使用特殊硬件的情况下实现IEEE754异构操作,
- 提供正确四舍五入的IEEE754十进制字符到二进制浮点转换的实现,具有O(1)有界内存消耗和O(n)时间复杂性,
- 提供浮点和整数运算的成熟实现,以实现所谓的IEEE754-2019增广运算,
- 通过提供二进制和十进制浮点格式之间的精确(即无错误)比较来扩展IEEE754,
- 扩展IEEE754,提供针对二进制和十进制浮点输入和输出的任意组合的通用混合半径算术运算,
- 使用精确舍入的高级操作(如欧几里得规范)扩展浮点环境,避免虚假溢出或下溢,
- 通过数学函数的代码生成扩展浮点环境,包括没有参考实现的函数,
- 使用具有先验错误边界的高级多精度操作(例如LTI过滤器的WCPG度量)扩展浮点环境。
简短简历:
与我共事或曾经共事过的博士生和实习生:
出版物:
国际期刊上的文章:
- 定点LTI滤波器严格设计的算法方法,具有蒂鲍特·希莱尔,和阿纳斯塔西亚·沃尔科娃,英寸电气电子工程师学会计算机期刊, 2019.
- MPDI:一个十进制乘精度区间算术库,具有斯特夫·格雷亚特和Clothilde Jeangoudoux公司,英寸可靠计算杂志2017年第25卷。
- 二进制和十进制浮点的比较数字,具有尼古拉斯布里瑟巴尔,马克梅扎罗巴岛和Jean-Michel牛仔裤穆勒,英寸电气电子工程师学会计算机期刊,第65卷,第7期,2016年7月。
- n向量的忠实四舍五入l2-模的有效计算,具有斯特夫·格雷亚特、Ping Tak Peter Tang、Naoya Yamanaka和Shin’ichi Oishi先生,英寸ACM数学软件汇刊,第41卷,第4期,2015年10月。
- 论齐夫的舍入检验,具有佛罗伦特·德迪内钦,Jean-Michel牛仔裤穆勒和谢尔盖托雷斯,《ACM数学软件交易》,第39卷,2013年第4期;预打印在研究报告ensl-00693317中,LIP,CNRS/ENS里昂/INRIA/里昂大学,LIP6,PEQUAN,UPMC2012年5月6日,巴黎。
- 近似误差上界的高效精确计算,具有西尔万·切维拉德,约翰·哈里森和米奥拉约尔德什,《理论计算机科学》,第412卷,第16期,第1523-1543页,2011年,最终版本;预打印在研究报告2010-2,LIP,École Normale Supérieure de里昂,2010年7月。
- 验证的浮点实现使用Gappa的初等函数,具有弗洛朗德迪内钦和纪尧姆梅尔金德,《IEEE计算机学报》,第60卷,第2期,第242-253页,2011年,最终版本;预打印在2010年11月的研究报告INRIA-INRIA-00533968中。
- 浮点算法中正确计算整数的四舍五入幂,具有珍妮·米歇尔·穆勒,彼得·科纳鲁普,文森特·勒费弗尔和尼古拉斯卢韦,《ACM数学软件汇刊》第37卷,第1号,第4条,2010年1月,预打印在2008-2015年研究报告中,LIP,Ec cole Normale Supérieure de里昂,2008年5月。
- 双精度pow(x,y)的一种有效舍入边界检验精度,使用文森特列夫列夫,IEEE计算机交易,2009年,第58卷,第2页,197-207页,2009年2月。预打印在2007-36年研究报告中,LIP,Ed cole Normale Supérieure de里昂,2007年8月。
- 双精度快速正确舍入对数,具有佛罗伦特·德迪内钦和珍妮·米歇尔·穆勒,英寸RAIRO,《理论信息学与应用》,2007年,第41卷,第85-102页,预打印在2005-37年研究报告中,LIP,Ec cole Normale Supérieure de里昂,2005年9月。
国际会议记录中的文章:
- 快速严格深度学习的半自动精度和准确度分析框架,具有阿纳斯塔西亚·沃尔科娃,英寸会议记录第27届IEEE研讨会计算机算术,因Covid-19,美国在线。
- 快速准确多项式求值生成的精确自适应,具有尼古拉斯·布鲁尼和纪尧姆·雷维,英寸会议记录2019 IEEE第30届应用特定系统国际会议美国纽约州纽约市。
- 严格多项式逼近,在里面的程序这个2018年信号、系统和计算机Asilomar会议2018年,美国加利福尼亚州太平洋格罗夫。
- 正确舍入的混合半径fused-multiply-add,具有Clothilde Jeangoudoux公司,英寸会议记录2018年IEEE第25届计算机算术研讨会,马萨诸塞州阿默斯特,美国,2018年7月。
- 为什么泰勒模型和修正的泰勒模型在经验上是成功的:基于对称性的解释,具有米奥拉约尔德什,玛蒂娜·塞贝里奥,奥尔加·科舍列娃和弗拉基克·克雷诺维奇,英寸2018年第八届可靠工程计算国际研讨会论文集2018年7月。
- 一种并行补偿Horner方案,具有斯特夫·格雷亚特Youness Ibrahimy和Clothilde Jeangoudoux公司,英寸2017年CSE会议记录,SIAM计算科学与工程会议(CSE), 2017.
- 扩展FMA的正确取整运算的高效软件实现:a+b+c和a*b+c*d,在里面的程序这个2017年信号、系统和计算机Asilomar会议美国加利福尼亚州太平洋格罗夫,2017年。
- 严格确定输入信号频率规格的递归滤波器定点实现,具有阿纳斯塔西亚·沃尔科娃,蒂鲍特·希莱尔和马克·梅扎罗巴,在里面的程序这个2017年信号、系统和计算机Asilomar会议美国加利福尼亚州太平洋格罗夫,2017年。
- 根据频率规范对数字滤波器进行可靠验证,具有阿纳斯塔西亚·沃尔科娃和蒂鲍特·希莱尔,在里面会议记录这个2017年IEEE第24届计算机算术研讨会英国伦敦,2017年7月。
- 用高级标量C实现的一种新的开源SIMD向量库,在里面的程序这个2016年信号、系统和计算机Asilomar会议2016年,美国加利福尼亚州太平洋格罗夫。
- MPDI:一个十进制乘精度区间算术库,具有斯特夫·格雷亚特和Clothilde Jeangoudoux公司,英寸2016年SCAN会议记录2016年,瑞典乌普萨拉。
- 使用Beyond-Quad-Precision库简化精密敏感应用程序的开发,在里面会议记录这个2015年Asilomar信号、系统和计算机会议2015年,美国加利福尼亚州太平洋格罗夫。
- 使用最坏情况峰值增益测量确定数字滤波器实现的定点格式,具有阿纳斯塔西亚·沃尔科娃和蒂鲍特·希莱尔,在里面的程序这个2015年信号、系统和计算机Asilomar会议2015年,美国加利福尼亚州太平洋格罗夫。
- 数学函数的代码生成器,具有尼古拉斯·布鲁尼,佛罗伦特·德迪内钦和奥尔加·库普里亚诺娃,英寸会议记录第22届IEEE研讨会计算机算术,第66-73页,法国里昂,2015年,最佳论文奖。
- 中最坏情况峰值增益矩阵的可靠评估多精度,具有蒂鲍特·希莱尔和阿纳斯塔西亚·沃尔科娃,在里面的程序这个第22届IEEE研讨会论计算机算术2015年,法国里昂。
- 特殊函数的半自动浮点实现,具有马克·梅扎罗巴,在里面会议记录这个第22届IEEE研讨会论计算机算术2015年,法国里昂。
- 数学函数代码生成器的一种分区算法,具有奥尔加·库普里亚诺娃,在里面的程序这个2014年信号、系统和计算机Asilomar会议,第1271-1275页,美国加利福尼亚州太平洋格罗夫,2014年。
- Metalibm:数学函数代码生成器,具有奥尔加·库普里亚诺娃,在里面的程序这个第四届国际数学软件ICMS大会,第713-717页,韩国首尔,2014年。
- IEEE754-2008混合基数浮点算法的基数转换,具有奥尔加·库普里亚诺娃和Jean-Michel牛仔裤穆勒,在里面的程序这个2013年信号、系统和计算机亚西洛马会议,第1139-1143页,美国加利福尼亚州太平洋格罗夫,2013年。
- 二进制64和十进制64浮点数的比较,具有尼古拉·布里斯巴雷,马克·梅扎罗巴和Jean-Michel牛仔裤穆勒,英寸会议记录第21届IEEE研讨会计算机算术,第145-152页,美国德克萨斯州奥斯汀,四月2013,预打印在研究报告中ARIC,LIP,PEQUAN,LIP6,编号ensl-00737881,幻灯片.
- Sollya:数字代码开发环境,具有西尔万舍维拉尔和米奥拉约尔德什,英寸第三届国际数学软件大会会议记录,ICMS’10,第28-31页,日本神户,2010年9月,LNCS,斯普林格,最终版本.
- 上确界范数的认证快速计算近似误差,具有西尔万舍维拉尔和米奥拉约尔德什,英寸第19届IEEE研讨会会议记录计算机算术,第169-176页,美国俄勒冈州波特兰,七月2009,预打印在研究报告2008-37,LIP,Es cole Normale Supérieure de里昂,2008年10月。
- 浮点实现的优化多项式,具有佛罗伦特·德迪内钦,英寸第八届实数和计算机,第7-16页,西班牙圣地亚哥德孔波斯特拉,七月2008年,预打印在2008-2011年研究报告中,LIP,Ec cole Normale Supérieure de里昂,2008年3月。
- 初等函数实现的证明无穷范数,具有西尔万·切维拉德,英寸会议记录第七国际质量软件会议,第153-160页,波特兰,2007年10月,美国俄勒冈州,预打印和扩展版本在研究报告中2007年6月,里昂高等师范学院,LIP,2007-26。
- 使用Gappa辅助验证基本函数,具有佛罗伦特·德迪内钦和纪尧姆·梅尔金德,英寸第21届ACM应用学术研讨会会议记录计算-MCMS轨道第2卷,第1318-1322页,第戎,法国,2006年4月,预打印和扩展版本2005年9月,INRIA第5683号研究报告。
研究报告:
- 论齐夫的舍入检验,具有佛罗伦特·德迪内钦,Jean-Michel牛仔裤穆勒和谢尔盖托雷斯,研究报告ensl-00693317,LIP、CNRS/ENS Lyon/INRIA/里昂大学、LIP6、PEQUAN、UPMC2012年5月6日,巴黎。
- 近似误差上界的高效精确计算,具有西尔万舍维拉尔,约翰·哈里森和米奥拉约尔德什,研究报告2010年2月,LIP、CNRS/ENS里昂/INRIA/里昂大学、INRIA、LORIA、CACAO项目和英特尔公司希尔斯波罗,美国俄勒冈州,2010年1月。提交给Theoryal的文章计算机科学;符号与数字特刊计算,2009年。
- 使用Gappa验证浮点实现,具有佛罗伦特·德迪内钦和纪尧姆·梅尔金德,研究报告arXiv:0801.0523,LIP,CNRS/ENS里昂/INRIA/里昂大学,2008年1月。
- 幂(x,y)的精确和中点舍入情况,研究报告2006年至46月,LIP,里昂高等师范学院,2006年12月。
- 三重中间格式的基本构建块,研究报告RR-5702,INRIA,2005年9月。
- 初等函数的快速修约使用双扩展算法的精度,具有弗洛朗德迪内钦和大卫·迪福,研究报告2004年10月,LIP,里昂高等师范学院,2004年3月。
- 指数的正确四舍五入实现英特尔安腾体系结构上的函数,研究报告RR-5024,INRIA,2003年12月。
硕士、博士论文,习惯化(HDR)论文:
- 超越IEEE754浮点运算,习惯化(HDR),索邦大学,2019年5月。
- Arrondi correct de functions数学公式-函数univarie es et bivarie es,认证et自动化,博士学位,里昂高等师范学院,2008年10月。
- 正确舍入元素的有效评估使用三重中间表示的函数,2005年9月,慕尼黑理工大学计算机科学系硕士论文。
- 资源管理über drahtgebundene und drahtlose局域网2004年,慕尼黑理工大学通信网络主席,开发项目论文。
演讲和研讨会:
- 数字概念正确,带有纪尧姆梅尔金德,CNRS主题学校:普雷西翁与生殖科学研究中心(Précision et Reproductivilitéen Calcul Numérique)2013年3月,法国弗雷胡斯,幻灯片.
- IEEE 754-2008标准的libieee754兼容库,具有奥尔加·库普里亚诺娃,2012年9月,俄罗斯新西伯利亚,第15届GAMM-IMACS科学计算、计算机算术和验证数值国际研讨会。
- 没有可靠的取整模式,就没有可靠的计算,具有瓦莱里·梅尼西尔·莫兰,2012年9月,俄罗斯新西伯利亚,第15届GAMM-IMACS科学计算、计算机算术和验证数值国际研讨会。
- De l’implation De functions correction arronides aux libliothèques LIBM IEEE 754-2008 clef en main(安装功能校正附件),研讨会演示裴泉团队,2011年2月,法国巴黎,幻灯片.
- L'implantation d'une功能校正arrondie,ou:CRLibm用于假人,演示文稿ANR塔马迪项目,2010年10月,法国里昂,幻灯片.
- Sollya-半自动的数值软件工具高效正确舍入数学的实现功能,介绍会议邀请ACA公司20087月,奥地利哈根堡2008,摘要.
- 多聚体的数量和功能的自动植入,在2008年雨水管理系统天,2008年6月,法国里尔,幻灯片.
- 版本实现自动功能库,演示文稿EVA-Flo公司项目,法国佩皮尼昂,2007年10月,幻灯片.
- (cr)libm开发的进展,的演示文稿英特尔波特兰,2007年10月,美国俄勒冈州波特兰,幻灯片.
- 基本函数的自动生成,俄罗斯队在英特尔数字集团,2007年8月,俄罗斯下诺夫哥罗德,幻灯片.
- 自动化控制决策和预防浇注格式双双和三双,CACAO项目研讨会,LORIA,法国南希,2007年1月。
- 浮点算法的倍增精度综述,第四届泰勒方法国际研讨会,美国佛罗里达州博卡拉顿,2006年12月,摘要,幻灯片.
- 用区间算术证明无穷范数,具有西尔万·切维拉德,第十二届GAMM-IMACS科学计算、计算机算术和验证数值国际研讨会,德国杜伊斯堡,2006年9月,摘要.
- 正常情况下,医生会在间隔时间内颁发礼仪证书,2006年5月至6月,《国家天文学家杂志》,幻灯片.
- 使用三重中间表示法正确舍入初等函数,Journées Arinews,法国佩皮尼昂,2005年11月,幻灯片.
其他:
- Sollya工具用户手册7.0版,具有西尔万舍维拉尔和米奥拉约尔德什,用户手册.
- Sollya工具用户手册6.0版,具有西尔万舍维拉尔和米奥拉约尔德什,用户手册.
- Sollya工具用户手册5.0版,具有西尔万舍维拉尔和米奥拉约尔德什,用户手册.
- Sollya工具用户手册4.0版,具有西尔万舍维拉尔和米奥拉约尔德什,用户手册.
- Sollya工具3.0版用户手册,具有西尔万舍维拉尔和米奥拉约尔德什,用户手册.
开发的开源软件:
教学:
联系人:
电子邮件: |
christoph.lauter@christoph-lauter.org |
OpenPGP公钥: |
开放式PGP |
S/MIME证书: |
S/MIME证书(PEM),S/MIME证书链(PEM)和S/MIME证书链(P7B) |
地址: |
阿尔帕索分校 计算机科学系 CCSB室3.0610 W大学大道500号。 德克萨斯州埃尔帕索,79968 美国 |
电话: |
+1 915 747 5939 +33 1 82 52 17 77 +1 915 229 2404 +1 907 519 0505 +49 9621 16590 73 |
CNET公司: |
+1 328 5073 |
电话收集:
作为一种爱好,我收集旧电话机及其相关技术。可以在上找到一些信息这个页面.
上次更新时间:02/05/2024。