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

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

The Quickref Cohort

Didier E Verna

ELS 2024, May 2024, Vienna, Austria. ⟨10.5281/zenodo.10947962⟩

Communication dans un congrès hal-04751350v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Parallelizing Quickref

Didier E Verna

12th European Lisp Symposium, Apr 2019, Genova, Italy. ⟨10.5281/zenodo.2632534⟩

Communication dans un congrès hal-02092939v1
Deposit thumbnail

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
Deposit thumbnail

Method Combinators

Didier E Verna

European Lisp Symposium, 2018, Marbella, Spain

Communication dans un congrès hal-01813488v1
Deposit thumbnail

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
Deposit thumbnail

Strategies for typecase optimization

Jim E Newton , Didier E Verna

European Lisp Symposium, Apr 2018, Marbella, Spain

Communication dans un congrès hal-01770939v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

CLOS Efficiency: Instantiation

Didier E Verna

International Lisp Conference ILC 2009, Mar 2009, Cambridge, United States

Communication dans un congrès hal-01543396v1
Deposit thumbnail

Binary Methods Programming: the Clos Perspective

Didier Verna

ELS European Lisp Symposium 2008, May 2008, Bordeaux, France

Communication dans un congrès hal-01544118v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

(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
Deposit thumbnail

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

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