Exalead S.A.
204, rue de Crimée
75019 Paris
France

• Programming languages design, semantics and implementation.
• Compilation.
• Static analysis of programs.
• Abstract interpretation.
• Automatic debugging.
• Object-oriented programming.
• Type theory and type inference.
• Information retrieval.

(please read the copyright notice)

• François Bourdoncle, Stephan Merz. Type-Checking Higher-Order Polymorphic Multimethods. Proc. of the 24th ACM Symposium on Principles of Programming Languages (1997) 302-315.
• François Bourdoncle, Stephan Merz. Primitive subtyping /\ implicit polymorphism |= object-orientation (extended abstract). Presented at the Third International Workshop on Foundations of Object-Oriented Languages FOOL'3 (July 1996).
• François Bourdoncle, Stephan Merz. On the integration of functional programming, class-based object-oriented programming, and multi-methods. Technical Report 26, Centre de Mathématiques Appliquées, École des Mines de Paris (March 1996, revised October 25th, 1996).
• François Bourdoncle. Abstract Debugging of Higher-Order Imperative Languages. Proc. of SIGPLAN '93 Conference on Programming Language Design and Implementation (1993) 46-55.
• François Bourdoncle. Efficient Chaotic Iteration Strategies with Widenings. Proc. of the International Conference on Formal Methods in Programming and their Applications, Lecture Notes in Computer Science 735, Springer-Verlag (1993) 128-141.
• François Bourdoncle. Assertion-Based Debugging of Imperative Programs by Abstract Interpretation. Fourth European Software Engineering Conference (1993).
• François Bourdoncle. Abstract Interpretation By Dynamic Partitioning. Journal of Functional Programming, 2(4) (1992) 407-435.
• François Bourdoncle. Sémantiques des Langages Impératifs d'Ordre Supérieur et Interprétation Abstraite. Ph.D. Dissertation, École Polytechnique (1992).
• François Bourdoncle. Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity. Proc. of the International Workshop on Programming Languages Implementation and Logic Programming PLILP'90, Lecture Notes in Computer Science 456, Springer-Verlag (1990) 307-323.

• Patrice Bertin, François Bourdoncle. Recherches d'Aiguilles dans une Botte de Liens, La Recherche (février 2000).
• François Bourdoncle. Panorama et perspectives des outils de recherche d’Information textuelle sur Internet, Actes du colloque IDT'99 (10 juin 1999).
• François Bourdoncle. LiveTopics: Recherche Visuelle d'Information sur l'Internet, Dossiers de l'Audiovisuel, La Documentation Française, numéro 74 (juillet-aout 1997) 36-38.
• François Bourdoncle,Thierry Weil. Intelligence Economique sur Internet, Réalités Industrielles: "Des autoroutes de d'information pour quoi faire ?", Annales des Mines (octobre-novembre 1996) 134-139.
• François Bourdoncle, Michel Guilbaud, Laure du Tillet. Politiques Énergétiques et Effet de Serre, Réalités Industrielles: "L'Énergie en France et dans le Monde", Annales des Mines (janvier 1991) 13-18.

• The Jazz Programming Language: current state and work in progress [PowerPoint].
• Type-Checking Higher-Order Polymorphic Multimethods [PostScript, PDF].
• LiveTopics : comment organiser le chaos sur Internet.
• Cow9 : recherche documentaire dans les grandes bases de données [PostScript, PDF].

• A binary distribution of the new hardware description language Jazz is available for evaluation. Jazz is a synchronous language in the tradition of Lustre. Jazz is currently being implemented by Alexandre Frey in cooperation with Gérard Berry, Patrice Bertin, Jean Vuillemin, and myself. The language is not finalized yet, and lacks any form of documentation. From a purely language design perspective, Jazz is a high-level, declarative, higher-order, lazy, functional, and object-oriented language. Jazz is strongly-typed and supports a form of type-inference to avoid the explicit declaration of local variables and functions. The syntax of Jazz is very Java-like, and the underlying type-system is derived from the ML-sub type-system.
• You can get the source distribution of PsView version 1.48, a PostScript previewer for Unix workstations. PsView uses either the Display PostScript extension of the X server or the public domain Ghostscript interpreter as its imager. PsView is known to work on Digital Ultrix and OSF workstations, Sun SparcStations under SunOS and Solaris, and Linux, but ports to other platforms should be straightforward. A Motif user-friendly interface, called XPsView, is also included in the distribution. Versions 1.46 and above have a search command to facilitate the navigation in large PostScript files. Version 1.48 corrects a bug in the file selection dialog of XPsView.
• The theory of abstract debugging has been implemented in a prototype abstract debugger of Pascal. This debugger, called Syntox, determines the range of integer variables as well as necessary conditions of program correctness with respect to "bugs" such as out-of-bound errors in array indexing. A binary distribution of Syntox is available for Mips-Ultrix, Sparc-Solaris, and Sparc-SunOs systems.

• Petites classes d'Informatique 1999-2000 du Tronc commun d'Informatique de première année de l'École Polytechnique.
• Cours Système et Réseaux 2001-2002 de la Majeure Informatique de seconde année de l'École Polytechnique.
• Cours Interfaces et Réseaux en Java 1997-1998 du Magistère de Mathématiques Appliquées et d'Informatique de l'École Normale Supérieure.
• Slides of a course on the ML-sub type-system (DEA Sémantique, Preuves et Programmation).

• Associate Professor, École Polytechnique (1996-).
• Maître de Recherche, Centre de Mathématiques Appliquées, École des Mines de Paris (1995-2000).
• Director for Research Assessment and Communication, Department of Research and Postgraduate Studies, École des Mines de Paris (1994-1995).
• Post-doctoral year, Digital Systems Research Center, Palo-Alto, California (1993-1994).
• Researcher, Digital Paris Research Laboratory (1990-1993).
• Ph.D. in Computer Science, École Polytechnique (1990-1992).
• Researcher, Centre de Mathématiques Appliquées, École des Mines de Paris (1990-1994).
• Chef de Travaux Pratiques, École Polytechnique (1989-1996).
• Master in Computer Science, École Normale Supérieure (1988-1989).
• R&D engineer, Raychem (1987-1988).
• Ingénieur au Corps des Mines (1987-1990).
• Student, École Polytechnique (1984-1987).
• Born April 20th, 1964.