New Insights into Partial Evaluation: the SCHISM Experiment. - Charles Consel (ESOP, 1988)

Partial Evaluation of Pattern Matching in Strings. - Charles Consel; Olivier Danvy (Inf. Process. Lett., 1989)

From Interpreting to Compiling Binding Times. - Charles Consel; Olivier Danvy (ESOP, 1990)

Binding Time Analysis for High Order Untyped Functional Languages. - Charles Consel (LISP and Functional Programming, 1990)

For a Better Support of Static Data Flow. - Charles Consel; Olivier Danvy (FPCA, 1991)

Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. - Amir Kishon; Paul Hudak; Charles Consel (PLDI, 1991)

Static and Dynamic Semantics Processing. - Charles Consel; Olivier Danvy (POPL, 1991)

Evaluation partielle paramétrable. - Charles Consel; Siau-Cheng Khoo (JTASPEFT/WSA, 1991)

A Programming Environment for Binding-time Based Partial Evaluators. - Charles Consel; Satish Pai (PEPM, 1992)

Partial Evaluation in Parallel. - Charles Consel; Olivier Danvy (LISP Symb. Comput., 1992)

Polyvariant Binding-Time Analysis For Applicative Languages. - Charles Consel (PEPM, 1993)

A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages. - Charles Consel (PEPM, 1993)

Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems. - Charles Consel; Calton Pu; Jonathan Walpole (PEPM, 1993)

Tutorial Notes on Partial Evaluation. - Charles Consel; Olivier Danvy (POPL, 1993)

Semantics-Directed Generation of a Prolog Compiler. - Charles Consel; Siau-Cheng Khoo (Sci. Comput. Program., 1993)

Parameterized Partial Evaluation. - Charles Consel; Siau-Cheng Khoo (ACM Trans. Program. Lang. Syst., 1993)

Fast Strictness Analysis Via Symbolic Fixpoint Iteration. - Charles Consel (SAS, 1994)

Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs. - J. Michael Ashley; Charles Consel (ACM Trans. Program. Lang. Syst., 1994)

Optimistic Incremental Specialization: Streamlining a Commercial Operating System. - Calton Pu; Tito Autrey; Andrew P. Black; Charles Consel; Crispin Cowan; Jon Inouye; Lakshmi Kethana; Jonathan Walpole; Ke Zhang (SOSP, 1995)

On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. - Charles Consel; Siau-Cheng Khoo (J. Funct. Program., 1995)

A Uniform Approach for Compile-Time and Run-Time Specialization. - Charles Consel; Luke Hornof; François Noël; Jacques Noyé; Nicolae Volansche (Dagstuhl Seminar on Partial Evaluation, 1996)

A General Approach for Run-Time Specialization and its Application to C. - Charles Consel; François Noël (POPL, 1996)

Program Adaptation Based on Program Transformation. - Charles Consel (ACM Comput. Surv., 1996)

Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code. - Gilles Muller; Bárbara Moura; Fabrice Bellard; Charles Consel (COOTS, 1997)

A Domain Specific Language for Video Device Drivers: From Design to Implementation. - Scott Thibault; Renaud Marlet; Charles Consel (DSL, 1997)

Mapping Software Architectures to Efficient Implementations via Partial Evaluation. - Renaud Marlet; Scott Thibault; Charles Consel (ASE, 1997)

Declarative Specialization of Object-Oriented Programs. - Eugen-Nicolae Volanschi; Charles Consel; Gilles Muller; Crispin Cowan (OOPSLA, 1997)

Effective Specialization of Realistic Programs via Use Sensitivity. - Luke Hornof; Charles Consel; Jacques Noyé (SAS, 1997)

A Framework for Application Generator Design. - Scott Thibault; Charles Consel (SSR, 1997)

Program Adaption based on Program Transformation. - Charles Consel (ACM SIGPLAN Notices, 1997)

Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. - François Noël; Luke Hornof; Charles Consel; Julia L. Lawall (ICCL, 1998)

Fast, Optimized Sun RPC Using Automatic Program Specialization. - Gilles Muller; Renaud Marlet; Eugen-Nicolae Volanschi; Charles Consel; Calton Pu; Ashvin Goel (ICDCS, 1998)

Architecture Software Using: A Methodology for Language Development. - Charles Consel; Renaud Marlet (PLILP/ALP, 1998)

Safe and Efficient Active Network Programming. - Scott Thibault; Charles Consel; Gilles Muller (SRDS, 1998)

Tempo: Specializing Systems applications and Beyond. - Charles Consel; Luke Hornof; Renaud Marlet; Gilles Muller; Scott Thibault; Eugen-Nicolae Volanschi (ACM Comput. Surv., 1998)

Partial Evaluation for Software Engineering. - Charles Consel; Luke Hornof; Renaud Marlet; Gilles Muller; Scott Thibault; Eugen-Nicolae Volanschi (ACM Comput. Surv., 1998)

Towards Automatic Specialization of Java Programs. - Ulrik Pagh Schultz; Julia L. Lawall; Charles Consel; Gilles Muller (ECOOP, 1999)

Combining Program and Data Specialization. - Sandrine Chirokoff; Charles Consel (PEPM, 1999)

Efficient Incremental Run-Time Specialization for Free. - Renaud Marlet; Charles Consel; Philippe Boinot (PLDI, 1999)

Efficient Implementations of Software Architectures via Partial Evaluation. - Renaud Marlet; Scott Thibault; Charles Consel (Autom. Softw. Eng., 1999)

Combining Program and Data Specialization. - Sandrine Chirokoff; Charles Consel; Renaud Marlet (High. Order Symb. Comput., 1999)

Domain-Specific Languages: From Design to Implementation Application to Video Device Drivers Generation. - Scott Thibault; Renaud Marlet; Charles Consel (IEEE Trans. Software Eng., 1999)

A Declarative Approach for Designing and Developing Adaptive Components. - Philippe Boinot; Renaud Marlet; Jacques Noyé; Gilles Muller; Charles Consel (ASE, 2000)

A DSL Approach to Improve Productivity and Safety in Device Drivers Development. - Laurent Réveillère; Fabrice Mérillon; Charles Consel; Renaud Marlet; Gilles Muller (ASE, 2000)

Specialization Patterns. - Ulrik Pagh Schultz; Julia L. Lawall; Charles Consel (ASE, 2000)

Devil: An IDL for Hardware Programming. - Fabrice Mérillon; Laurent Réveillère; Charles Consel; Renaud Marlet; Gilles Muller (OSDI, 2000)

Towards robust OSes for appliances: a new approach based on domain-specific languages. - Gilles Muller; Charles Consel; Renaud Marlet; Luciano Porto Barreto; Fabrice Mérillon; Laurent Réveillère (ACM SIGOPS European Workshop, 2000)

Static and Dynamic Program Compilation by Interpreter Specialization. - Scott Thibault; Charles Consel; Julia L. Lawall; Renaud Marlet; Gilles Muller (High. Order Symb. Comput., 2000)

Selected Papers from PEPM'97 - Foreword. - Charles Consel (Theor. Comput. Sci., 2000)

Java bytecode compression for low-end embedded systems. - Lars Ræder Clausen; Ulrik Pagh Schultz; Charles Consel; Gilles Muller (ACM Trans. Program. Lang. Syst., 2000)

WebCaL - a domain specific language for web caching. - Sumit Gulwani; A. Tarachandani; Deepak Gupta 001; Dheeraj Sanghi; Luciano Porto Barreto; Gilles Muller; Charles Consel (Comput. Commun., 2001)

Specialization tools and techniques for systematic optimization of system software. - Dylan McNamee; Jonathan Walpole; Calton Pu; Crispin Cowan; Charles Krasic; Ashvin Goel; Perry Wagle; Charles Consel; Gilles Muller; Renaud Marlet (ACM Trans. Comput. Syst., 2001)

The Abstraction and Instantiation of String-Matching Programs. - Torben Amtoft; Charles Consel; Olivier Danvy; Karoline Malmkjær (The Essence of Computation, 2002)

An Environment for Building Customizable Software Components. - Anne-Françoise Le Meur; Charles Consel; Benoît Escrig (Component Deployment, 2002)

Towards bridging the gap between programming languages and partial evaluation. - Anne-Françoise Le Meur; Julia L. Lawall; Charles Consel (PEPM, 2002)

Domain-Specific Languages: What, Why, How. - Charles Consel (LDTA@ETAPS, 2002)

From a Program Family to a Domain-Specific Language. - Charles Consel (Domain-Specific Program Generation, 2003)

A DSL Paradigm for Domains of Services: A Study of Communication Services. - Charles Consel; Laurent Réveillère (Domain-Specific Program Generation, 2003)

Spidle: A DSL Approach to Specifying Streaming Applications. - Charles Consel; Hédi Hamdi; Laurent Réveillère; Lenin Singaravelu; Haiyan Yu; Calton Pu (GPCE, 2003)

A Programmable Client-Server Model: Robust Extensibility via DSLs. - Charles Consel; Laurent Réveillère (ASE, 2003)

Automatic program specialization for Java. - Ulrik Pagh Schultz; Julia L. Lawall; Charles Consel (ACM Trans. Program. Lang. Syst., 2003)

Remote customization of systems code for embedded devices. - Sapan Bhatia; Charles Consel; Calton Pu (EMSOFT, 2004)

Automatic Specialization of Protocol Stacks. - Sapan Bhatia; Charles Consel; Anne-Françoise Le Meur; Calton Pu (LCN, 2004)

Infopipes: The ISL/ISG Implementation Evaluation. - Galen S. Swint; Calton Pu; Younggyun Koh; Ling Liu 001; Wenchang Yan; Charles Consel; Koichi Moriyama; Jonathan Walpole (NCA, 2004)

Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization. - Anne-Françoise Le Meur; Julia L. Lawall; Charles Consel (High. Order Symb. Comput., 2004)

A tour of Tempo: a program specializer for the C language. - Charles Consel; Julia L. Lawall; Anne-Françoise Le Meur (Sci. Comput. Program., 2004)

A Generative Programming Approach to Developing DSL Compilers. - Charles Consel; Fabien Latry; Laurent Réveillère; Pierre Cointe (GPCE, 2005)

Clearwater: extensible, flexible, modular code generation. - Galen S. Swint; Calton Pu; Gueyoung Jung; Wenchang Yan; Younggyun Koh; Qinyi Wu; Charles Consel; Akhil Sahai; Koichi Moriyama (ASE, 2005)

A Multimedia-Specific Approach to WS-Agreement. - Wilfried Jouve; Julien Lancia; Charles Consel; Calton Pu (ECOWS, 2006)

Language Technology for Internet-Telephony Service Creation. - Laurent Burgy; Charles Consel; Fabien Latry; Julia Lawall; Nicolas Palix; Laurent Réveillère (ICC, 2006)

Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior. - Sapan Bhatia; Charles Consel; Julia Lawall (ISMM, 2006)

Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX. - Sapan Bhatia; Charles Consel; Julia Lawall (LCN, 2006)

Efficient Packet Processing in User-Level OSes: A Study of UML. - Younggyun Koh; Calton Pu; Sapan Bhatia; Charles Consel (LCN, 2006)

Staging telephony service creation: a language approach. - Fabien Latry; Julien Mercadal; Charles Consel (IPTComm, 2007)

A stepwise approach to developing languages for SIP telephony service creation. - Nicolas Palix; Charles Consel; Laurent Réveillère; Julia Lawall (IPTComm, 2007)

Ontology-Directed Generation of Frameworks for Pervasive Service Development. - Charles Consel; Wilfried Jouve; Julien Lancia; Nicolas Palix (PerCom Workshops, 2007)

Pantaxou: a domain-specific language for developing safe coordination services. - Julien Mercadal; Nicolas Palix; Charles Consel; Julia L. Lawall (GPCE, 2008)

A SIP-Based Programming Framework for Advanced Telephony Applications. - Wilfried Jouve; Nicolas Palix; Charles Consel; Patrice Kadionik (IPTComm, 2008)

DSLs: the good, the bad, and the ugly. - Jeff Gray 001; Kathleen Fisher; Charles Consel; Gabor Karsai; Marjan Mernik; Juha-Pekka Tolvanen (OOPSLA Companion, 2008)

High-level Programming Support for Robust Pervasive Computing Applications. - Wilfried Jouve; Julien Lancia; Nicolas Palix; Charles Consel; Julia Lawall (PerCom, 2008)

Remote specialization for efficient embedded operating systems. - Sapan Bhatia; Charles Consel; Calton Pu (ACM Trans. Program. Lang. Syst., 2008)

A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications. - Zoé Drey; Julien Mercadal; Charles Consel (DSL, 2009)

A generative programming approach to developing pervasive computing systems. - Damien Cassou; Benjamin Bertran; Nicolas Loriant; Charles Consel (GPCE, 2009)

An aspect-oriented approach to securing distributed systems. - Henner Jakob; Nicolas Loriant; Charles Consel (ICPS, 2009)

DiaSim: A Parameterized Simulator for Pervasive Computing Applications. - Wilfried Jouve; Julien Bruneau 001; Charles Consel (PerCom, 2009)

SIP as a Universal Communication Bus: A Methodology and an Experimental Study. - Benjamin Bertran; Charles Consel; Wilfried Jouve; Hongyu Guan; Patrice Kadionik (ICC, 2010)

Preliminary Results in Virtual Testing for Smart Buildings. - Julien Bruneau 001; Charles Consel; Marcia K. O'Malley; Walid Taha; Wail Masry Hannourah (MobiQuitous, 2010)

Open platforms: new challenges for software engineering. - Emilie Balland; Charles Consel (PSI EtA, 2010)

Towards a tool-based development methodology for sense/compute/control applications. - Damien Cassou; Julien Bruneau 001; Julien Mercadal; Quentin Enard; Emilie Balland; Nicolas Loriant; Charles Consel (SPLASH/OOPSLA Companion, 2010)

A domain-specific approach to architecturing error handling in pervasive computing. - Julien Mercadal; Quentin Enard; Charles Consel; Nicolas Loriant (OOPSLA, 2010)

A tool suite to prototype pervasive computing applications. - Damien Cassou; Julien Bruneau 001; Charles Consel (PerCom Workshops, 2010)

A visual, open-ended approach to prototyping ubiquitous computing applications. - Zoé Drey; Charles Consel (PerCom Workshops, 2010)

Architecturing Conflict Handling of Pervasive Computing Resources. - Henner Jakob; Charles Consel; Nicolas Loriant (DAIS, 2011)

A Step-Wise Approach for Integrating QoS throughout Software Development. - Stéphanie Gatti; Emilie Balland; Charles Consel (FASE, 2011)

Leveraging software architectures to guide and verify the development of sense/compute/control applications. - Damien Cassou; Emilie Balland; Charles Consel; Julia Lawall (ICSE, 2011)

DiaSuite: a paradigm-oriented software development approach. - Charles Consel (PEPM, 2011)

Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC - Damien Cassou; Charles Consel; Emilie Balland; Julia Lawall (CoRR, 2011)

An experimental study of a design-driven, tool-based development approach. - Quentin Enard; Christine Louberry; Charles Consel; Xavier Blanc 001 (USER@ICSE, 2012)

Virtual Testing for Smart Buildings. - Julien Bruneau 001; Charles Consel; Marcia K. O'Malley; Walid Taha; Wail Masry Hannourah (Intelligent Environments, 2012)

Towards a Tool-based Development Methodology for Pervasive Computing Applications - Damien Cassou; Julien Bruneau 001; Charles Consel; Emilie Balland (CoRR, 2012)

Toward a Tool-Based Development Methodology for Pervasive Computing Applications. - Damien Cassou; Julien Bruneau 001; Charles Consel; Emilie Balland (IEEE Trans. Software Eng., 2012)

Taxonomy-driven prototyping of home automation applications: A novice-programmer visual language and its evaluation. - Zoé Drey; Charles Consel (J. Vis. Lang. Comput., 2012)

Design-driven development methodology for resilient computing. - Quentin Enard; Miruna Stoicescu; Emilie Balland; Charles Consel; Laurence Duchien; Jean-Charles Fabre; Matthieu Roy (CBSE, 2013)

A case for human-driven software development. - Emilie Balland; Charles Consel; Bernard N'Kaoua; Hélène Sauzéon (ICSE, 2013)

Design-driven Development of Dependable Applications - A Case Study in Avionics. - Quentin Enard; Stéphanie Gatti; Julien Bruneau 001; Youg-Joo Moon; Emilie Balland; Charles Consel (PECCS, 2013)

Denotational Semantics of A User-Oriented, Domain-Specific Language. - Julien Mercadal; Zoé Drey; Charles Consel (Festschrift for Dave Schmidt, 2013)

DiaSim: a simulator for pervasive computing applications. - Julien Bruneau 001; Charles Consel (Softw. Pract. Exp., 2013)

Verification of daily activities of older adults: a simple, non-intrusive, low-cost approach. - Loïc Caroux; Charles Consel; Lucile Dupuy; Hélène Sauzéon (ASSETS, 2014)

Tablet-based activity schedule for children with autism in mainstream environment. - Charles Fage; Leonard Pommereau; Charles Consel; Emilie Balland; Hélène Sauzéon (ASSETS, 2014)

Internet of Things: A Challenge for Software Engineering. - Charles Consel; Milan Kabác (ERCIM News, 2014)

DiaSuite: A tool suite to develop Sense/Compute/Control applications. - Benjamin Bertran; Julien Bruneau 001; Damien Cassou; Nicolas Loriant; Emilie Balland; Charles Consel (Sci. Comput. Program., 2014)

A Unifying Notification System To Scale Up Assistive Services. - Charles Consel; Lucile Dupuy; Hélène Sauzéon (ASSETS, 2015)

Orchestrating masses of sensors: a design-driven development Approach. - Milan Kabác; Charles Consel (GPCE, 2015)

An evaluation of the DiaSuite toolset by professional developers: learning cost and usability. - Milan Kabác; Nic Volanschi; Charles Consel (PLATEAU@SPLASH, 2015)

Improving the Reliability of Pervasive Computing Applications by Continuous Checking of Sensor Readings. - Adrien Carteron; Charles Consel; Nic Volanschi (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld, 2016)

Designing Parallel Data Processing for Large-Scale Sensor Orchestration. - Milan Kabác; Charles Consel (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld, 2016)

Leveraging Declarations over the Lifecycle of Large-Scale Sensor Applications. - Milan Kabác; Charles Consel; Nic Volanschi (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld, 2016)

Self determination-based design to achieve acceptance of assisted living technologies for older adults. - Lucile Dupuy; Charles Consel; Hélène Sauzéon (Comput. Hum. Behav., 2016)

Tablet-Based Activity Schedule in Mainstream Environment for Children with Autism and Children with ID. - Charles Fage; Leonard Pommereau; Charles Consel; Emilie Balland; Hélène Sauzéon (ACM Trans. Access. Comput., 2016)

HomeAssist: An Assisted Living Platform for Aging in Place Based on an Interdisciplinary Approach. - Charles Consel; Lucile Dupuy; Hélène Sauzéon (AHFE (6), 2017)

Internet of Things: From Small- to Large-Scale Orchestration. - Charles Consel; Milan Kabác (ICDCS, 2017)

Designing an accessible and engaging email application for aging in place. - Loïc Caroux; Charles Consel; Hélène Sauzéon; Lucile Dupuy (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2017)

Designing parallel data processing for enabling large-scale sensor applications. - Milan Kabác; Charles Consel; Nic Volanschi (Pers. Ubiquitous Comput., 2017)

Frameworks compiled from declarations: a language-independent approach. - Paul van der Walt; Charles Consel; Emilie Balland (Softw. Pract. Exp., 2017)

Implementing a semi-causal domain-specific language for context detection over binary sensors. - Nic Volanschi; Bernard P. Serpette; Charles Consel (GPCE, 2018)

Assistive computing: a human-centered approach to developing computing support for cognition. - Charles Consel (ICSE-SEIS, 2018)

A Domain-Specific Approach to Unifying the Many Dimensions of Context-Aware Home Service Development. - Nic Volanschi; Adrien Carteron; Charles Consel (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

A Language for Online State Processing of Binary Sensors, Applied to Ambient Assisted Living. - Nic Volanschi; Bernard P. Serpette; Adrien Carteron; Charles Consel (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018)

Towards context-aware assistive applications for aging in place via real-life-proof activity detection. - Loïc Caroux; Charles Consel; Lucile Dupuy; Hélène Sauzéon (J. Ambient Intell. Smart Environ., 2018)

An emotion regulation app for school inclusion of children with ASD: Design principles and evaluation. - Charles Fage; Charles Consel; Kattalin Etchegoyhen; Anouck Amestoy; Manuel Bouvard; Cécile Mazon; Hélène Sauzéon (Comput. Educ., 2019)

Early Detection of Mild Cognitive Impairment With In-Home Monitoring Sensor Technologies Using Functional Measures: A Systematic Review. - Maxime Lussier; Monica Lavoie; Sylvain Giroux; Charles Consel; Manon Guay; Joël Macoir; Carol Hudon; Dominique Lorrain; Lise Talbot; Francis Langlois; Hélène Pigot; Nathalie Bier (IEEE J. Biomed. Health Informatics, 2019)

End-user development of activity-supporting services for smart homes. - Rafik Belloum; Charles Consel (PerCom Workshops, 2020)

A tool-based methodology for long-term activity monitoring. - Rafik Belloum; Charles Consel; Nic Volanschi (PETRA, 2020)

Empowering Caregivers to Customizing the Assistive Computing Support of Older Adults - an End-User Domain-Specific Approach. - Stéphanie Giraud; Nic Volanschi; Charles Consel (Int. J. Hum. Comput. Interact., 2020)

Acceptability of notifications delivered to older adults by technology-based assisted living services. - Loïc Caroux; Charles Consel; Margaux Merciol; Hélène Sauzéon (Univers. Access Inf. Soc., 2020)

A Tooled Method for Developing Knowledge-Based Activity Recognizers. - Rafik Belloum; Antoine Riche; Nic Volanschi; Charles Consel (SmartWorld/SCALCOM/UIC/ATC/IOP/SCI, 2021)

Caregiver development of activity-supporting services for smart homes. - Rafik Belloum; Amel Yaddaden; Maxime Lussier; Nathalie Bier; Charles Consel (J. Ambient Intell. Smart Environ., 2021)