法语版本-Deutsche版本-英文版
克里斯托夫·奎林·劳特(Christoph Quirin Lauter)
Лектор(副教授)德克萨斯大学埃尔帕索分校(UTEP).
财政部长,доктор наук,可调度佩泉в лабораторииLIP6号机组в索邦大学.
助理/终身副教授阿拉斯加安克雷奇大学(UAA)(2018-2022).
Перетимикаккое-тоартеммеуработамни,инеенрПррорирматмонообесеанаииааеиекелруППттИнтел(2008-2010年)。
В прошлом аспирант, принимавший участие в проекте阿雷奈尔в лабораторииLIP公司под руководством弗洛伦特·达·迪内欣.
Женат,одна дочь,однин сын.
Область научного исследования:
Предметоммоей кандидатской диссертацииявлялосьправильное округление
элементарных функций, таких как经验(x)
,对数(x)
,罪(x)
,asin(x)
,功率(x,y)
,в двойной точности по нормеIEEE 754标准.
Программное обеспечение элементарних функций определяет несколько трудностей различных видов:
Я участвовал вIEEE 754, которая владеет миром арифметики илавалейзапя。加拿大佛罗伦萨иJean-Michel'óмMuller女士, я предложил следующеепереформулированиеглавы оэлементарних функциях. Предложенная формулировка может быть прочитаназдесь. Последующий комментарий версии черновика 1.6.0 от 10 января 2008 года находитсяздесь.
Я провёл исследование о способахавтоматизациипрограммного обеспечения и сертификации математической функции.С того времени я интересуюсь алгоритмами, гарантирующими результат, используемыми для решения нетривиальных вычислительных задач. Например, позвольте мне рассказать о вычислениибесконечной нормысоставной функции.В данном случае под вычислением понимается минорирование и, что более важно, мажорирование неизвестного супремума функции. Функция принимает форму дерева выражения. Основные функции или коды-"чёрные ящики" являются его листьями. 其中包括:。ВстоПриаамитарммакатнрорасанмобаДаПттктуаеауибесеениокруГеисТосмтеоаиртретиекеуме。
Я интегрировал эти алгоритмы в софтвер утилити委员会.Сольяявляется надёжной поддержкой программирования элементарных функций. Я использовал Солью в разработке моего проектаMetalibm公司(libm)。
近年来,针对我发表的研究,例如我的习惯化aDiriger des Recherches公司,我调查了实施方法,特别是,扩展了典型的IEEE754浮点环境关于几个维度,例如:
- 通过重用Ziv的舍入测试,在不使用特殊硬件的情况下实现IEEE754异构操作,
- 提供正确四舍五入的IEEE754十进制字符到二进制浮点转换的实现,具有O(1)有界内存消耗和O(n)时间复杂性,
- 提供浮点和整数运算的成熟实现,以实现所谓的IEEE754-2019增广运算,
- 通过提供二进制和十进制浮点格式之间的精确(即无错误)比较来扩展IEEE754,
- 扩展IEEE754,提供针对二进制和十进制浮点输入和输出的任意组合的通用混合半径算术运算,
- 使用精确舍入的高级操作(如欧几里得规范)扩展浮点环境,避免虚假溢出或下溢,
- 通过数学函数的代码生成扩展浮点环境,包括没有参考实现的函数,
- 使用具有先验错误边界的高级多精度操作(例如LTI过滤器的WCPG度量)扩展浮点环境。
Краткая биография:
- Родился24 апреля 1980 года в городеАмберг, Германия
- В 1999 году получилаттестат о среднем образованиипо специальностям "Математика" и "Французский"
- В 2000 году начал учёбу в慕尼黑理工大学Diplominformatik(Информатик)
- В 2002 году учился в里昂师范学院(Высшая Педагогическая школа города Лиона) по программе Erasmus
- Проходил практику в英特尔数值组в Нижнем Новгороде (Россия) в 2003 году
- 慕尼黑理工大学2005年
- Работал над кандидатской диссертацией в группе阿雷奈尔в里昂师范学院2005年至2008年
- Работал инженером программного обеспечения вкомпании ИнтелВГруПеNumericsс2008По2008ГоД
- Работал лектором в索邦大学с 2010 года
- Работал лектором в阿拉斯加安克雷奇大学(UAA)с 2018 по 2022 год
- Работал инженером программного обеспечения вкомпании ИнтелВГруППеNumericsсстнартПоитаираатрПакт2022Г。
- Работал лектором в得克萨斯大学埃尔帕索分校с 2022 года
Мои аспиранты и стажеры:
Публикации:
Статьи в международных журналах:
- 定点LTI滤波器严格设计的算法方法,с蒂鲍特·希莱尔,иАнастасией Волковой, в电气电子工程师学会计算机期刊, 2019.
- MPDI:一个十进制乘精度区间算术库,с斯特夫·奥姆格雷亚特иClothilde Jeangoudoux公司, в可靠计算杂志, том 25, 2017.
- 二进制和十进制浮点的比较数字,с尼古拉斯布里瑟巴尔,Marc'óмMezzarobba公司иJean-Michel'óм穆勒, в电气电子工程师学会计算机期刊, том 65, 7, июль 2016.
- n向量的忠实四舍五入l2-模的有效计算,с斯特夫·奥姆格雷亚特、Ping Tak Peter Tang、Naoya YamanakaиShin’ichi Oishi先生, вACM数学软件汇刊, том 41, 4, октябрь 2015.
- 论齐夫的舍入检验,с佛罗伦萨,Jean-Michel'óм穆勒и塞尔格诺姆托雷斯,v ACM数学软件交易,第39号,4, 2013;Предварительная публикация版本号:00693317,LIP,CNRS/ENS里昂/INRIA/里昂大学,LIP6,PEQUAN,UPMC巴黎2012年6月6日。
- 近似误差上界的高效精确计算,с西尔万·诺·切维拉德,约翰·哈里森и米欧尔约尔德什《理论计算机科学》,第412、16页,第1523-1543页,2011年,Публикация издательства;Предварительная публикация2010年2月2日,LIP,埃科尔Normale Suprieure de里昂,2010年。
- 验证的浮点实现使用Gappa的初等函数,с佛罗伦萨德狄奈琴и吉拉姆梅尔金德,《IEEE计算机汇刊》,第60卷,第2期,第242-2532011年,Публикация издательства;Предварительная публикация2010年,第00533968号,第003368号,《INRIA》。
- 浮点算法中正确计算整数的四舍五入幂,сJean-Michel'óмMuller女士,彼得·奥斯·科纳鲁普,文森特·莱夫维尔и尼古拉斯·诺姆卢韦,ВACM数学软件交易,том37,1, статья 4, январь 2010,Предварительная публикация第2008-15页,LIP,埃科尔正常供应里昂,2008年。
- 双精度pow(x,y)的一种有效舍入边界检验精度,年文森特列夫列夫《IEEE计算机学报》,2009年,第58期,第2期,第197-207期,2009年。Предварительная публикация第2007-36页,LIP,埃科尔正常供应里昂,2007年。
- 双精度快速正确舍入对数,с佛罗伦萨иJean-Michel'óмMuller女士, вRAIRO,《理论信息学与应用》,2007年,第41期,第85-102页,Предварительная публикация第2005-37号,LIP,埃科尔正常供应里昂,2005年。
Статьи в актах международных конференций:
- 快速严格深度学习的半自动精度和准确度分析框架,сАнастасией Волковой, в会议记录第27届IEEE研讨会计算机算术第19、США条。
- 快速准确生成多项式求值的精度自适应,с尼古拉斯·布鲁尼и吉拉姆·雷维, в会议记录2019年IEEE第30届应用特定系统国际会议,纽约州纽约市,США。
- 严格多项式逼近,в的程序这个2018年信号、系统和计算机Asilomar会议加利福尼亚州太平洋格罗夫,США,2018年。
- 正确舍入的混合半径fused-multiply-add,сClothilde Jeangoudoux公司, в会议记录2018年IEEE第25届计算机算术研讨会马萨诸塞州阿默斯特,США。
- 为什么泰勒模型和修正的泰勒模型在经验上是成功的:基于对称性的解释,с米欧尔约尔德什,马丁·塞贝里奥,乌克兰иВладиком Крейновичом, в2018年第八届可靠工程计算国际研讨会论文集, июль 2018.
- 一种并行补偿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年。
- 一种新的用高级标量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信号、系统和计算机会议2014年,加利福尼亚州太平洋格罗夫。
- Metalibm:数学函数代码生成器,сОльгой Куприяновой,в的程序这个第四届国际数学软件ICMS大会2014年,首尔,第713-717页。
- IEEE754-2008混合基数浮点算法的基数转换,сОльгой КуприяновойиJean-Michel'óм穆勒,в的程序这个2013年信号、系统和计算机亚西洛马会议2013年,加利福尼亚州太平洋格罗夫。
- 二进制64和十进制64浮点数的比较,с尼古拉·布里斯巴雷,马尔科·马扎罗巴и让·米歇尔穆勒, в会议记录第21届IEEE研讨会计算机算术德克萨斯州奥斯汀市,邮编:145-152,апрель 2013,Предварительная публикацияв виде технического докладаARIC、LIP、PEQUAN、LIP6、ensl-00737881,Слайды.
- Sollya:数字代码开发环境,с西尔文舍维拉尔и米欧尔约尔德什, в第三届国际数学软件大会会议记录、ICMS’10、странитт28-31、Кобе、бааиат,2010年,LNCS,斯普林格,Публикация издательства.
- 上确界范数的认证快速计算近似误差,с西尔文舍维拉尔и米奥尔语约尔德什, в第19届IEEE研讨会会议记录计算机算术俄勒冈州波特兰市第169-176号,июль2009,Предварительная публикацияВВиДетехниескоГоДоккаДаа2008-37,LIP,埃科尔Normale Suprieure de里昂,2008年。
- 浮点实现的优化多项式,с佛罗伦萨, в第八届实数和计算机,第7-16页,圣地亚哥德孔波斯特拉2008,Предварительная публикация第2008-11页,LIP,埃科尔正常供应里昂,март2008。
- 初等函数实现的证明无穷范数,с西尔万·诺·切维拉德, в会议记录第七国际质量软件会议波特兰,邮编153-160,俄勒冈州США,Предварительная публикацияиполная версияв виде технического доклада2007年26月,里昂国家标准局,2007年。
- 使用Gappa辅助验证基本函数,с佛罗伦萨и吉拉姆·梅尔金德, в第21届ACM应用学术研讨会会议记录计算-MCMS轨道,第1318-1322页,第戎,Франция, апрель 2006,Предварительная публикацияиполная версия2005年,印度国家研究院。
Технические доклады:
Дипломные работы магистра, кандидатская и докторская диссертация:
- 超越IEEE754浮点运算,(HDR),索邦大学,2019年。
- Arrondi correct de functions数学公式-函数univarie es et bivarie es,认证et自动化,Кандидатская диссертация,里昂高等师范学院,2008年。
- 正确舍入元素的有效评估使用三重中间表示的函数,2005年慕尼黑理工大学。
- 资源管理über drahtgebundene und drahtlose局域网米钦理工大学,КафеаработааПттороатртетиакалносстнсри,2004年。
Презентации и семинары:
- 概念d'un算法numérique correct, с吉拉姆梅尔金德,Calcul Numérique的决策与生殖2013年,法国,Слайды.
- IEEE 754-2008标准的libieee754兼容库,сОльгой Куприяновой第15届GAMM-IMACS科学计算、计算机算术和验证数值国际研讨会,2012年。
- 没有可靠的取整模式,就没有可靠的计算,с瓦莱里·梅尼西尔·莫兰,第15届GAMM-IMACS科学计算、计算机算术和验证数值国际研讨会,2012年。
- De l’implation De functions correction arronides aux libliothèques LIBM IEEE 754-2008 clef en main(安装功能校正附件),презентация перед группой佩泉,Париж, Франция, февраль 2011,Слайды.
- 植入矫正区:假人的CRLibm,презентация для проектаANR塔马迪,里昂,2010年,Слайды.
- Sollya-半自动的数值软件工具高效正确舍入数学的实现功能, презентация по приглашению на конференциюACA公司2008哈根伯格2008,Резюме.
- Quand les boucles deviennent des polynómes ou l’implantation自动化功能,презентация для встреч2008年雨水管理系统,里尔,2008年,Слайды.
- 版本实现自动功能库,презентация для проектаEVA-Flo公司,佩皮尼昂,2007年,Слайды.
- (cr)libm开发的进展,презентация в英特尔波特兰,波特兰,俄勒冈州,США,Октбр2007,Слайды.
- 基本函数的自动生成,презентация перед группой英特尔数值组,в Нижнем Новгороде, Россия, август 2007,Слайды.
- 自动化控制决策和预防浇注格式双双和三双,CACAO、LORIA、Nancy、ФраанаррвГруПреCACAO,2007年。
- 浮点算法的倍增精度综述,第四届泰勒方法国际研讨会,佛罗里达州博卡拉顿,США,Декабрт2006,Резюме,Слайды.
- 用区间算术证明无穷范数,с西尔万·诺·切维拉德,第12届GAMM-IMACS科学计算、计算机算术和验证数值国际研讨会,杜伊斯堡,Гермаанит,сентбр2006,Резюме.
- 正常情况下,医生会在间隔时间内颁发礼仪证书,2006年《国家天文学家杂志》,Слайды.
- 使用三重中间表示法正确舍入初等函数,Journées Arinews,佩皮尼昂,Франтиаит,日期:2005年,Слайды.
Разное:
(开源):
Преподавание:
Контактные данные:
邮件: |
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公司: |
+7 8312 250773 |
Коллекционирование телефонов:
В качестве хобби я коллекционирую старые телефоны и связанные с ними технологии. Некоторую информацию можно найти наэтой странице.
Последнее обновление: 05.02.2024.