Curriculum Vitae de Daniel DIAZ

• Nom: Daniel Diaz
• Date de naissance: 20 février 1965
• Nationalité: Française
• Adresse: Université Paris 1 - Centre Pierre Mendès-France - Bureau C1405 - 90 Rue de Tolbiac, 75634 Paris Cedex 13
• Téléphone: +33 1 44 07 89 61
• Fax: +33 1 44 07 89 54
• Email: Daniel.Diaz@univ-paris1.fr

• 1995 : Doctorat d’informatique de l’Université d’Orléans préparé à l’INRIA Rocquencourt sous la direction de Philippe Codognet. (mention très honorable avec félicitations du jury). Titre: "Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD)". download PDF
• 1991 : Diplôme d’Etudes Approfondies d’informatique à l’Université d’Orléans (mention très bien, major de promotion).
• 1990 : Maîtrise d’informatique à l’Université de Luminy à Marseille (mention très bien, major de promotion).
• 1989 : Licence d’informatique à l’Université de Dijon (mention très bien, major de promotion).
• 1986 : Brevet de Technicien Supérieur d’informatique à Marseille.
• 1984 : Baccalauréat série H (techniques informatiques) à Marseille.

• depuis 1995: Maître de Conférences en informatique à l’Université de Paris 1 (Panthéon-Sorbonne).
• 1992-1995: chercheur doctorant à l’INRIA Rocquencourt.
• 1987-1988: responsable micro-informatique du groupe PHINELEC à Marseille.

Journals

• D. Diaz, S. Abreu and P. Codognet. “On the implementation of GNU Prolog”. Theory and Practice of Logic Programming (TPLP), special issue on Prolog Systems, Vol. 12, issue 1-2, 2012. download PDF
• D. Diaz, S. Abreu and P. Codognet. “Targeting the Cell Broadband Engine for constraint-based local search”. Journal of Concurrency and Computation: Practice and Experience (CCP&E), special issue Intelligent Distributed Computing, Vol. 24, No. 6, 2012. download PDF
• R. Mazo, C. Salinesi, O. Djebbi, D. Diaz and A. Lora-Michiels. “Constraints: the Heart of Domain and Application Engineering in the Product Lines Engineering Strategy”. International Journal of Information System Modeling and Design (IJISMD), Vol. 3, No. 12, 2012. download PDF
• R. Mazo, C. Salinesi and D. Diaz. “Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product Line Models”. INSIGHT - Journal of International Council on Systems Engineering (INCOSE), Vol. 14, No. 4, 2011. download PDF
• C. Calderon, M. Cavazza and D. Diaz. “CLP a technology for the interactive resolution of spatial configuration tasks in a virtual environment”. Journal of Information Technology in Construction (ITcon), Special Issue Architectural informatics, Vol. 11, 2006. download PDF
• D. Diaz and P. Codognet. “Design and Implementation of the GNU Prolog System”. Journal of Functional and Logic Programming (JFLP), Vol. 2001, No. 6, October 2001. download PDF
• P. Codognet and D. Diaz. “Compiling Constraints in clp(FD)”. Journal of Logic Programming (JLP), Vol. 27, No. 3, 1996. download PDF
• P. Codognet and D. Diaz. “A Simple and Efficient Boolean Solver for Constraint Logic Programming”. Journal of Automated Reasoning (JAR), Vol. 17, No. 1, 1996. download PDF

Conferences

• Y. Caniou, D. Diaz, F. Richoux, P. Codognet and S. Abreu. “Performance analysis of parallel constraint-based local search”, (poster). Principles and Practice of Parallel Programming (PPOPP), New Orleans, USA, 2012. download PDF
• D. Diaz, F. Richoux, Y. Caniou, P. Codognet and S. Abreu. “Parallel local search for the Costas Array Problem”. Parallel Computing and Optimization (PCO), Shanghai, China, 2012. download PDF
• D. Diaz, F. Richoux, P. Codognet, Y. Caniou and S. Abreu. “Constraint-Based Local Search for the Costas Array Problem”. Learning and Intelligent OptimizatioN Conference (LION 6), Paris, France, 2012. download PDF
• Y. Caniou, P. Codognet, D. Diaz and S. Abreu. “Experiments in Parallel Constraint-Based Local Search”. European Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP), Torino, Italy, 2011. download PDF
• Y. Caniou, P. Codognet, D. Diaz and S. Abreu. “Parallel constraint-based local search on the HA8000 supercomputer (abstract)”, (poster). Symposium on Applied Computing (SAC), TaiChung, Taiwan, 2011. download PDF
• R. Mazo, C. Salinesi, D. Diaz and A. Lora-Michiels. “Transforming Attribute and Clone-Enabled Feature Models Into Constraint Programs Over Finite Domains”. International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Beijing, China, 2011. download PDF
• R. Mazo, R. Lopez-Herrejon, C. Salinesi, D. Diaz and A. Egyed. “Conformance Checking with Constraint Logic Programming: The Case of Feature Models”. Annual International Computer Software and Applications Conference (COMPSAC), Munich, Germany, 2011. Best Paper Award. download PDF
• C. Salinesi, R. Mazo, O. Djebbi, D. Diaz and A. Lora-Michiels. “Constraints: the Core of Product Line Engineering”. IEEE International Conference on Research Challenges in Information Science (RCIS), Guadeloupe, French West Indies, France, 2011. Best Paper Award. download PDF
• R. Mazo, P. Grünbacher, W. Heider, R. Rabiser, C. Salinesi and D. Diaz. “Using Constraint Programming to Verify DOPLER Variability Models”. International Workshop on Variability Modelling of Software-intensive Systems (VaMos), Namur, Belgium, 2011. download PDF
• P. Salgueiro, D. Diaz, I. Brito and S. Abreu. “Using Constraints for Intrusion Detection: the NeMODe System”. Practical Aspects of Declarative Languages (PADL), Austin, Texas, USA, 2011. download PDF.
• D. Diaz, S. Abreu and P. Codognet. “Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture”. International Symposium on Intelligent and Distributed Computing (IDC), Tangier, Morocco, 2010. download PDF
• C. Salinesi, R. Mazo, D. Diaz and O. Djebbi. “Using Integer Constraint Solving in Reuse Based Requirements Engineering”. International Conference on Requirements Engineering (RE), IEEE, Sydney, Australia, 2010. download PDF
• C. Salinesi, R. Mazo and D. Diaz. “Criteria for the Verification of Feature Models”. INFORSID Conference, Marseille, France, 2010. download PDF
• S. Abreu, P. Codognet and D. Diaz. “Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)”. International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS) in conjunction with Principles and Practice of Constraint Programming, Lisbon, Portugal, 2009. download PDF
• C. Salinesi, C. Rolland, D. Diaz and R. Mazo. “Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria”. International Conference on Requirements Engineering (RE), Atlanta, USA, 2009. download PDF
• C. Salinesi, D. Diaz, O. Djebbi and R. Mazo. “Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models”, (poster). International Conference on Requirements Engineering (RE), Atlanta, USA, 2009. download PDF
• O. Djebbi, C. Salinesi and D. Diaz. “Deriving Product Line Requirements: the RED-PL Guidance Approach”. Asian Pacific Software Engineering Conference (APSEC), IEEE Computer Society, Nagoya, Japan, December 2007. download PDF
• S. Abreu and D. Diaz. “Contexts for Organizational Information System Design and Implementation”. International Conference on Enterprise Information Systems (ICEIS), Porto, Portugal, 2004. download PDF
• S. Abreu, D. Diaz and V. Nogueira. “Organizational Information Systems Design and Development with Contextual Constraint Logic Programming”. International Conference of European University Information Systems (EUNIS), Ljubljana, Slovenia, 2004. download PDF
• S. Abreu and D. Diaz. “Objective: in Minimum Context”. International Conference on Logic Programming (ICLP), Mumbai, India, 2003. download PDF
• C. Calderon, M. Cavazza and D. Diaz. “A New Approach to Virtual Design for Spatial Configuration Problems”. IEEE International Information Visualisation Conference (IV), London, England, 2003. download PDF
• C. Calderon, M. Cavazza and D. Diaz. “A New Approach to the Interactive Resolution of Configuration Problems in Virtual Environments”. International Symposium on Smart Graphics (SmartGraphics), Heidelberg, Germany, 2003. download PDF
• C. Calderon, M. Cavazza and D. Diaz. “Interactive problem Solving in an Intelligent Virtual Environment”, (short paper). Intelligent User Interfaces (IUI), 2003. download PDF
• F. Baray, P. Codognet, D. Diaz and H. Michel. “Code-based Test Generation for Validation of Functional Processor Descriptions”. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Warsaw, Poland, 2003. download PDF
• F. Baray, P. Codognet, D. Diaz and H. Michel. “Validation of Functional Processor Descriptions by Test Generation”. International Conference on Using Hardware Design and Verification Languages (DVCon), San Jose, USA, 2003. download PDF
• P. Codognet and D. Diaz. “An Efficient Library for Solving CSP with Local Search”. International Conference on Metaheuristics (MIC), Kyoto, Japan, 2003. download PDF
• P. Codognet, D. Diaz and C. Truchet. “The Adaptive Search Method for Constraint Solving and its Application to Musical CSPs”. International Workshop on Heuristics (IWH), Beijing, China, 2002. download PDF
• P. Codognet and D. Diaz. “Constraint-based Local Search For Discrete Optimization”. International Conference on Optimization Methods and Software (OMS), Hangzhou, China, 2002. download PDF
• P. Codognet and D. Diaz. “Yet Another Local Search Method for Constraint Solving”. Stochastic Algorithms, Foundations and Applications (SAGA), Berlin, Germany, 2001. download PDF
• P. Codognet and D. Diaz. “A Local Search Method for Constraint Solving”. AAAI Fall Symposium “Using Uncertainty within Computation”, North Falmouth, Cape Cod, USA, 2001. download PDF
• D. Diaz and P. Codognet. “The GNU Prolog System and its Implementation”. Symposium on Applied Computing (SAC), Villa Olmo, Como, Italy, 2000. download PDF
• D. Diaz and P. Codognet. “GNU Prolog: Beyond Compiling Prolog to C”. Practical Aspects of Declarative Languages (PADL), Boston, USA, 2000. download PDF
• P. Codognet, D. Diaz and F. Rossi. “Constraint Retraction in FD”. Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), Hyderabad, India, 1996. download PDF
• D. Chemla, D. Diaz, P. Kerlirzin and S. Manchon. “Using clp(FD) to Support Air Traffic Flow Management”. Practical Applications of Prolog (PAP), Paris, France, 1995. download PDF
• P. Codognet and D. Diaz. “wamcc: Compiling Prolog to C”. International Conference on Logic Programming (ICLP), Tokyo, Japan, 1995. download PDF
• P. Codognet and D. Diaz. “The clp(FD) system”. Journées Francophones de Programmation en Logique par Contraintes, Dijon, France, 1995. download PDF
• P. Codognet and D. Diaz. “Finite Domain Constraints in Constraint Logic Programming”. European Conference on Operational Research (EURO), Jerusalem, Israel, 1995. download PDF
• P. Codognet and D. Diaz. “clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving”. Programming Language Implementation and Logic Programming (PLILP), Madrid, Spain, 1994. download PDF
• B. Carlson, M. Carlsson and D. Diaz. “Entailment of Finite Domain Constraints”. International Conference on Logic Programming (ICLP), Santa Margherita, Italy, 1994. download PDF
• P. Codognet and D. Diaz. “Boolean Constraint Solving Using clp(FD)”. International Logic Programming Symposium (ILPS), Vancouver, British Columbia, Canada, 1993. download PDF
• P. Codognet and D. Diaz. “A Minimal Extension of the WAM for clp(FD)”. International Conference on Logic Programming (ICLP), Budapest, Hungary, 1993. download PDF

• GNU Prolog: le Prolog officiel de l’organisation GNU. GNU Prolog inclut un compilateur natif et un puissant résolveur de contraintes sur les domaines finis (depuis 1995). Diffusion au 1er janvier 2005: 100000 exemplaires récupérés par ftp sur le site principal (pas de statistiques pour le site de GNU ou de ses miroirs).
• Adaptive Search: Méthode de recherche locale pour la résolution de problèmes combinatoires (2001-2010).
• clp(FD): langage de programmation logique par contraintes sur les domaines finis et les booléens (1993-1994). Diffusion au 1er décembre 1998: 1412 exemplaires récupérés par ftp.
• wamcc : compilateur Prolog traduisant Prolog vers C (1992). Diffusion au 1er décembre 1998: 1667 exemplaires récupérés par ftp.
• Système à synthèse vocale, destiné à permettre l’utilisation d’un ordinateur aux non voyants (1985). Ce logiciel à été primé au PHJ (Prix d’Honneur accordé aux Jeunes) par la Fondation de France.

This document was translated from L^AT_EX by H^EV^EA.