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⟩
Communication dans un congrès
hal-04751417
v1
|
|
|
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⟩
Communication dans un congrès
hal-04751395
v1
|
|
|
The Quickref CohortELS 2024, May 2024, Vienna, Austria. ⟨10.5281/zenodo.10947962⟩
Communication dans un congrès
hal-04751350
v1
|
|
|
A MOP-Based Implementation for Method CombinationsProceedings of the 16th European Lisp Symposium, Apr 2023, Amsterdam, Netherlands. ⟨10.5281/zenodo.7818680⟩
Communication dans un congrès
hal-04751233
v1
|
|
|
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⟩
Communication dans un congrès
hal-04226810
v1
|
|
|
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⟩
Communication dans un congrès
hal-04751294
v1
|
|
|
ETAP: Experimental Typesetting Algorithms PlatformELS 2022: 15th European Lisp Symposium, Mar 2022, Porto, Portugal. ⟨10.5281/zenodo.6334248⟩
Communication dans un congrès
hal-03607739
v2
|
|
|
A Corpus Processing and Analysis Pipeline for Quickref14th European Lisp Symposium, May 2021, Online, France. ⟨10.5281/zenodo.4714443⟩
Communication dans un congrès
hal-03216684
v1
|
|
|
Quickref: Common Lisp Reference Documentation as a Stress Test for TexinfoTUGboat, Aug 2019, Palo Alto, USA, Unknown Region. pp.119--125
Communication dans un congrès
hal-04580387
v1
|
|
|
Finite Automata Theory Based Optimization of Conditional Variable BindingELS 2019, the 12th European Lisp Symposium, Apr 2019, Genova, Italy. ⟨10.5281/zenodo.2635412⟩
Communication dans un congrès
hal-04580378
v1
|
|
|
Parallelizing Quickref12th European Lisp Symposium, Apr 2019, Genova, Italy. ⟨10.5281/zenodo.2632534⟩
Communication dans un congrès
hal-02092939
v1
|
|
|
Implementing Baker's \textttSUBTYPEP decision procedureELS 2019, the 12th European Lisp Symposium, Apr 2019, Genova, Italy. ⟨10.5281/zenodo.2646982⟩
Communication dans un congrès
hal-04580386
v1
|
|
|
Method CombinatorsEuropean Lisp Symposium, 2018, Marbella, Spain
Communication dans un congrès
hal-01813488
v1
|
|
|
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⟩
Communication dans un congrès
hal-01880226
v1
|
|
|
Strategies for typecase optimizationEuropean Lisp Symposium, Apr 2018, Marbella, Spain
Communication dans un congrès
hal-01770939
v1
|
|
|
Programmatic Manipulation of Common Lisp Type SpecifiersEuropean Lisp Symposium 2017, Apr 2017, Brussels, Belgium. ⟨10.1145/1235⟩
Communication dans un congrès
hal-01639566
v1
|
|
|
Type-Checking of Heterogeneous Sequences in Common LispEuropean Lisp Symposium 2016, May 2016, Krakow, Poland
Communication dans un congrès
hal-01380792
v1
|
|
|
Context-Oriented Image ProcessingECOOP 2015, Jul 2015, Prague, Czech Republic. ⟨10.1145/2786545.2786547⟩
Communication dans un congrès
hal-01542841
v1
|
|
|
TiCL: the PrototypeTUG 2013 34th Annual Meeting of the TeX Users Group , Oct 2013, Tokyo, Japan
Communication dans un congrès
hal-01542898
v1
|
|
|
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
Communication dans un congrès
hal-01542878
v1
|
|
|
Generic Image Processing With ClimbEuropean Lisp Symposium 2012, Apr 2012, Zadar, Croatia. pp.9-12
Communication dans un congrès
hal-01543019
v1
|
Star TeX: the Next Generation Implementing TEX in Common LispTUG 2012 33rd Annual Meeting of the TeX Users Group, Jul 2012, Boston, United States
Communication dans un congrès
hal-01542969
v1
|
|
|
|
Towards LaTeX Coding StandardsTUG 2011 32nd Annual Meeting of the TeX Users Group , Oct 2011, Trivandrum, India
Communication dans un congrès
hal-01543098
v1
|
|
|
Biological realms in computer scienceOnward! 2011, Oct 2011, Portland, United States. ⟨10.1145/2089131.2089140⟩
Communication dans un congrès
hal-01543076
v1
|
|
|
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
Communication dans un congrès
hal-01543338
v1
|
|
|
CLOS Efficiency: Instantiation International Lisp Conference ILC 2009, Mar 2009, Cambridge, United States
Communication dans un congrès
hal-01543396
v1
|
|
|
Binary Methods Programming: the Clos PerspectiveELS European Lisp Symposium 2008, May 2008, Bordeaux, France
Communication dans un congrès
hal-01544118
v1
|
|
|
Beating C in Scientific Computing Applications On the Behavior and Performance of LISP, Part 1ELW 2006 third European Lisp Workshop, Jul 2006, Nantes, France
Communication dans un congrès
hal-01544135
v1
|
|
|
Action Recognition: How Intelligent Virtual Environments Can Ease Human-Machine Interaction6th International Conference on Virtual Systems and Multimedia (VSMM 2000), Oct 2000, Gifu, Japan
Communication dans un congrès
hal-01544253
v1
|
|
|
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
Communication dans un congrès
hal-01544214
v1
|
Augmented Reality, the Other Way AroundEGVE 1999, May 1999, Vienna, Austria
Communication dans un congrès
hal-01544263
v1
|
|
Can we define Virtual Reality? the MrIC modelVW 98, Jul 1998, Paris, France
Communication dans un congrès
hal-01544305
v1
|
|
Télé-Opération et Réalité Virtuelle: Assistance à l'Opérateur par Modélisation Cognitive de ses IntentionsIHM 97, Sep 1997, Poitiers, France
Communication dans un congrès
hal-01544320
v1
|
|
|
(Dynamic (programming paradigms)) Performance and expressivitySoftware Engineering [cs.SE]. LRDE - Laboratoire de Recherche et de Développement de l'EPITA, 2020
HDR
hal-02988180
v1
|
|
|
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⟩
Article dans une revue
hal-01813470
v1
|
|
|
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision DiagramsACM Transactions on Computational Logic, In press
Article dans une revue
hal-01880774
v1
|
Revisiting the Visitor: the Just-Do-It PatternJournal of Universal Computer Science, 2010, 6 (2), ⟨10.3217/jucs-016-02-0246⟩
Article dans une revue
hal-01543389
v1
|
|
Binary Methods Programming: the CLOS Perspective (extended version)Journal of Universal Computer Science, 2008, 14 (20), ⟨10.3217/jucs-014-20-3389⟩
Article dans une revue
hal-01544115
v1
|
|
|
|
LaTeX curricula vitae with the CurVe classThe PracT E X Journal, 2006, 3
Article dans une revue
hal-01544130
v1
|
|
|
Biological Realms in Computer Science2014
Autre publication scientifique
hal-01544343
v1
|
|
|
Standard output streams default behavior in terminal sessions2012
Autre publication scientifique
hal-01542915
v1
|
|
|
Clarification Proposal for CLHS Section 22.32011
Autre publication scientifique
hal-01548425
v1
|
|
|
File-local variables2011
Autre publication scientifique
hal-01543109
v1
|
|
|
JSPP: Morphing C++ into JavaScript[Research Report] LRDE - Laboratoire de Recherche et de Développement de l'EPITA. 2012
Rapport
(rapport de recherche)
hal-01543025
v1
|
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⟩
Chapitre d'ouvrage
hal-01542954
v1
|
|
|
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 : ⟩
Thèse
tel-01542754
v1
|