„Repeat after me: "Obj. magic is not part of the OCaml language."“
Sources
Источник: Xavier Leroy (2009-10-28), Post to the Caml mailing list, 2009-10-28 http://article.gmane.org/gmane.comp.lang.caml.general/47389,
Дата рождения: 15. Март 1968
Ксавье Леруа — французский информатик и программист. Известен как основной разработчик системы OCaml.
Старший научный сотрудник французского государственного научно-исследовательского учреждения INRIA. Лерой был принят в Эколь Нормаль в Париже в 1987 году, где он изучал математику и информатику. С 1989 по 1992 он защитил кандидатскую диссертацию в области компьютерных наук под руководством Жерара Юэ.
Является международно признанным экспертом по языкам и компиляторам функционального программирования. В последнее время приобрёл интерес к формальным методам, формальным проверкам и сертифицированной компиляции. Он является руководителем проекта CompCert, который разрабатывает оптимизирующий компилятор для С, формально верифицированный в Coq.
Лерой был также оригинальным автором LinuxThreads, наиболее широко используемого пакета, реализующие потоки пакета в ОС Linux с версиями ядра Linux 2.0, 2.2, 2.4. Вместе с ядром Linux 2.6 для замены LinuxThreads была введена библиотека NPTL, с гораздо более широкой поддержкой со стороны ядра.
В 2015 был объявлен действительным членом Ассоциации вычислительной техники «за вклад в безопасные, высокоэффективные функциональные языки программирования и компиляторы, и верификацию компилятора». В 2016 был удостоен премии Милнера Лондонским королевским обществом.
Sources
Источник: Xavier Leroy (2009-10-28), Post to the Caml mailing list, 2009-10-28 http://article.gmane.org/gmane.comp.lang.caml.general/47389,
Sources
Источник: Xavier Leroy (2005-07-23), Post to the Caml mailing list, 2008-02-20 http://caml.inria.fr/pub/ml-archives/caml-list/2005/07/0d3297c63e4b92fd956ea53d7b9ff255.en.html,
Sources
Источник: Xavier Leroy (2002-06-20), Post to the Caml mailing list, 2010-08-06 http://caml.inria.fr/pub/ml-archives/caml-list/2002/06/4d57fe13abe8b7823d9c5ca9379d37ce.en.html,
Sources
Источник: Xavier Leroy (2007-11-28), Post to the Caml mailing list, 2007-11-30 http://caml.inria.fr/pub/ml-archives/caml-list/2007/11/d7e444376489e889d3004f6c7d412713.en.html,
Sources
Источник: Xavier Leroy (2007) Conclusion of his seminar at Collège de France, 2009-03-13 http://www.college-de-france.fr/default/EN/all/inn_tec2007/seminaire_n3_xavier_leroy.htm,