Curriculum Vitæ
Didier Verna
Epita/ Lre
14–16 rue Voltaire,
94276 Le Kremlin-Bicêtre
didier.verna@epita.fr
https://lrde.epita.fr/~didier
0000-0002-6315-052X prole/Didier_Verna in/didierverna
Actuellement
Position : Enseignant-Chercheur habilité à diriger les recherches
Établissement d’enseignement : École pour l’Informatique et les Techniques Avancées (Epita)
Établissement de Recherche : Laboratoire de Recherche de l’Epita (Lre)
Distinctions
Reviewers Choice Award 2018 du Art, Science and Engineering of Programming Journal
(Verna, 2018a, n
o
3)
Best Paper Award 2006 du European Lisp Workshop
(Verna, 2006a, n
o
42)
Parcours
2024 Qualication Professeur des Universités
Section : 27 — Informatique
Jury : Olga Kouchnarenko, Céline Rouveirol
2020 Habilitation à Diriger les Recherches, Edite de Paris, Sorbonne Université, Epita/Lre
Titre : (dynamic (programming paradigms)) ; ; performance and expressivity
Jury : Manuel Serrano, INRIA, Sophia Antipolis, France (rapporteur)
Robert Strandh, Université de Bordeaux, France (rapporteur)
Nicolas Neuß, FAU, Erlangen-Nürnberg, Allemagne (rapporteur)
Marco Antoniotti, Université de Milan-Bicocca, Italie (examinateur)
Ralf Möller, Université de Lübeck, Allemagne (examinateur)
Gérard Assayag, IRCAM, Paris, France (examinateur).
2000 Docteur de l’École Nationale Supérieure des Télécommunications de Paris (Enst)
Titre :
Téléopération et Réalité Virtuelle — Assistance à l’Opérateur par Modélisation Cognitive de ses
Intentions
Jury : Philippe Coiet, Jean-François Richard (rapporteurs)
Jean-Paul Papin (examinateur)
Alain Grumbach (directeur)
1994 Ingénieur de l’Enst, spécialisation Informatique et Réseaux
1988 Baccalauréat scientique (C)
1
Expériences Professionnelles
2014–… Membre de l’Edite de Paris (École Doctorale Informatique, Télécommunications et Électronique)
2005–2018 Enseignant à l’Enst, l’Ensta, l’Upmc, l’École des Beaux Arts et Ionis stm (vacations)
Cf. détails dans la partie « Activités d’Enseignement »
1999–… Enseignant-Chercheur à l’Epita (CDI)
À Noter
Je travaille à temps partiel (3/5
e
, puis récemment 4/5
e
). Toutes les données chirées qui suivent sont exprimées
en valeur absolue. Les heures d’enseignement sont accompagnées d’un calcul d’équivalent temps plein, mais le
reste (densité de publication, taux de participation à l’écosystème, etc.) est à évaluer relativement à mon taux
d’activité.
1 Activités d’Enseignement
Je suis le concepteur de tous les cours que je donne depuis 1999. Sauf exception (indiquée le cas échéant), tous mes
supports de cours sont disponibles publiquement sur la
page enseignement
1
de mon site web scientique, y compris les
anciens cours archivés.
1.1 Actuellement à l’Epita
En Bref
• Référent national cours
• 600+ étudiants/an niveau L3
• 116h CM + 42h TP = 158h/an
⇒ Équivalent temps plein = 200h/an
Anciennement vacataire à l’Enst,
l’Ensta, l’Upmc, et l’École des Beaux
Arts.
Les cours ci-dessous concernent plus de 600 étudiants en tronc commun
du cycle ingénieur (niveau L3) chaque année. J’en suis le « référent
national » : je donne ces cours dans l’antenne parisienne de l’école
(environ 400 étudiants / an en 3 groupes) et je gère par ailleurs des
équipes de 4 à 6 enseignants qui les dispensent (avec mes supports)
dans les quatre antennes régionales : Lyon, Rennes, Strasbourg, et
Toulouse.
À cela se rajoutent de nombreux encadrements d’étudiants sur des
projets divers et variés, du coaching, du suivi d’étudiants en lière
apprentissage, et d’étudiants chercheurs (cf. Section 3.3 page 4). Ces
activités étant très variables d’une année sur l’autre, elles ne sont pas détaillées ici, bien que représentant quelques
dizaines d’heures de face à face pédagogique supplémentaires chaque année.
Intitulé Cours Magistraux TPs Ancienneté
Igpp Intro. Générale aux Paradigmes de Prog. 2h Depuis 2016
Aop 1 Approches Objet Classiques de la Prog. 12h 3 (2h) = 6h Depuis 2016
Afp Approches Fonctionnelles de la Prog. 12h 4 (2h) = 8h Depuis 2008
Aop 2 Approche Objet Avancée de la Prog. 12h Depuis 2017
Typo
1
Typographie Numérique 12h Depuis 2023
1
support du dernier chapitre disponible publiquement ; le reste courant mai 2025
1.2 Anciens Cours
Les cours suivants ne sont plus donnés. Pour la plupart, les supports de cours correspondants continuent d’être
accessibles publiquement
2
. Les volumes horaires sont donnés par étudiant. Le nombre d’étudiants concernés variait
d’une cinquantaine (Enst, Ensta, Upmc, Beaux Arts) à 350 (Epita) en plusieurs groupes.
Intitulé Lieu Type Niveau vol. Période
Synthèse d’Images Ensta/ Enst/ Upmc CM + TD M2 12h 2000 – 2010
Systèmes d’Exploitation Epita CM L3 30h 2000 – 2017
Réalité Virtuelle Enst/ Beaux Arts CM + TD L3 9h 2000 – 2010
Analyse Lexico-Syntaxique Epita TD L1 15h 1999 – 2005
Programmation Lisp Ionis stm TD MBA 15h 2011 – 2018
1. https://www.lrde.epita.fr/~didier/lectures/
2. https://www.lrde.epita.fr/~didier/lectures/
2
2 Activités de Recherche
En Bref
Co-fondateur et président du comité de
pilotage d’ELS (European Lisp Sympo-
sium)
•
Comités de pilotage de conférences in-
ternationales : 3 / cumul 22 ans
•
Comités de lecture de revues interna-
tionales : 2 / cumul 5 ans
•
Chaires de conférences internationales:
4 / cumul 7 ans
•
Comités de programme de conférences
internationales : 11 / cumul 30 ans
2.1
Comités de pilotage de conférences interna-
tionales
— Onward !
(ACM SIGPLAN Symposium on New Ideas in
Programming and Reections on Software), 2020–2023.
— ELS
(European Lisp Symposium), co-fondateur et pré-
sident depuis 2008.
— ELW (European Lisp Workshop) de 2007 à 2010.
2.2 Comités de lecture de revues internationales
— Art, Science, and Engineering of Programming Journal, 2021.
— Journal of Universal Computer Science, 2007 – 2010.
2.3 Chaires de conférences internationales
—
Onward! (ACM SIGPLAN Symposium on New Ideas in Programming and Reections on Software) Essays,
2020.
— ILC (International Lisp Conference), 2014.
— ELS (European Lisp Symposium), 2011.
— ELW (European Lisp Workshop), 2007–2010.
2.4 Comités de programme de conférences internationales
— DocEng (ACM SIGWEB Symposium on Document Engineering), 2025.
—
Onward! (ACM SIGPLAN Symposium on New Ideas in Programming and Reections on Software) Essays,
2024.
— ICCQ (International Conference on Code Quality), 2023–2025.
— ILC (International Lisp Conference), 2012, 2014.
— DLS (Dynamic Languages Symposium), 2011, 2013, 2015.
— SAC (ACM SIGAPP Symposium on Applied Computing), 2012, 2013, 2015.
— ELS (European Lisp Symposium), 2011—2016.
— COP (Context-Oriented Programming Workshop), 2010, 2013, 2016, 2018.
— FARM (ACM SIGPLAN Functional Art, Music, Modelling, and Design Workshop), 2018.
— ELW (European Lisp Workshop), 2007—2010.
— DyLa (Dynamic Languages and Applications Workshop), 2013, 2014.
2.5 Autres comités
— Most Notable Onward ! 2010 Paper Award (comité de sélection 2020).
— Fondateur et premier organisateur du séminaire Performance et Généricité du Lre en 2008.
Une à deux sessions par mois.
2.6 Relecteur Technique de Livre
—
GNU Autoconf, automake, libtool. Gary V. Vaughan, Ben Elliston, Tom Tromey and Ian Lance Taylor. New
Riders, October 2000. Isbn 9781578701902.
3
3 Activités d’Encadrement
3.1 Thèses
3.1.1 En Cours
En Bref
• Thèses en cours 2
• Thèses soutenues 2
• Stages de M2 3
• Stages de M1 1
• Étudiants-Chercheurs 9
• Jurys de thèses / suivi 3
— Directeur. Co-encadrement 50%.
Maya Mouhammad. Prédiction des Intrusions Réseau par Apprentis-
sage Fédéré et Interprétable des Anomalies dans un Environnement
Distribué. Epita/Lre, Sorbonne Université/Upmc, APL Data Center,
Edite de Paris.
— Directeur. Co-encadrement 34%.
Khaoula Sghaier. Sécurisation des Échanges de Communication V2X
des Unités de Contrôle Télématiques. Epita/Lre, Sorbonne Univer-
sité/Upmc, Telecom SudParis/SCN, VEDECOM, Edite de Paris.
3.1.2 Soutenues
— Directeur. Co-encadrement 34%.
Baptiste Esteban. Implémentations Modernes et Performantes de Techniques Morphologiques pour le Traitement
d’Images et l’Estimation de Bruit. Epita/Lre, Sorbonne Université/Upmc, Edite de Paris. Soutenue le 21
Décembre 2023.
— Co-encadrement 90%.
Jim E. Newton. Representing and Computing with Types in Dynamically Typed Languages. Epita/Lre,
Sorbonne Université/Upmc, Edite de Paris. Soutenue le 20 Novembre 2018.
3.2 Stages de Master
—
Clément Bonnefoy. Interface et programmation graphique pour une bibliothèque de traitement d’images. Master
STL, Upmc, 2016.
— Krista Druskhu. Étude comparative de langages pour la conception de DSL. Master STL, Upmc, 2015.
—
Vuong Ha Minh et Tung Nguyen Duc. Pérénisation d’une plateforme de benchmarking pour Common Lisp.
Master Génie Logiciel, Université de Bordeaux I, 2010.
3.3 Étudiants-Chercheurs
Le Lre intègre des étudiants pour la durée de leur cursus ingénieur. Nous leur dispensons une formation par la recherche
en les faisant participer à nos projets. Cela s’eectue en parallèle du cursus classique pour le tronc commun et cela
devient formalisé par une majeure « double compétence orientée recherche » en n d’études. Ils ont donc un ou plusieurs
mini-sujets de recherche à mener et à valider sous notre supervision durant leur passage au Lre. Ces étudiants peuvent
véritablement être considérés comme de « mini-thésards ». Pour s’en convaincre, dans la liste ci-dessous, les étoiles (
?
)
indiquent ceux qui ont été publiant avant leur sortie d’Epita (donc, avant même leur 3
e
cycle). On retrouve ainsi leurs
noms dans la section Publications. Enn, le cas échéant, ceux dont le parcours scolaire a continué sur un DEA (pour
les plus anciens), un Master (plus les plus jeunes) puis une thèse, sont également indiqués.
• Aline Vongsavanh
? Antoine Hacquard
? Léo Valais
? François Ripault
? Laurent Senta
? Christopher Chedeau
• Simon Odou, Master et thèse (Lri / Paris-Sud XI)
? Guillaume Pitel, DEA SC et thèse (Limsi, Orsay)
? Yoann Fabre, DEA Iarfa et thèse (Upmc)
3.4 Jurys de thèse et comités de suivi
—
Jury de thèse / rapporteur. Marco Heisig. Design and Implementation of the Parallel Programming Language
Petalisp. FAU Erlangen, Allemagne. 2025 (tba). Direction : Harald Köstler.
—
Jury de thèse / rapporteur. Jorge Vallejos. Modularising Context Dependency and Group Behaviour in
Ambient-Oriented Programming Languages. Software Languages Lab, Vrije Universiteit Brussel, Juillet 2011.
Direction : Theo D’Hondt, Wolfgang De Meuter, Pascal Costanza.
—
Comité de suivi. Amaury Curiel. Arbres de Décision Binaires et Graphes Dirigés Acycliques. Sorbonne
Université/Upmc/LIP6/APR.
—
Comité de suivi. Bertrand Petit-Heidelein. Informatique Diuse et Arts de la Scène : Musique Massivement
Interactive. Inria/Cirm, Stic (école doctorale). Direction : Manuel Serrano. Co-Direction : François Paris.
4
4 Publications
4.1 Chapitres de livre
En Bref
• Keynotes et invitations 5
• Chapitres de livre 1
• Relecture technique de livre 1
• Revues internationales 4
• Conférences internationales 34
• Workshops internationaux 4
• Conférences francophones 4
• Autres 9
• Exposés Oraux 14
1.
Extensible languages: Blurring the distinction between DSLs
and GPLs. Didier Verna. In Marjan Mernik, editor, Formal
and Practical Aspects of Domain-Specic Languages: Recent
Developments, chapter 1. IGI Global, September 2012. Isbn
9781466620926. Doi 10.4018/978-1-4666-2092-6.ch001.
4.2 Articles de revues
2. A theoretical and numerical analysis of the worst-case size of reduced ordered binary decision diagrams. Jim E.
Newton and Didier Verna. ACM Transactions on Computational Logic, 20(1), January 2019. Issn 15293785. Doi
10.1145/3274279.
3.
Lisp, Jazz, Aikido. Didier Verna. The Art, Science and Engineering of Programming Journal, 2(3), March 2018.
Doi 10.22152/programming-journal.org/2018/2/10.
4.
Revisiting the visitor: the just do it pattern. Didier Verna. Journal of Universal Computer Science, 16(2):246–271,
2010. Doi 10.3217/jucs-016-02-0246.
5.
Binary methods programming: the CLOS perspective. Didier Verna. Journal of Universal Computer Science, 14
(20):3389–3411, 2008. Doi 10.3217/jucs-014-20-3389.
4.3 Articles de conférences internationales
6.
Similarity problems in paragraph justication: an extension to the Knuth-Plass algorithm. Didier Verna. In Proceed-
ings of the ACM SIGWEB Symposium on Document Engineering 2024, DocEng’24, pages 127–130, New York, NY,
USA, August 2024. Association for Computing Machinery. Isbn 9798400711695. Doi
10.1145/3685650.3685666
.
7.
A large scale format compliance checker for T
E
X font metrics. Didier Verna. In Barbara Beeton and Karl Berry,
editors, TUG’24, 42nd T
E
X Users Group Conference, volume 45, pages 221–226. T
E
X Users Group, T
E
X Users
Group, September 2024. Doi 10.47397/tb/45-2/tb140verna-tfm.
8.
The Quickref cohort. Didier Verna. In ELS’24, 17th European Lisp Symposium, Vienna, Austria, May 2024. Isbn
9782955747483. Doi 10.5281/zenodo.10947962.
9.
Structural analysis of the additive noise impact on the
α
-tree. Baptiste Esteban, Guillaume Tochon, Edwin
Carlinet, and Didier Verna. In Proceedings of the 20th International Conference on Computer Analysis of Images
and Patterns (CAIP), volume 14185 of Lecture Notes in Computer Science Series, Limassol, Cyprus, September
2023. Springer.
10.
Interactive and real-time typesetting for demonstration and experimentation: ETAP. Didier Verna. In Barbara
Beeton and Karl Berry, editors, TUG’23, 41st T
E
X Users Group Conference, volume 44, pages 242–248. T
E
X
Users Group, T
E
X Users Group, 2023. Doi 10.47397/tb/44-2/tb137verna-realtime.
11.
A MOP-based implementation for method combinations. Didier Verna. In ELS’23, 16th European Lisp Symposium,
pages 6–15, Amsterdam, Netherlands, April 2023. Isbn 9782955747476. Doi 10.5281/zenodo.7818680.
12.
The cost of dynamism in static languages for image processing. Baptiste Esteban, Edwin Carlinet, Guillaume
Tochon, and Didier Verna. In Proceedings of the 21st ACM SIGPLAN International Conference on Generative
Programming: Concepts & Experiences, Auckland, New Zealand, December 2022.
13.
Estimation of the noise level function for color images using mathematical morphology and non-parametric
statistics. Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, and Didier Verna. In Proceedings of the 26th
International Conference on Pattern Recognition, Montréal, Québec, August 2022.
14.
Etap: Experimental typesetting algorithms platform. Didier Verna. In ELS’22, 15th European Lisp Symposium,
pages 48–52, Porto, Portugal, March 2022. Isbn 9782955747469. Doi 10.5281/zenodo.6334248.
15.
A corpus processing and analysis pipeline for quickref. Antoine Hacquard and Didier Verna. In 14th European
Lisp Symposium, pages 27–35, Online, May 2021. Isbn 9782955747452. Doi 10.5281/zenodo.4714443.
16.
Finite automata theory based optimization of conditional variable binding. Jim E. Newton and Didier Verna.
In ELS’19, 12th European Lisp Symposium, pages 26–33, Genova, Italy, April 2019. Isbn 9782955747438. Doi
10.5281/zenodo.2635402.
17.
Implementing baker’s
subtypep
decision procedure. Léo Valais, Jim E. Newton, and Didier Verna. In
ELS’19, 12th European Lisp Symposium, pages 12–19, Genova, Italy, April 2019. Isbn 9782955747438. Doi
10.5281/zenodo.2646982.
5
18.
Parallelizing Quickref. Didier Verna. In ELS’19, 12th European Lisp Symposium, pages 89–96, Genova, Italy,
April 2019. Isbn 9782955747438. Doi 10.5281/zenodo.2632534.
19.
Quickref: Common Lisp reference documentation as a stress test for Texinfo. Didier Verna. In Barbara Beeton
and Karl Berry, editors, TUG’19, 40th T
E
X Users Group Conference, volume 40, pages 119–125. T
E
X Users
Group, T
E
X Users Group, September 2019.
20.
Strategies for typecase optimization. Jim E. Newton and Didier Verna. In ELS’18, 11th European Lisp Symposium,
pages 23–31, Marbella, Spain, April 2018. Isbn 9782955747421. Doi 10.5281/zenodo.3405191.
21.
Method combinators. Didier Verna. In ELS’18, 11th European Lisp Symposium, pages 32–41, Marbella, Spain,
April 2018. Isbn 9782955747421. Doi 10.5281/zenodo.3247610.
22.
Programmatic manipulation of Common Lisp type speciers. Jim E. Newton, Didier Verna, and Maximilien
Colange. In ELS’17, 10th European Lisp Symposium, pages 28–35, Vrije Universiteit Brussel, Belgium, April
2017. Isbn 9782955747414. Doi 10.5281/zenodo.3405363.
23.
Type-checking of heterogeneous sequences in Common Lisp. Jim E. Newton, Akim Demaille, and Didier Verna.
In ELS’16, 9th European Lisp Symposium, pages 13–20, AGH University of Science and Technology, Krakow,
Poland, April 2016. Isbn 9782955747407. Doi 10.5281/zenodo.3405173.
24.
The incredible tale of the author who didn’t want to do the publisher’s job. Didier Verna. In Barbara Beeton
and Karl Berry, editors, TUG’13, 34th T
E
X Users Group Conference, volume 34. T
E
X Users Group, 2013.
25.
TiCL: the prototype (Star T
E
X: the next generation, season 2). Didier Verna. In Barbara Beeton and Karl Berry,
editors, TUG’13, 34th T
E
X Users Group Conference, volume 34. T
E
X Users Group, 2013.
26.
Generic image processing with Climb. Laurent Senta, Christopher Chedeau, and Didier Verna. In ELS’12, 5th
European Lisp Symposium, Zadar, Croatia, May 2012. Doi 10.5281/zenodo.3248934.
27.
Star T
E
X: the next generation. Didier Verna. In Barbara Beeton and Karl Berry, editors, TUG’12, 33rd T
E
X
Users Group Conference, volume 33. T
E
X Users Group, 2012.
28.
Biological realms in computer science. Didier Verna. In Onward!’11: the ACM SIGPLAN International Symposium
on New Ideas, New Paradigms, and Reections on Programming and Software Proceedings, pages 167–176. ACM,
October 2011. Isbn 9781450309417. Doi 10.1145/2089131.2089140.
29.
Towards L
A
T
E
X coding standards. Didier Verna. In Barbara Beeton and Karl Berry, editors, TUG’11, 32nd T
E
X
Users Group Conference, volume 32, pages 309–328. T
E
X Users Group, 2011.
30.
CLoX: Common lisp objects for XEmacs. Didier Verna. In ELS’10, 3rd European Lisp Symposium, Lisbon,
Portugal, May 2010. Doi 10.5281/zenodo.3248958.
31.
Classes, styles, conicts: the biological realm of L
A
T
E
X. Didier Verna. In Barbara Beeton and Karl Berry, editors,
TUG’10, 31st T
E
X Users Group Conference, volume 31, pages 162–172. T
E
X Users Group, 2010.
32.
CLOS eciency: Instantiation. Didier Verna. In ILC’09 International Lisp Conference, pages 76–90, MIT,
Cambridge, Massachusetts, USA, March 2009. ALU (Association of Lisp Users). Doi 10.5281/zenodo.3386206.
33.
Binary methods programming: the CLOS perspective. Didier Verna. In ELS’08, 1st European Lisp Symposium,
pages 91–105, Bordeaux, France, May 2008. Doi 10.5281/zenodo.3248977.
34.
Action recognition: How intelligent virtual environments can ease human-machine interaction. Didier Verna.
In Hal Thwaites and Scott Thrane Refsland, editors, VSMM’00, Sixth International Conference on Virtual
Systems and MultiMedia, pages 703–713, Gifu Research and Development Foundation, Gifu, Japan, October 2000.
International Society on Virtual Systems and MultiMedia, Ohmsha Press.
35.
Urbi et Orbi: Unusual design and implementation choices for distributed virtual realities. Didier Verna, Yoann
Fabre, and Guillaume Pitel. In Hal Thwaites and Scott Thrane Refsland, editors, VSMM’00, Sixth International
Conference on Virtual Systems and MultiMedia, pages 714–724, Gifu Research and Development Foundation,
Gifu, Japan, October 2000. International Society on Virtual Systems and MultiMedia, Ohmsha Press.
36.
The multicast support in XEmacs. Didier Verna. In m17n’99, 3nd International Symposium on Multilingual
Environements, Tsukuba, Japan, 1999.
37.
Ergonomics and human-machine interaction concerns in Mule. Didier Verna. In m17n’99, 3nd International
Symposium on Multilingual Environements, Tsukuba, Japan, 1999.
38.
Can we dene virtual reality? the MrIC model. Didier Verna and Alain Grumbach. In Jean-Claude Heudin,
editor, Virtual Worlds 98, Lecture Notes in Articial Intelligence, pages 29–41. Springer-Verlag, 1998.
39.
Télé-opération et réalité virtuelle: Assistance à l’opérateur par modélisation cognitive de ses intentions. Didier
Verna. In IHM’97, pages 205–206. Cépaduès-Éditions, 1997.
6
4.4 Articles de workshops internationaux
40.
Recognizing hetergeneous sequences by rational type expression. Jim E. Newton and Didier Verna. In Meta’18,
Meta-Programming Techniques and Reection Workshop, Boston, MA, USA, November 2018.
41.
Context-oriented image processing. Didier Verna and François Ripault. In COP’15, Context-Oriented Programming
Workshop, 2015. Isbn 9781450336543. Doi 10.1145/2786545.2786547.
42.
Beating C in scientic computing applications. Didier Verna. In ELW’06, 3rd European Lisp Workshop, Nantes,
France, July 2006.
43.
Augmented reality, the other way around. Didier Verna and Alain Grumbach. In M. Gervautz, A. Hildebrand, and
D. Schmalstieg, editors, EGVE, 5th Eurographics Workshop on Virtual Environments, pages 147–156. Springer,
1999.
4.5 Articles de conférences francophones
44.
Analyse structurelle de l’inuence du bruit sur l’arbre alpha. Baptiste Esteban, Guillaume Tochon, Edwin
Carlinet, and Didier Verna. In 29e Colloque sur le traitement du signal et des images, Grenoble, France, August
2023. GRETSI - Groupe de Recherche en Traitement du Signal et des Images.
45.
Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique.
Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, and Didier Verna. In Proceedings of the 28st Symposium
on Signal and Image Processing (GRETSI), Nancy, France, September 2022.
46.
Généricité dynamique pour des algorithmes morphologiques. Baptiste Esteban, Edwin Carlinet, Guillaume
Tochon, and Didier Verna. In Proceedings of the 28st Symposium on Signal and Image Processing (GRETSI),
Nancy, France, September 2022.
47.
Dénir le virtuel: une vision cognitive. Didier Verna. In ReViCo’99, Réalité Virtuelle et Cognition, Paris, France,
December 1999.
4.6 Keynotes et exposés sur invitation
48. Traitement des similarités dans la justication de paragraphe. Didier Verna. Exposé GUTenberg, March 2025.
49. Justication de paragraphe: le knuth-plass. Didier Verna. Exposé GUTenberg, January 2024.
50. Biological realms in computer science. Didier Verna. Keynote at ACCU’14, apr 2014.
51. CLOS eciency: Instantiation. Didier Verna. Invited Talk at the Vrije University of Brussels, 2010.
52.
Scientic computing in lisp: Beyond the performance of C. Didier Verna. Invited Talk at LaBRI, Université de
Bordeaux I, France, 2006.
4.7 Rapports et publications diverses
53.
(Dynamic (Programming Paradigms)) ;; Performance and Expressivity. Didier Verna. PhD thesis, EDITE de
Paris, Sorbone-Université, EPITA/LRDE, July 2020. Habilitation à Diriger les Recherches.
54.
JSPP: Morphing C++ into JavaScript. Christopher Chedeau and Didier Verna. Technical Report 201201-TR,
LRDE (EPITA Research and Development Laboratory), January 2012.
55.
Standard output streams default behavior in terminal sessions. Didier Verna. Common Document Repository
#11, 2012. Doi 10.5281/zenodo.3414042.
56.
Clarication proposal for CLHS 22.3. Didier Verna. Common Document Repository #7, 2011. Doi
10.5281/zenodo.3413913
.
57. File-local variables. Didier Verna. Common Document Repository #9, 2011. Doi 10.5281/zenodo.3414042.
58. L
A
T
E
X curricula vitae with the CurVe class. Didier Verna. The PracT
E
X Journal, (3), August 2006.
59. CV formatting with CurVe. Didier Verna. TUGBoat, Communications of the T
E
X Users Group, 22(4):361–364,
December 2001. Issn 0896320.
60.
Télé-opération et Réalité Virtuelle: Assistance à l’Opérateur par Modélisation Cognitive de ses Intentions. Didier
Verna. PhD thesis, ENST (École Nationale Supérieure des Télécommunications de Paris), Paris, France, February
2000. ENST 00 E007.
61.
Comment dénir le virtuel ? le modèle MrIC. Didier Verna. Technical Report 97 D 008, ENST (École Nationale
Supérieure des Télécommunications de Paris), 46 rue Barrault, 75013 Paris, France, 1997.
7
4.8 Exposés Oraux
62. A taste of Julia. Didier Verna. ACCU’16, April 2016.
63. A taste of Julia. Didier Verna. Séminaire Performance et Généricité du LRDE, April 2016.
64.
La musique des programmes. Didier Verna. Soirée Thématique de l’EPITA: l’Esthétique en Informatique, 2016.
65. Referential transparency is overrated. Didier Verna. ACCU’15, April 2015.
66. The bright side of exceptions. Didier Verna. ACCU’13, April 2013.
67.
Extensibility for DSL design and implementation: a case study in Lisp. Didier Verna. DSLDI’13, DSL Design
and Implementation Workshop, April 2013.
68. DSLs from the perspective of extensible languages. Didier Verna. ACCU’12, April 2012.
69.
Lisp extensibility: Impact on DSL design and implementation. Didier Verna. Tutorial at ILC’12, the International
Lisp Conference, 2012.
70. Meta-circularity, and vice-versa. Didier Verna. ACCU’11, April 2011.
71. Clon, the command-line options nuker. Didier Verna. ILC’10, the International Lisp Conference, 2010.
72. Revisiting the visitor: the just do it pattern. Didier Verna. ACCU’09, April 2009.
73. Performance and genericity: the forgotten power of Lisp. Didier Verna. ACCU’08, April 2008.
74.
Sémantique et localisation de l’assistance en réalité virtuelle. Didier Verna and Alain Grumbach. In Journées
Nationales du Groupe de Travail sur la Réalité Virtuelle, pages 105–112, 1998.
75.
Assistance cognitive à la télé-opération en monde virtuel. Alain Grumbach and Didier Verna. In Journées
Nationales du Groupe de Travail sur la Réalité Virtuelle, pages 38–46, 1996.
8