Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > Séminaire Digiteo, 3/6/2015, Andrew Tolmach
Séminaire Digiteo, 3/6/2015, Andrew Tolmach
Séminaire Digiteo, 3/6/2015, Andrew Tolmach Séminaire Digiteo, 3/6/2015, Andrew Tolmach
03 juin 2015

Professeur, Portland State University, and Digiteo chair
A Theory of Name Resolution
10:30, Amphi Digiteo Moulon (Bât 660)
Lecturer: Andrew Tolmach  
Affiliation: Professor at Portland State University, and Digiteo chair  
TItle: A Theory of Name Resolution  
Abstract:  Name resolution is pervasive in programming language design and implementation, but it has not received proper attention as an independent task.  This talk will describe a new language-independent approach to defining program binding structure and name resolution, suitable for languages with complex scoping rules including both lexical scoping and modules. The approach is based on scope graphs, a simple, language-independent, and easily visualized representation of program binding structure.   The talk will give a gentle introduction to scope graphs by means of examples, and describe the language-independent resolution theory and tools that they enable.   (Joint work with Pierre Neron, Eelco Visser and Guido Wachsmuth at Technical University of Delft.)  
Short bio:  Andrew Tolmach is Professor of Computer Science at Portland State University, and holds a Digiteo Chair at Université Paris-Sud for the 2014-15 year.  His interests are in programming languages, verification, compilers, tools, and applications. His current research is focused on on proof engineering and high-assurance systems software development. His past publications, mostly about functional languages, include work on debugger implementation, garbage collection, compilation, integration with logic languages, and lazy functional algorithms.  
News
Le projet Sanctuary - Le LRI à l'honneur au journal télévisé Soir 3
16 mai 2019
Les travaux de l'équipe HCC/ILda - projet Sanctuary - passent à Soir 3.

Une expédition sur la Lune pour les 50 ans d'Apollo 11.

Martin Clochard reçoit le prix de thèse GDR GPL 2018
15 mai 2019
Martin Clochard a reçu le prix GDR GPL 2018 (http://gdr-gpl.cnrs.fr/node/361) pour sa thèse intitulée "Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels" .

Wanyu "Abby" Liu reçoit le 1er prix de thèse de Télécom ParisTech
05 avril 2019
Wanyu "Abby" Liu, doctorante de l'équipe HCC et de Télécom ParisTech, a reçu le premier prix de thèse de Télécom ParisTech pour sa thèse intitulée "La théorie de l'information comme outil unifié pour comprendre l'interaction humain-machine".