Version française - Deutsche Version - English version
Christoph Quirin Lauter - Кристоф Квирин Лаутер
Лектор (maître de conférences) в проекте PEQUAN в лаборатории LIP6 в университете Пьер и Мария Кюри (UPMC).
Перед этим инженер программного обеспечения и член группы Numerics в компании Интел.
В прошлом аспирант, принимавший участие в проекте Arénaire в лаборатории LIP под руководством Florent'а de Dinechin.
Женат, детей нет.
Область научного исследования:
Предметом моей кандидатской диссертации являлось правильное округление
элементарных функций, таких как exp(x), log(x), sin(x), asin(x), power(x,y),
в двойной точности по норме IEEE 754.
Программное обеспечение элементарних функций определяет несколько трудностей различных видов:
- теоретические трудности как, например,
дилемма создателя таблиц,
- проблемы прикладного характера, такие как вычисление и доказательство
пределов ошибки приближений или фильтрование
точных аргументов,
- вызовы, такие как, например, сертифицирование действий 100 линий кода плавающей запятой, или
- трудности в (автоматизированной) эффективной реализации, использующей современный хардвер.
Я участвовал в пересмотре нормы IEEE 754, которая владеет миром арифметики
с помощью плавающей запятой. С Florent'ом de Dinechin и
Jean-Michel'ом Muller, я предложил следующее
переформулирование главы о
элементарних функциях. Предложенная формулировка
может быть прочитана здесь. Последующий комментарий версии черновика 1.6.0 от 10 января 2008 года находится здесь.
Я провёл исследование о способах автоматизации программного обеспечения и сертификации математической функции.С того времени я интересуюсь алгоритмами, гарантирующими результат, используемыми для решения нетривиальных вычислительных задач. Например, позвольте мне рассказать о вычислении бесконечной нормы составной функции.В данном случае под вычислением понимается минорирование и, что более важно, мажорирование неизвестного супремума функции. Функция принимает форму дерева выражения. Основные функции или коды-"чёрные ящики" являются его листьями. Разумеется, оценка такого дерева при переменной точности в одной точке или в маленьком интервале является важной и основной задачей. Всё это приводит прямо к вопросам об адаптации точности для обеспечения округления с точностью до одного ulpа.
Я интегрировал эти алгоритмы в софтвер утилити Солья. Солья является надёжной поддержкой программирования элементарных функций. Я использовал Солью в разработке моего проекта Metalibm, нацеленного на автоматическую генерацию математических функций (libm).
Краткая биография:
Публикации:
Статьи в международных журналах:
- Efficient and accurate computation of upper bounds of approximation errors,
с Sylvain'ом Chevillard,
John'ом Harrison и Mioar'ой
Joldeş, в Theoretical Computer Science, том 412, 16, страницы 1523-1543, 2011, Публикация издательства; Предварительная публикация
в виде технического доклада 2010-2, LIP, École Normale Supérieure de
Lyon, июль 2010.
- Certifying the floating-point implementation of an
elementary function using Gappa,
с Florent'ом
de Dinechin
и Guillaum'ом
Melquiond, в IEEE Transactions on Computers, том 60, 2, страницы 242-253, 2011, Публикация издательства; Предварительная публикация
в виде технического доклада INRIA inria-00533968, ноябрь 2010.
- Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic,
с Jean-Michel'ом Muller,
Peter'ом Kornerup,
Vincent'ом Lefèvre и
Nicolas'ом
Louvet, в ACM Transactions on Mathematical Software, том 37,
1, статья 4, январь 2010,
Предварительная публикация
в виде технического доклада 2008-15, LIP, École Normale Supérieure de
Lyon, май 2008.
- An efficient rounding boundary test for pow(x,y) in double
precision, с Vincent'ом
Lefèvre, в IEEE Transactions on Computers, 2009, том 58, 2, страницы 197-207, февраль 2009.
Предварительная публикация
в виде технического доклада 2007-36, LIP, École Normale Supérieure de
Lyon, август 2007.
- Fast and correctly rounded logarithms in double-precision,
с Florent'ом de Dinechin
и Jean-Michel'ом Muller, в
RAIRO, Theoretical Informatics and Applications, 2007, том 41, страницы 85-102,
Предварительная публикация
в виде технического доклада 2005-37, LIP, École Normale Supérieure de
Lyon, сентябрь 2005.
Статьи, принятые для будущей публикации:
Статьи в актах международных конференций:
- Sollya: an environment for the development of numerical codes,
с Sylvain'ом
Chevillard
и Mioar'ой
Joldeş, в Proceedings of the Third international congress conference on Mathematical Software, ICMS'10, страницы 28-31, Кобе, Япония,
сентябрь 2010, LNCS, Springer, Публикация издательства.
- Certified and fast computation of supremum norms of
approximation errors,
с Sylvain'ом
Chevillard
и Mioar'ой
Joldeş, в Proceedings of the 19th IEEE Symposium on
Computer Arithmetic, страницы 169-176, Portland, Oregon, США,
июль
2009, Предварительная публикация
в виде технического доклада 2008-37, LIP, École Normale Supérieure de
Lyon, октябрь 2008.
- Optimizing polynomials for floating-point implementation,
с Florent'ом de Dinechin, в
Proceedings of the 8th Conference on Real Numbers and
Computers, страницы 7-16, Santiago de Compostela, Испания, июль
2008, Предварительная публикация
в виде технического доклада 2008-11, LIP, École Normale Supérieure de
Lyon, март 2008.
- A certified infinite norm for the implementation of elementary functions,
с Sylvain'ом Chevillard, в
Proceedings of the
Seventh International
Conference on Quality Software, страницы 153-160, Portland,
Oregon, США, октябрь 2007,
Предварительная публикация и
полная версия в виде технического доклада
2007-26, LIP, École Normale Supérieure de Lyon, июнь 2007.
- Assisted verification of elementary functions using Gappa,
с Florent'ом de Dinechin
и Guillaum'ом Melquiond, в
Proceedings of the 21st Annual ACM Symposium on Applied
Computing - MCMS Track, том 2, страницы 1318-1322, Dijon,
Франция, апрель 2006,
Предварительная публикация и
полная версия в виде технического доклада N° 5683, INRIA, сентябрь 2005.
Технические доклады:
- Efficient and accurate computation of upper bounds of approximation errors,
с Sylvain'ом
Chevillard,
John'ом Harrison
и Mioar'ой
Joldeş, Технический доклад
2010-2, LIP, CNRS/ENS Lyon/INRIA/Université de Lyon, INRIA, LORIA, CACAO project и
Intel Corporation, Hillsboro,
Oregon, США, январь 2010.
- Certifying floating-point implementations using Gappa,
с Florent'ом de Dinechin
и Guillaum'ом Melquiond,
Технический доклад
arXiv: 0801.0523, LIP, CNRS/ENS Lyon/INRIA/Université de Lyon,
январь 2008.
- Exact and mid-point rounding cases of power(x,y),
Технический доклад
2006-46, LIP, École Normale Supérieure de Lyon, декабрь 2006.
- Basic building blocks for a triple-double intermediate format,
Технический доклад
RR-5702, INRIA, сентябрь 2005.
- Fast correct rounding of elementary functions in double
precision using double-extended arithmetic,
с Florent'ом
de Dinechin
и David'ом Defour,
Технический доклад
2004-10, LIP, École Normale Supérieure de Lyon, март 2004.
- A correctly rounded implementation of the exponential
function on the Intel Itanium architecture,
Технический доклад
RR-5024, INRIA, декабрь 2003.
Дипломные работы магистра и кандидатская диссертация:
- Arrondi correct de fonctions mathématiques - Fonctions
univariées et bivariées, certification et automatisation,
Кандидатская диссертация,
École Normale Supérieure de Lyon, октябрь 2008.
- Effective evaluation of correctly rounded elementary
functions using triple-double intermediate representation,
Дипломная работа, Technische Universität München, Факультет Информатики, сентябрь 2005.
- Ressourcenmanagement über drahtgebundene und drahtlose
LAN, Дипломная работа по второй специальности, Technische Universität München, Кафедра Сетей и Электросвязей, 2004.
Презентации и семинары:
- De l'implantation de fonctions correctement arrondies aux bibliothèques LIBM IEEE 754-2008 clef en main,
презентация перед группой PEQUAN,
Париж, Франция, февраль 2011, Слайды.
- L'implantation d'une fonction correctement arrondie, ou : CRLibm for dummies,
презентация для проекта ANR TaMaDi,
Lyon, Франция, октябрь 2010, Слайды.
- Sollya - a numerical software tool for the semi-automatic
implementation of efficient correctly rounded mathematical
functions, презентация по приглашению на конференцию ACA
2008, Hagenberg, Австрия, июль
2008, Резюме.
- Quand les boucles deviennent des polynômes ou l'implantation automatique de fonctions,
презентация для встреч RAIM 2008,
Lille, Франция, июнь 2008, Слайды.
- Vers une implémentation automatique de fonctions libm,
презентация для проекта EVA-Flo,
Perpignan, Франция, октябрь 2007, Слайды.
- Advancements in (cr)libm development,
презентация в Intel Portland,
Portland, Orgeon, США, октябрь 2007, Слайды.
- Towards automatic generation of elementary functions,
презентация перед группой Intel Numerics Group,
в Нижнем Новгороде, Россия, август 2007, Слайды.
- Automatisation du contrôle de précision et de la preuve pour les formats double-double et triple-double,
Семинар в группе CACAO, LORIA, Nancy, Франция, январь 2007,
Резюме.
- A Survey of Multiple-Precision Using Floating-Point Arithmetic,
Fourth International Workshop on Taylor Methods, Boca Raton, Florida, США, декабрь 2006,
Резюме, Слайды.
- Certified infinite norm using interval arithmetic,
с Sylvain'ом Chevillard,
12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, Duisburg, Германия, сентябрь 2006, Резюме.
- Normes infinies certifiées par l'arithmétique d'intervalles,
Journées Nationales d'Arithmétique des Ordinateurs 2006, май-июнь 2006,
Слайды.
- Correctly rounding elementary functions using triple-double intermediate representation,
Journées Arinews, Perpignan, Франция, ноябрь 2005,
Слайды.
Разное:
Запрограммированный софтвер (open source):
Преподавание:
- Практика в Parallel Numerics, Master Computer Science in Engineering, Technische Universität München
- Практика в компиляции, урок Master, ENS Lyon
- Практика в Term Rewriting, урок Bachelor, ENS Lyon
- Практика в алгоритмах для арифметики 2007, урок Master, ENS Lyon
- Практика по предмету "Архитектура, системы, сети"
- Практика в алгоритмах для арифметики 2008, урок Master, ENS Lyon
- Практика по предмету "Ознакомление с основами автоматизации задач (LI218)", урок Bachelor L2, UPMC Paris 6
- Практика по предмету "Ознакомление с основами программирования в языке C (LI115)", урок Bachelor L2, UPMC Paris 6
- Практика по предмету "Операционное исследование и оптимизация", урок Master M2, UPMC Paris 6
- Практика по предмету "Распараллеливание программ", урок ELI4, École Polytechnique, UPMC Paris 6
Контактные данные:
| Mail: |
christoph.lauter@ens-lyon.org |
| Адрес: |
Université Pierre et Marie Curie
Laboratoire d'Informatique de Paris 6
Équipe PEQUAN
Boîte Courrier 169
4, place Jussieu
F - 75252 Paris Cedex 05
Франция |
| Телефон: |
+33 1 44 27 80 29
+33 1 82 52 17 77
+33 6 71 59 39 13
+1 503 468 4475
+49 9621 778117 |
| Ekiga: |
christoph.lauter@ekiga.net |
| Скайп: |
cqlauter |
Последнее обновление: 26.05.2011.
