Didier Verna

87%
Libre accès
46
Documents
Affiliation actuelle
  • Laboratoire de Recherche et de Développement de l'EPITA (LRDE)
Identifiants chercheurs
Contact

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

Génie logiciel [cs.SE] Langage de programmation [cs.PL]

Publications

15
9
5
5
4
3
1
1
1
1
1
8
7
5
5
4
4
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Publications

Image document

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-04751417 v1
Image document

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-04751395 v1
Image document

The Quickref Cohort

Didier E Verna
ELS 2024, May 2024, Vienna, Austria. ⟨10.5281/zenodo.10947962⟩
Communication dans un congrès hal-04751350 v1
Image document

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-04751233 v1
Image document

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-04226810 v1
Image document

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-04751294 v1
Image document

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-03607739 v2
Image document

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-03216684 v1
Image document

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-04580387 v1
Image document

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-04580378 v1
Image document

Parallelizing Quickref

Didier E Verna
12th European Lisp Symposium, Apr 2019, Genova, Italy. ⟨10.5281/zenodo.2632534⟩
Communication dans un congrès hal-02092939 v1
Image document

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-04580386 v1
Image document

Method Combinators

Didier E Verna
European Lisp Symposium, 2018, Marbella, Spain
Communication dans un congrès hal-01813488 v1
Image document

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-01880226 v1
Image document

Strategies for typecase optimization

Jim E Newton , Didier E Verna
European Lisp Symposium, Apr 2018, Marbella, Spain
Communication dans un congrès hal-01770939 v1
Image document

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-01639566 v1
Image document

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-01380792 v1
Image document

Context-Oriented Image Processing

Didier E Verna
ECOOP 2015, Jul 2015, Prague, Czech Republic. ⟨10.1145/2786545.2786547⟩
Communication dans un congrès hal-01542841 v1
Image document

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-01542898 v1
Image document

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-01542878 v1
Image document

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-01543019 v1

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-01542969 v1
Image document

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-01543098 v1
Image document

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-01543076 v1
Image document

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-01543338 v1
Image document

CLOS Efficiency: Instantiation

Didier E Verna
International Lisp Conference ILC 2009, Mar 2009, Cambridge, United States
Communication dans un congrès hal-01543396 v1
Image document

Binary Methods Programming: the Clos Perspective

Didier Verna
ELS European Lisp Symposium 2008, May 2008, Bordeaux, France
Communication dans un congrès hal-01544118 v1
Image document

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-01544135 v1
Image document

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-01544253 v1
Image document

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-01544214 v1

Augmented Reality, the Other Way Around

Didier E Verna
EGVE 1999, May 1999, Vienna, Austria
Communication dans un congrès hal-01544263 v1

Can we define Virtual Reality? the MrIC model

Didier E Verna
VW 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 Intentions

Didier E Verna
IHM 97, Sep 1997, Poitiers, France
Communication dans un congrès hal-01544320 v1
Image document

(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-02988180 v1
Image document

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-01543025 v1

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-01542954 v1