Rémy Haemmerlé

26 papers B 2C 3Misc 1Journal 17Unranked 3
YearRankTypeTitle / Venue / Authors
2016 Misc conf
A Transformational Approach to Parametric Accumulated-Cost Static Profiling.
FLOPS
Rémy Haemmerlé, Pedro López-García, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo
2016 J jnl
ENTRA: Whole-Systems Energy Transparency.
CoRR
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
2016 J jnl
ENTRA: Whole-systems energy transparency.
Microprocess. Microsystems
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
2015 J jnl
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015.
CoRR
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
2015 J jnl
Towards Energy Consumption Verification via Static Analysis.
CoRR
Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2014 C conf
On Combining Backward and Forward Chaining in Constraint Logic Programming.
PPDP
Rémy Haemmerlé
2014 J jnl
On Termination, Confluence and Consistent CHR-based Type Inference.
CoRR
Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann
2014 J jnl
On Termination, Confluence and Consistent CHR-based Type Inference.
Theory Pract. Log. Program.
Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann
2014 J jnl
Proceedings of the Eleventh Workshop on Constraint Handling Rules.
CoRR
Rémy Haemmerlé, Jon Sneyers
2013 J jnl
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013).
CoRR
Rémy Haemmerlé, José F. Morales
2013 J jnl
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog
CoRR
Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales
2012 J jnl
Diagrammatic confluence for Constraint Handling Rules
CoRR
Rémy Haemmerlé
2012 J jnl
Diagrammatic confluence for Constraint Handling Rules.
Theory Pract. Log. Program.
Rémy Haemmerlé
2012 J jnl
Lightweight compilation of (C)LP to JavaScript
CoRR
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
2012 J jnl
Lightweight compilation of (C)LP to JavaScript.
Theory Pract. Log. Program.
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
2011 J jnl
(Co-)Inductive semantics for Constraint Handling Rules
CoRR
Rémy Haemmerlé
2011 J jnl
(Co-)Inductive semantics for Constraint Handling Rules.
Theory Pract. Log. Program.
Rémy Haemmerlé
2011 — conf
An Overview of the Ciao System.
RuleML Europe
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
2011 C conf
CLP projection for constraint handling rules.
PPDP
Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo
2011 C conf
Modular Extensions for Modular (Logic) Languages.
LOPSTR
José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé
2011 J jnl
Observational equivalences for linear logic CC languages
CoRR
Rémy Haemmerlé
2011 J jnl
Observational equivalences for linear logic concurrent constraint languages.
Theory Pract. Log. Program.
Rémy Haemmerlé
2007 — conf
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations.
RTA
Rémy Haemmerlé, François Fages
2007 — conf
Closures and Modules Within Linear Logic Concurrent Constraint Programming.
FSTTCS
Rémy Haemmerlé, François Fages, Sylvain Soliman
2006 B conf
Modules for Prolog Revisited.
ICLP
Rémy Haemmerlé, François Fages
2005 B conf
SiLCC Is Linear Concurrent Constraint Programming.
ICLP
Rémy Haemmerlé