Didier Verna

Identifiants chercheurs

IdHAL :

didierverna

ORCID :

0000-0002-6315-052X

IdRef :

057757488

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 &quot;Aikido and Conflict Management&quot; for large companies.

Publications

Communication dans un congrès (33)

Similarity Problems in Paragraph Justification: An Extension to the Knuth-Plass Algorithm Didier E Verna DocEng '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-04751417v1
A large-scale format compliance checker for TeX Font Metrics Didier E Verna TUG 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-04751395v1
The Quickref Cohort Didier E Verna ELS 2024, May 2024, Vienna, Austria. ⟨10.5281/zenodo.10947962⟩ Communication dans un congrès hal-04751350v1
A MOP-Based Implementation for Method Combinations Didier E Verna Proceedings of the 16th European Lisp Symposium, Apr 2023, Amsterdam, Netherlands. ⟨10.5281/zenodo.7818680⟩ Communication dans un congrès hal-04751233v1
Interactive and real-time typesetting for demonstration and experimentation: ETAP Didier E Verna TUG 2023, TeX Users Group, Jul 2023, Bonn, Germany. pp.242-248, ⟨10.47397/tb/44-2/tb137verna-realtime⟩ Communication dans un congrès hal-04751294v1
Structural Analysis of the Additive Noise Impact on the $${\alpha \text {-tree}}$$ Baptiste Esteban,Guillaume Tochon,Edwin Carlinet,Didier Verna 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-04226810v1
ETAP: Experimental Typesetting Algorithms Platform Didier E Verna ELS 2022: 15th European Lisp Symposium, Mar 2022, Porto, Portugal. ⟨10.5281/zenodo.6334248⟩ Communication dans un congrès hal-03607739v2
A Corpus Processing and Analysis Pipeline for Quickref Antoine Hacquard,Didier E Verna 14th European Lisp Symposium, May 2021, Online, France. ⟨10.5281/zenodo.4714443⟩ Communication dans un congrès hal-03216684v1
Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo Didier E Verna TUGboat, Aug 2019, Palo Alto, USA, Unknown Region. pp.119--125 Communication dans un congrès hal-04580387v1
Finite Automata Theory Based Optimization of Conditional Variable Binding Jim Newton,Didier E Verna ELS 2019, the 12th European Lisp Symposium, Apr 2019, Genova, Italy. ⟨10.5281/zenodo.2635412⟩ Communication dans un congrès hal-04580378v1
Parallelizing Quickref Didier E Verna 12th European Lisp Symposium, Apr 2019, Genova, Italy. ⟨10.5281/zenodo.2632534⟩ Communication dans un congrès hal-02092939v1
Implementing Baker's \textttSUBTYPEP decision procedure Léo Valais,Jim Newton,Didier E Verna ELS 2019, the 12th European Lisp Symposium, Apr 2019, Genova, Italy. ⟨10.5281/zenodo.2646982⟩ Communication dans un congrès hal-04580386v1
Method Combinators Didier E Verna European Lisp Symposium, 2018, Marbella, Spain Communication dans un congrès hal-01813488v1
Recognizing heterogeneous sequences by rational type expression Jim E Newton,Didier E Verna the 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-01880226v1
Strategies for typecase optimization Jim E Newton,Didier E Verna European Lisp Symposium, Apr 2018, Marbella, Spain Communication dans un congrès hal-01770939v1
Programmatic Manipulation of Common Lisp Type Specifiers Jim E Newton,Didier E Verna,Maximilien Colange European Lisp Symposium 2017, Apr 2017, Brussels, Belgium. ⟨10.1145/1235⟩ Communication dans un congrès hal-01639566v1
Type-Checking of Heterogeneous Sequences in Common Lisp Jim E Newton,Akim E Demaille,Didier E Verna European Lisp Symposium 2016, May 2016, Krakow, Poland Communication dans un congrès hal-01380792v1
Context-Oriented Image Processing Didier E Verna ECOOP 2015, Jul 2015, Prague, Czech Republic. ⟨10.1145/2786545.2786547⟩ Communication dans un congrès hal-01542841v1
TiCL: the Prototype Didier E Verna TUG 2013 34th Annual Meeting of the TeX Users Group , Oct 2013, Tokyo, Japan Communication dans un congrès hal-01542898v1
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 laughing Didier E Verna 34th Annual Meeting of the TeX Users Group (TUG 2013), Oct 2013, Tokyo, Japan. pp.1001-1004 Communication dans un congrès hal-01542878v1
Generic Image Processing With Climb Laurent Senta,Christopher Chedeau,Didier Verna European Lisp Symposium 2012, Apr 2012, Zadar, Croatia. pp.9-12 Communication dans un congrès hal-01543019v1
Star TeX: the Next Generation Implementing TEX in Common Lisp Didier E Verna TUG 2012 33rd Annual Meeting of the TeX Users Group, Jul 2012, Boston, United States Communication dans un congrès hal-01542969v1
Towards LaTeX Coding Standards Didier E Verna TUG 2011 32nd Annual Meeting of the TeX Users Group , Oct 2011, Trivandrum, India Communication dans un congrès hal-01543098v1
Biological realms in computer science Didier E Verna Onward! 2011, Oct 2011, Portland, United States. ⟨10.1145/2089131.2089140⟩ Communication dans un congrès hal-01543076v1
Classes, Styles, Conflicts, the BIological Realm of LaTeX Didier E Verna 31st 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-01543338v1
CLOS Efficiency: Instantiation Didier E Verna International Lisp Conference ILC 2009, Mar 2009, Cambridge, United States Communication dans un congrès hal-01543396v1
Binary Methods Programming: the Clos Perspective Didier Verna ELS European Lisp Symposium 2008, May 2008, Bordeaux, France Communication dans un congrès hal-01544118v1
Beating C in Scientific Computing Applications On the Behavior and Performance of LISP, Part 1 Didier E Verna ELW 2006 third European Lisp Workshop, Jul 2006, Nantes, France Communication dans un congrès hal-01544135v1
Action Recognition: How Intelligent Virtual Environments Can Ease Human-Machine Interaction Didier Verna 6th International Conference on Virtual Systems and Multimedia (VSMM 2000), Oct 2000, Gifu, Japan Communication dans un congrès hal-01544253v1
Urbi et Orbi: Unusual Design and Implementation Choices for Distributed Virtual Environments Didier E Verna,Yoann Fabre,Guillaume Pitel 6th International Conference on Virtual Systems and MultiMedia (VSMM 2000), Oct 2000, Gifu, Japan Communication dans un congrès hal-01544214v1
Augmented Reality, the Other Way Around Didier E Verna EGVE 1999, May 1999, Vienna, Austria Communication dans un congrès hal-01544263v1
Can we define Virtual Reality? the MrIC model Didier E Verna VW 98, Jul 1998, Paris, France Communication dans un congrès hal-01544305v1
Télé-Opération et Réalité Virtuelle: Assistance à l'Opérateur par Modélisation Cognitive de ses Intentions Didier E Verna IHM 97, Sep 1997, Poitiers, France Communication dans un congrès hal-01544320v1

HDR (1)

(Dynamic (programming paradigms)) Performance and expressivity Didier E Verna Software Engineering [cs.SE]. LRDE - Laboratoire de Recherche et de Développement de l'EPITA, 2020 HDR hal-02988180v1

Article dans une revue (5)

Lisp, Jazz, Aikido – Three Expressions of a Single Essence Didier E Verna The Art, Science, and Engineering of Programming, 2018, 2 (3), ⟨10.22152/programming-journal.org/2018/2/10⟩ Article dans une revue hal-01813470v1
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams Jim E Newton,Didier E Verna ACM Transactions on Computational Logic, In press Article dans une revue hal-01880774v1
Revisiting the Visitor: the Just-Do-It Pattern Didier E Verna Journal of Universal Computer Science, 2010, 6 (2), ⟨10.3217/jucs-016-02-0246⟩ Article dans une revue hal-01543389v1
Binary Methods Programming: the CLOS Perspective (extended version) Didier E Verna Journal of Universal Computer Science, 2008, 14 (20), ⟨10.3217/jucs-014-20-3389⟩ Article dans une revue hal-01544115v1
LaTeX curricula vitae with the CurVe class Didier Verna The PracT E X Journal, 2006, 3 Article dans une revue hal-01544130v1

Autre publication scientifique (4)

Biological Realms in Computer Science Didier E Verna 2014 Autre publication scientifique hal-01544343v1
Standard output streams default behavior in terminal sessions Didier Verna 2012 Autre publication scientifique hal-01542915v1
Clarification Proposal for CLHS Section 22.3 Didier E Verna 2011 Autre publication scientifique hal-01548425v1
File-local variables Didier E Verna 2011 Autre publication scientifique hal-01543109v1

Rapport (1)

JSPP: Morphing C++ into JavaScript Christopher Chedeau,Didier E Verna [Research Report] LRDE - Laboratoire de Recherche et de Développement de l'EPITA. 2012 Rapport (rapport de recherche) hal-01543025v1

Chapitre d'ouvrage (1)

Extensible Languages: Blurring the Distinction between DSL and GPL Didier E Verna Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, , 2012, 9781466620926. ⟨10.4018/978-1-4666-2092-6.ch001⟩ Chapitre d'ouvrage hal-01542954v1

Thèse (1)

Télé-Opération et Réalité Virtuelle : assistance à l’opérateur par modélisation cognitive de ses intentions Didier E Verna Sciences cognitives. Telecom ParisTech, 2000. Français. ⟨NNT : ⟩ Thèse tel-01542754v1