Didier Verna
- Laboratoire de Recherche et de Développement de l'EPITA (LRDE)
Présentation
Didier Verna is a professor of computer science at LRE (EPITA Research Laboratory). His research interests include software engineering, programming languages, document engineering and digital typesetting. He gives or has given lectures on Operating Systems, Computer Graphics, Object Orientation, Functional Programming, and Typesetting. Didier Verna is the president of the European Lisp Symposium steering committee and serves or has served as a SC / PC member or chair in many conferences (Dynamic Languages Symposium, ACM Symposium on Applied Computing, Onward!, COP, FARM, etc. ). Didier Verna is also a free software advocate. He was one of the core maintainers of XEmacs for more than 15 years, a contributor to many Emacs Lisp libraries, and author of several LaTeX packages and Common Lisp libraries. He maintains Quickref, the largest Lisp libraries documentation platform. Aside from Computer Science, Didier Verna is also a semi-professional Jazz musician (3 albums) and a certified Aikido instructor. He gives coaching sessions on the theme "Aikido and Conflict Management" for large companies.
Domaines de recherche
Publications
Publications
|
|
Similarity Problems in Paragraph Justification: An Extension to the Knuth-Plass AlgorithmDocEng '24: ACM Symposium on Document Engineering 2024, Aug 2024, San Jose, United States. pp.1-4, ⟨10.1145/3685650.3685666⟩ |
|
|
A large-scale format compliance checker for TeX Font MetricsTUG 2024, TeX Users Group, Jul 2024, Prague, Czech Republic. pp.221-226, ⟨10.47397/tb/45-2/tb140verna-tfm⟩ |
|
|
The Quickref CohortELS 2024, May 2024, Vienna, Austria. ⟨10.5281/zenodo.10947962⟩ |
|
|
A MOP-Based Implementation for Method CombinationsProceedings of the 16th European Lisp Symposium, Apr 2023, Amsterdam, Netherlands. ⟨10.5281/zenodo.7818680⟩ |
|
|
Interactive and real-time typesetting for demonstration and experimentation: ETAPTUG 2023, TeX Users Group, Jul 2023, Bonn, Germany. pp.242-248, ⟨10.47397/tb/44-2/tb137verna-realtime⟩ |
|
|
Structural Analysis of the Additive Noise Impact on the $${\alpha \text {-tree}}$$Computer Analysis of Images and Patterns (CAIP 2023), Sep 2023, Limassol, Cyprus. pp.223-232, ⟨10.1007/978-3-031-44240-7_22⟩ |
|
|
ETAP: Experimental Typesetting Algorithms PlatformELS 2022: 15th European Lisp Symposium, Mar 2022, Porto, Portugal. ⟨10.5281/zenodo.6334248⟩ |
|
|
A Corpus Processing and Analysis Pipeline for Quickref14th European Lisp Symposium, May 2021, Online, France. ⟨10.5281/zenodo.4714443⟩ |
|
|
Quickref: Common Lisp Reference Documentation as a Stress Test for TexinfoTUGboat, Aug 2019, Palo Alto, USA, Unknown Region. pp.119--125 |
|
|
Finite Automata Theory Based Optimization of Conditional Variable BindingELS 2019, the 12th European Lisp Symposium, Apr 2019, Genova, Italy. ⟨10.5281/zenodo.2635412⟩ |
|
|
Parallelizing Quickref12th European Lisp Symposium, Apr 2019, Genova, Italy. ⟨10.5281/zenodo.2632534⟩ |
|
|
Implementing Baker's \textttSUBTYPEP decision procedureELS 2019, the 12th European Lisp Symposium, Apr 2019, Genova, Italy. ⟨10.5281/zenodo.2646982⟩ |
|
|
Method CombinatorsEuropean Lisp Symposium, 2018, Marbella, Spain |
|
|
Recognizing heterogeneous sequences by rational type expressionthe 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, Nov 2018, Boston, United States. ⟨10.1145/3281074.3281077⟩ |
|
|
Strategies for typecase optimizationEuropean Lisp Symposium, Apr 2018, Marbella, Spain |
|
|
Programmatic Manipulation of Common Lisp Type SpecifiersEuropean Lisp Symposium 2017, Apr 2017, Brussels, Belgium. ⟨10.1145/1235⟩ |
|
|
Type-Checking of Heterogeneous Sequences in Common LispEuropean Lisp Symposium 2016, May 2016, Krakow, Poland |
|
|
Context-Oriented Image ProcessingECOOP 2015, Jul 2015, Prague, Czech Republic. ⟨10.1145/2786545.2786547⟩ |
|
|
TiCL: the PrototypeTUG 2013 34th Annual Meeting of the TeX Users Group , Oct 2013, Tokyo, Japan |
|
|
The incredible tale of the author who didn’t want to do the publisher’s job, but eventually had to because the publisher didn’t have a clue about typesetting, although to be honest, the author did some stupid things as well, but fortunately, everything is all right now, however this is an experience the author wouldn’t wish upon anyone, but is still going to narrate it for your greatest enjoyment, and will do so both crying and laughing34th Annual Meeting of the TeX Users Group (TUG 2013), Oct 2013, Tokyo, Japan. pp.1001-1004 |
|
|
Generic Image Processing With ClimbEuropean Lisp Symposium 2012, Apr 2012, Zadar, Croatia. pp.9-12 |
Star TeX: the Next Generation Implementing TEX in Common LispTUG 2012 33rd Annual Meeting of the TeX Users Group, Jul 2012, Boston, United States |
|
|
|
Towards LaTeX Coding StandardsTUG 2011 32nd Annual Meeting of the TeX Users Group , Oct 2011, Trivandrum, India |
|
|
Biological realms in computer scienceOnward! 2011, Oct 2011, Portland, United States. ⟨10.1145/2089131.2089140⟩ |
|
|
Classes, Styles, Conflicts, the BIological Realm of LaTeX31st Annual Meeting of the TeX Users Group (TUG 2010), Jul 2010, San Francisco, CA, United States. pp.1001-1011 |
|
|
CLOS Efficiency: InstantiationInternational Lisp Conference ILC 2009, Mar 2009, Cambridge, United States |
|
|
Binary Methods Programming: the Clos PerspectiveELS European Lisp Symposium 2008, May 2008, Bordeaux, France |
|
|
Beating C in Scientific Computing Applications On the Behavior and Performance of LISP, Part 1ELW 2006 third European Lisp Workshop, Jul 2006, Nantes, France |
|
|
Action Recognition: How Intelligent Virtual Environments Can Ease Human-Machine Interaction6th International Conference on Virtual Systems and Multimedia (VSMM 2000), Oct 2000, Gifu, Japan |
|
|
Urbi et Orbi: Unusual Design and Implementation Choices for Distributed Virtual Environments6th International Conference on Virtual Systems and MultiMedia (VSMM 2000), Oct 2000, Gifu, Japan |
Augmented Reality, the Other Way AroundEGVE 1999, May 1999, Vienna, Austria |
|
Can we define Virtual Reality? the MrIC modelVW 98, Jul 1998, Paris, France |
|
Télé-Opération et Réalité Virtuelle: Assistance à l'Opérateur par Modélisation Cognitive de ses IntentionsIHM 97, Sep 1997, Poitiers, France |
|
|
(Dynamic (programming paradigms)) Performance and expressivitySoftware Engineering [cs.SE]. LRDE - Laboratoire de Recherche et de Développement de l'EPITA, 2020 |
|
|
Lisp, Jazz, Aikido – Three Expressions of a Single EssenceThe Art, Science, and Engineering of Programming, 2018, 2 (3), ⟨10.22152/programming-journal.org/2018/2/10⟩ |
|
|
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision DiagramsACM Transactions on Computational Logic, In press |
Revisiting the Visitor: the Just-Do-It PatternJournal of Universal Computer Science, 2010, 6 (2), ⟨10.3217/jucs-016-02-0246⟩ |
|
Binary Methods Programming: the CLOS Perspective (extended version)Journal of Universal Computer Science, 2008, 14 (20), ⟨10.3217/jucs-014-20-3389⟩ |
|
|
|
LaTeX curricula vitae with the CurVe classThe PracT E X Journal, 2006, 3 |
|
|
Biological Realms in Computer Science2014 |
|
|
Standard output streams default behavior in terminal sessions2012 |
|
|
Clarification Proposal for CLHS Section 22.32011 |
|
|
File-local variables2011 |
|
|
JSPP: Morphing C++ into JavaScript[Research Report] LRDE - Laboratoire de Recherche et de Développement de l'EPITA. 2012 |
Extensible Languages: Blurring the Distinction between DSL and GPLFormal and Practical Aspects of Domain-Specific Languages: Recent Developments, , 2012, 9781466620926. ⟨10.4018/978-1-4666-2092-6.ch001⟩ |
|
|
Télé-Opération et Réalité Virtuelle : assistance à l’opérateur par modélisation cognitive de ses intentionsSciences cognitives. Telecom ParisTech, 2000. Français. ⟨NNT : ⟩ |