| 2021 | UIC | A Tooled Method for Developing Knowledge-Based Activity Recognizers. | Rafik Belloum, Antoine Riche, Nic Volanschi, Charles Consel |
| 2020 | PERCOM | End-user development of activity-supporting services for smart homes. | Rafik Belloum, Charles Consel |
| 2018 | GPCE | Implementing a semi-causal domain-specific language for context detection over binary sensors. | Nic Volanschi, Bernard P. Serpette, Charles Consel |
| 2018 | ICSE | Assistive computing: a human-centered approach to developing computing support for cognition. | Charles Consel |
| 2018 | UIC | A Domain-Specific Approach to Unifying the Many Dimensions of Context-Aware Home Service Development. | Nic Volanschi, Adrien Carteron, Charles Consel |
| 2017 | ICDCS | Internet of Things: From Small- to Large-Scale Orchestration. | Charles Consel, Milan Kabc |
| 2017 | UIC | Designing an accessible and engaging email application for aging in place. | Loc Caroux, Charles Consel, Hlne Sauzon, Lucile Dupuy |
| 2016 | UIC | Improving the Reliability of Pervasive Computing Applications by Continuous Checking of Sensor Readings. | Adrien Carteron, Charles Consel, Nic Volanschi |
| 2016 | UIC | Designing Parallel Data Processing for Large-Scale Sensor Orchestration. | Milan Kabc, Charles Consel |
| 2016 | UIC | Leveraging Declarations over the Lifecycle of Large-Scale Sensor Applications. | Milan Kabc, Charles Consel, Nic Volanschi |
| 2015 | ASSETS | A Unifying Notification System To Scale Up Assistive Services. | Charles Consel, Lucile Dupuy, Hlne Sauzon |
| 2015 | GPCE | Orchestrating masses of sensors: a design-driven development Approach. | Milan Kabc, Charles Consel |
| 2015 | OOPSLA | An evaluation of the DiaSuite toolset by professional developers: learning cost and usability. | Milan Kabc, Nic Volanschi, Charles Consel |
| 2014 | ASSETS | Verification of daily activities of older adults: a simple, non-intrusive, low-cost approach. | Loc Caroux, Charles Consel, Lucile Dupuy, Hlne Sauzon |
| 2014 | ASSETS | Tablet-based activity schedule for children with autism in mainstream environment. | Charles Fage, Leonard Pommereau, Charles Consel, Emilie Balland, Hlne Sauzon |
| 2013 | ICSE | A case for human-driven software development. | Emilie Balland, Charles Consel, Bernard N'Kaoua, Hlne Sauzon |
| 2012 | ICSE | An experimental study of a design-driven, tool-based development approach. | Quentin Enard, Christine Louberry, Charles Consel, Xavier Blanc |
| 2011 | DAIS | Architecturing Conflict Handling of Pervasive Computing Resources. | Henner Jakob, Charles Consel, Nicolas Loriant |
| 2011 | FASE | A Step-Wise Approach for Integrating QoS throughout Software Development. | Stphanie Gatti, Emilie Balland, Charles Consel |
| 2011 | ICSE | Leveraging software architectures to guide and verify the development of sense/compute/control applications. | Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall |
| 2011 | PEPM | DiaSuite: a paradigm-oriented software development approach. | Charles Consel |
| 2010 | Mobiquitous | Preliminary Results in Virtual Testing for Smart Buildings. | Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah |
| 2010 | OOPSLA | Open platforms: new challenges for software engineering. | Emilie Balland, Charles Consel |
| 2010 | OOPSLA | Towards a tool-based development methodology for sense/compute/control applications. | Damien Cassou, Julien Bruneau, Julien Mercadal, Quentin Enard, Emilie Balland, Nicolas Loriant, Charles Consel |
| 2010 | OOPSLA | A domain-specific approach to architecturing error handling in pervasive computing. | Julien Mercadal, Quentin Enard, Charles Consel, Nicolas Loriant |
| 2010 | PERCOM | A tool suite to prototype pervasive computing applications. | Damien Cassou, Julien Bruneau, Charles Consel |
| 2010 | PERCOM | A visual, open-ended approach to prototyping ubiquitous computing applications. | Zo Drey, Charles Consel |
| 2009 | GPCE | A generative programming approach to developing pervasive computing systems. | Damien Cassou, Benjamin Bertran, Nicolas Loriant, Charles Consel |
| 2009 | Mobiquitous | DiaSim: A parameterized simulator for pervasive computing applications. | Julien Bruneau, Wilfried Jouve, Charles Consel |
| 2009 | Mobiquitous | DiaSim: A parameterized simulator for pervasive computing applications. | Julien Bruneau, Wilfried Jouve, Charles Consel |
| 2009 | PERCOM | DiaSim: A Parameterized Simulator for Pervasive Computing Applications. | Wilfried Jouve, Julien Bruneau, Charles Consel |
| 2008 | GPCE | Pantaxou: a domain-specific language for developing safe coordination services. | Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall |
| 2008 | OOPSLA | DSLs: the good, the bad, and the ugly. | Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen |
| 2008 | PERCOM | High-level Programming Support for Robust Pervasive Computing Applications. | Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall |
| 2007 | PERCOM | Ontology-Directed Generation of Frameworks for Pervasive Service Development. | Charles Consel, Wilfried Jouve, Julien Lancia, Nicolas Palix |
| 2006 | LCN | Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX. | Sapan Bhatia, Charles Consel, Julia Lawall |
| 2006 | LCN | Efficient Packet Processing in User-Level OSes: A Study of UML. | Younggyun Koh, Calton Pu, Sapan Bhatia, Charles Consel |
| 2005 | GPCE | A Generative Programming Approach to Developing DSL Compilers. | Charles Consel, Fabien Latry, Laurent Rveillre, Pierre Cointe |
| 2004 | EMSOFT | Remote customization of systems code for embedded devices. | Sapan Bhatia, Charles Consel, Calton Pu |
| 2004 | LCN | Automatic Specialization of Protocol Stacks. | Sapan Bhatia, Charles Consel, Anne-Franoise Le Meur, Calton Pu |
| 2004 | NCA | Infopipes: The ISL/ISG Implementation Evaluation. | Galen S. Swint, Calton Pu, Younggyun Koh, Ling Liu, Wenchang Yan, Charles Consel, Koichi Moriyama, Jonathan Walpole |
| 2003 | GPCE | Spidle: A DSL Approach to Specifying Streaming Applications. | Charles Consel, Hdi Hamdi, Laurent Rveillre, Lenin Singaravelu, Haiyan Yu, Calton Pu |
| 2002 | PEPM | Towards bridging the gap between programming languages and partial evaluation. | Anne-Franoise Le Meur, Julia L. Lawall, Charles Consel |
| 2000 | OSDI | Devil: An IDL for Hardware Programming. | Fabrice Mrillon, Laurent Rveillre, Charles Consel, Renaud Marlet, Gilles Muller |
| 1999 | ECOOP | Towards Automatic Specialization of Java Programs. | Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller |
| 1999 | PEPM | Combining Program and Data Specialization. | Sandrine Chirokoff, Charles Consel |
| 1999 | PLDI | Efficient Incremental Run-Time Specialization for Free. | Renaud Marlet, Charles Consel, Philippe Boinot |
| 1998 | ICDCS | Fast, Optimized Sun RPC Using Automatic Program Specialization. | Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu, Ashvin Goel |
| 1998 | SRDS | Safe and Efficient Active Network Programming. | Scott Thibault, Charles Consel, Gilles Muller |
| 1997 | OOPSLA | Declarative Specialization of Object-Oriented Programs. | Eugen-Nicolae Volanschi, Charles Consel, Gilles Muller, Crispin Cowan |
| 1997 | SAS | Effective Specialization of Realistic Programs via Use Sensitivity. | Luke Hornof, Charles Consel, Jacques Noy |
| 1996 | POPL | A General Approach for Run-Time Specialization and its Application to C. | Charles Consel, Franois Nol |
| 1995 | SOSP | 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 |
| 1994 | SAS | Fast Strictness Analysis Via Symbolic Fixpoint Iteration. | Charles Consel |
| 1993 | PEPM | Polyvariant Binding-Time Analysis For Applicative Languages. | Charles Consel |
| 1993 | PEPM | A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages. | Charles Consel |
| 1993 | PEPM | Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems. | Charles Consel, Calton Pu, Jonathan Walpole |
| 1993 | POPL | Tutorial Notes on Partial Evaluation. | Charles Consel, Olivier Danvy |
| 1992 | PEPM | A Programming Environment for Binding-time Based Partial Evaluators. | Charles Consel, Satish Pai |
| 1991 | PLDI | Parameterized Partial Evaluation. | Charles Consel, Siau-Cheng Khoo |
| 1991 | PLDI | Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. | Amir Kishon, Paul Hudak, Charles Consel |
| 1991 | POPL | Static and Dynamic Semantics Processing. | Charles Consel, Olivier Danvy |
| 1991 | SAS | Evaluation partielle paramtrable. | Charles Consel, Siau-Cheng Khoo |
| 1990 | ESOP | From Interpreting to Compiling Binding Times. | Charles Consel, Olivier Danvy |
| 1988 | ESOP | New Insights into Partial Evaluation: the SCHISM Experiment. | Charles Consel |