About
I did my Ph.D. under the supervision of François Fages at INRIA, Rocquencourt, France and obtained my degree from Paris Diderot University in January 2008. Since then, I have worked as a researcher at CLIP Lab, where I was first affiliated with the Technical University of Madrid (until March 2014) and later with the IMDEA software Institute.
I am primarily interested in studying the formal properties of logical programming languages with constraints, and more specifically Constraint Handling Rules a high-level rules-based language. In particular I have improved known results about confluence and logical completeness of this language. I am also interesting in compilation and static analysis, as it applies to logical languages.
Aside from theoretical work, I am one of the main maintainer of the Ciao System, a multiparadigm programming language developed at the CLIP Lab. I am also involved in the development of several of the Ciao's standard libraries, such as the Finite Domain Constraint Solver, Constraint Handling Rules, Coinductive Logic Programming, and others.
Service
- IJCAI-15, International Joint Conference on Artificial Intelligence (PC).
- CHR 2014, International Workshop on Constraint Handling Rules (chair).
- ICLP 2014, International Conference on Logic Programming (PC).
- CMCS'14, International Workshop on Coalgebraic Methods in Computer Science (PC).
- WLPE'13, International Workshop on Logic-based methods in Programming Environments (chair).
- CHR 2013, International Workshop on Constraint Handling Rules (PC).
- LOPSTR 2012, International Symposium on Logic-Based Program Synthesis and Transformation (PC).
- CHR 2012, International Workshop on Constraint Handling Rules (PC).
- CICLOPS 2012, International Colloquium on Implementation of Constraint and LOgic Programming Systems (PC).
- CHR 2011, International Workshop on Constraint Handling Rules (PC).
- CHR 2010, International Workshop on Constraint Handling Rules (PC).
- CHR 2009, International Workshop on Constraint Handling Rules (PC).
- CICLOPS 2008, International Colloquium on Implementation of Constraint and LOgic Programming Systems (PC).
Publications
- Rémy Haemmerlé. On Combining Backward and Forward Chaining in Constraint Logic Programming. To appear in proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming: PPDP 2014.
- Gregory J Duck, Rémy Haemmerlé, Martin Sulzmann. On Termination, Confluence and Consistent CHR-based Type Inference. In Theory and Practice of Logic Programming, vol. 14 (4-5) (ICLP 2014 Special Issue).
- Rémy Haemmerlé. Diagrammatic Confluence for Constraint Handling Rules. In Theory and Practice of Logic Programming, vol. 12 (4-5) (ICLP 2012 Special Issue).
- Jose F. Morales, Rémy Haemmerlé, Manuel Carro, and Manuel Hermenegildo. Lightweight Compilation of (C)LP to JavaScript. In Theory and Practice of Logic Programming, vol. 12 (4-5) (ICLP 2012 Special Issue).
- Rémy Haemmerlé. Coinductive Proofs over Streams as CHR Confluence Proofs. In proceedings of the 9th Workshop on Constraint Handling Rules: CHR 2012.
- Emilio Gallego, Rémy Haemmerlé, Jose F. Morales, and Manuel Hermenegildo. The Ciao CLP(FD) Library. In proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems: CICLOPS 2012
- Jose F. Morales, Manuel Hermenegildo, and Rémy Haemmerlé. Modular Extensions for Modular (Logic) Languages. To appear in postproceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation: LOPSTR 2011.
- Rémy Haemmerlé, Pedro López García, and Manuel Hermenegildo. CLP Projection for Constraints Handling Rules. In proceedings of the 13th International Symposium on Principles and Practice of Declarative Programming: PPDP 2011.
- Rémy Haemmerlé. (Co)-Inductive Semantics for Constraint Handling Rules. In Theory and Practice of Logic Programming, vol. 11 (4-5) (ICLP 2011 Special Issue).
- Rémy Haemmerlé. Observational Equivalences for Linear Logic Concurrent Constraint Languages. In Theory and Practice of Logic Programming, vol. 11 (4-5) (ICLP 2011 Special Issue).
- Rémy Haemmerlé and Hariolf Betz. Verification of Constraint Handling Rules using Linear Logic Phases Semantics. In proceedings of the 5th Workshop on Constraint Handling Rules: CHR 2008.
- Rémy Haemmerlé. Fermetures et Modules dans les Langages Concurrents avec Contraintes fondés sur la Logique Linéaire, PhD thesis (in French). Université Paris Diderot, France. 17 January 2008. slides
- Rémy Haemmerlé, François Fages, and Sylvain Soliman. Closures and Modules within Linear Logic Concurrent Constraint Programming. In proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2007.
- Rémy Haemmerlé and François Fages. Abstract Critical Pairs and Confluence of Binary Relation. In Proceeding of the 18th International Conference on Rewriting Techniques and Applications: RTA 2007.
- Rémy Haemmerlé and François Fages. Modules for Prolog Revisited. In proceedings of 22nd International Conference of Logic programming: ICLP06.
- Rémy Haemmerlé. SiLCC is Linear Concurrent Constraint Programming (ICLP 2005 Doctoral Consortium). In proceedings of the 21st International Conference of Logic programming: ICLP 2005.
Contact
Rémy Haemmerlé
IMDEA Software Institue
Campus Montegancedo UPM S/N
28223 Pozuelo de Alarcón, Madrid
SPAIN
e-mail: Remy (dot) Haemmerle (at) imdea (dot) org