Rémy Haemmerlé

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 3

Top Topics

Energy Efficient

Constraint Handling Rules

Static Analysis

Top Venues

Theory Pract. Log. Program.

Microprocess. Microsystems

Publications

Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
ENTRA: Whole-Systems Energy Transparency. CoRR (2016)
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47 (2016)
Rémy Haemmerlé, Pedro López-García, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo
A Transformational Approach to Parametric Accumulated-Cost Static Profiling. FLOPS (2016)
Francisco Corbera, Andrés Rodríguez, Rafael Asenjo, Angeles G. Navarro, Antonio Vilches, María Jesús Garzarán, Ismat Chaib Draa, Jamel Tayeb, Smaïl Niar, Mikael Desertot, Daniel Gregorek, Robert Schmidt, Alberto García Ortiz, Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo, Radim Vavrík, Albert Saà-Garriga, David Castells-Rufas, Jordi Carrabina
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. CoRR (2015)
Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
Towards Energy Consumption Verification via Static Analysis. CoRR (2015)
Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann
On Termination, Confluence and Consistent CHR-based Type Inference. CoRR (2014)
Rémy Haemmerlé, Jon Sneyers
Proceedings of the Eleventh Workshop on Constraint Handling Rules. CoRR (2014)
Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann
On Termination, Confluence and Consistent CHR-based Type Inference. Theory Pract. Log. Program. 14 (4-5) (2014)
Rémy Haemmerlé
On Combining Backward and Forward Chaining in Constraint Logic Programming. PPDP (2014)
Rémy Haemmerlé, José F. Morales
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013). CoRR (2013)
Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog CoRR (2013)
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
Lightweight compilation of (C)LP to JavaScript CoRR (2012)
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
Lightweight compilation of (C)LP to JavaScript. Theory Pract. Log. Program. 12 (4-5) (2012)
Rémy Haemmerlé
Diagrammatic confluence for Constraint Handling Rules CoRR (2012)
Rémy Haemmerlé
Diagrammatic confluence for Constraint Handling Rules. Theory Pract. Log. Program. 12 (4-5) (2012)
Rémy Haemmerlé
Observational equivalences for linear logic CC languages CoRR (2011)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
An Overview of the Ciao System. RuleML Europe (2011)
Rémy Haemmerlé
(Co-)Inductive semantics for Constraint Handling Rules CoRR (2011)
Rémy Haemmerlé
(Co-)Inductive semantics for Constraint Handling Rules. Theory Pract. Log. Program. 11 (4-5) (2011)
Rémy Haemmerlé
Observational equivalences for linear logic concurrent constraint languages. Theory Pract. Log. Program. 11 (4-5) (2011)
Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo
CLP projection for constraint handling rules. PPDP (2011)
José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé
Modular Extensions for Modular (Logic) Languages. LOPSTR (2011)
Rémy Haemmerlé, François Fages, Sylvain Soliman
Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS (2007)
Rémy Haemmerlé, François Fages
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. RTA (2007)
Rémy Haemmerlé, François Fages
Modules for Prolog Revisited. ICLP (2006)
Rémy Haemmerlé
SiLCC Is Linear Concurrent Constraint Programming. ICLP (2005)