Peschanski Frédéric
computer science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
PESCHANSKI Frédéric is working in the department of computer science at Laboratory of Computer Science of Paris 6 (LIP6), France.
Research Interest
Complex Floating Point Arithmetic
Publications
-
O. Bodini, M. Dien, A. Genitrini, F. Peschanski : “Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posetsâ€, Computer Science Symposium in Russia, Kazan, Russia (2017)
-
B. Sall, F. Peschanski, E. Chailloux : “Analyse de Bytecode par Raffinementâ€, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Montpellier, France (2017)
-
F. Peschanski : “A Lisp Way to Type Theory and Formal Proofsâ€, 10th European Lisp Symposium (ELS 2017), Bruxelles, Belgium, (ACM) (2017)
