Contact
Rémy Haemmerlé
Grupo CLIP
Facultad de Informática
Universidad Politécnica de Madrid
28660 Boadilla del Monte, Madrid
SPAIN
e-mail: remy (at) clip (dot) dia (dot) fi (dot) upm (dot) es
Scientific History
Since January 2008 :- Research fellow at CLIP at the Universidad Politécnica de Madrid, Spain
- PhD student, supervised by François Fages within the Contraintes team, INRIA Rocquencourt, France
Events
- WLPE'13, Int'l Workshop on Logic-based methods in Programming Environments (co-chair).
- CHR 2013, Int'l Workshop on Constraint Handling Rules (PC).
- LOPSTR 2012, Int'l Symposium on Logic-Based Program Synthesis and Transformation (PC).
- CHR 2012, Int'l Workshop on Constraint Handling Rules (PC).
- CICLOPS 2012, Int'l Colloquium on Implementation of Constraint and LOgic Programming Systems (PC).
- CHR 2011, Int'l Workshop on Constraint Handling Rules (PC).
- CHR 2010, Int'l Workshop on Constraint Handling Rules (PC).
- CHR 2009, Int'l Workshop on Constraint Handling Rules (PC).
- CICLOPS 2008, Int'l Colloquium on Implementation of Constraint and LOgic Programming Systems (PC).
Publications
- 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 Int'l 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 post-proceedings of the 21st Int'l 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 Int'l ACM SIGPLAN Conference 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 Int'l 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 Int'l Conference on Rewriting Techniques and Applications: RTA 2007.
- Rémy Haemmerlé and François Fages. Modules for Prolog Revisited. In proceedings of 22nd Int'l Conference of Logic programming: ICLP06.
- Rémy Haemmerlé. SiLCC is Linear Concurrent Constraint Programming (ICLP 2005 Doctoral Consortium). In proceedings of the 21st Int'l Conference of Logic programming: ICLP 2005.