Charles Consel

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

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

Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah: Virtual Testing for Smart Buildings. Intelligent Environments 2012: 282-289

Damien Cassou, Julien Bruneau, Charles Consel, Emilie Balland: Towards a Tool-based Development Methodology for Pervasive Computing Applications. CoRR abs/1203.6459 (2012)

Henner Jakob, Charles Consel, Nicolas Loriant: Architecturing Conflict Handling of Pervasive Computing Resources. DAIS 2011: 92-105

Stéphanie Gatti, Emilie Balland, Charles Consel: A Step-Wise Approach for Integrating QoS throughout Software Development. FASE 2011: 217-231

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

Charles Consel: DiaSuite: a paradigm-oriented software development approach. PEPM 2011: 77-78

Damien Cassou, Charles Consel, Emilie Balland, Julia L. Lawall: Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC. CoRR abs/1106.4200 (2011)

Damien Cassou, Emilie Balland, Charles Consel, Julia L. Lawall: Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications. CoRR abs/1109.2807 (2011)

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

Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah: Preliminary Results in Virtual Testing for Smart Buildings. MobiQuitous 2010: 347-349

Emilie Balland, Charles Consel: Open platforms: new challenges for software engineering. PSI EtA 2010: 3

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

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

Zoé Drey, Charles Consel: A visual, open-ended approach to prototyping ubiquitous computing applications. PerCom Workshops 2010: 817-819

Damien Cassou, Julien Bruneau, Charles Consel: A tool suite to prototype pervasive computing applications. PerCom Workshops 2010: 820-822

Zoé Drey, Julien Mercadal, Charles Consel: A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications. DSL 2009: 78-99

Damien Cassou, Benjamin Bertran, Nicolas Loriant, Charles Consel: A generative programming approach to developing pervasive computing systems. GPCE 2009: 137-146

Wilfried Jouve, Julien Bruneau, Charles Consel: DiaSim: A Parameterized Simulator for Pervasive Computing Applications. PerCom 2009: 1-3

Mustaque Ahamad, Dorgham Sisalem, Eric Chen, Charles Consel (Eds.): Principles, Systems and Applications of IP Telecommunications. Third International Conference, IPTComm 2009, Atlanta, Georgia, USA, July 7-8, 2009. Proceedings. ACM 2009, isbn 978-1-60558-767-7

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

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

Wilfried Jouve, Nicolas Palix, Charles Consel, Patrice Kadionik: A SIP-Based Programming Framework for Advanced Telephony Applications. IPTComm 2008: 1-20

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

Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia L. Lawall: High-level Programming Support for Robust Pervasive Computing Applications. PerCom 2008: 252-255

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

Fabien Latry, Julien Mercadal, Charles Consel: Staging telephony service creation: a language approach. IPTComm 2007: 99-110

Charles Consel, Wilfried Jouve, Julien Lancia, Nicolas Palix: Ontology-Directed Generation of Frameworks for Pervasive Service Development. PerCom Workshops 2007: 501-508

Mario Südholt, Charles Consel (Eds.): Object-Oriented Technology, ECOOP 2006 Workshop Reader, ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports. Lecture Notes in Computer Science 4379, Springer 2007, isbn 978-3-540-71772-0

Charles Consel, Julia L. Lawall (Eds.): Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings. ACM 2007, isbn 978-1-59593-855-8

Wilfried Jouve, Julien Lancia, Charles Consel, Calton Pu: A Multimedia-Specific Approach to WS-Agreement. ECOWS 2006: 44-52

Laurent Burgy, Charles Consel, Fabien Latry, Julia L. Lawall, Nicolas Palix, Laurent Réveillère: Language Technology for Internet-Telephony Service Creation. ICC 2006: 1795-1800

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

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

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

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

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

Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel: Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization. Higher-Order and Symbolic Computation 17(1-2): 47-92 (2004)

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

Sapan Bhatia, Charles Consel, Calton Pu: Remote customization of systems code for embedded devices. EMSOFT 2004: 7-15

Emilie Balland, Charles Consel, Bernard N'Kaoua, Hélène Sauzéon: A case for human-driven software development. ICSE 2004: 1229-1232

Sapan Bhatia, Charles Consel, Anne-Françoise Le Meur, Calton Pu: Automatic Specialization of Protocol Stacks. LCN 2004: 152-159

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

Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky (Eds.): Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers. Lecture Notes in Computer Science 3016, Springer 2004, isbn 3-540-22119-0

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

Charles Consel: From a Program Family to a Domain-Specific Language. Domain-Specific Program Generation 2003: 19-29

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

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

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

Charles Consel: Domain-Specific Languages: What, Why, How. Electr. Notes Theor. Comput. Sci. 65(3): 1 (2002)

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

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

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

Don S. Batory, Charles Consel, Walid Taha (Eds.): Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings. Lecture Notes in Computer Science 2487, Springer 2002, isbn 3-540-44284-7

Sumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel: WebCaL - a domain specific language for web caching. Computer Communications 24(2): 191-201 (2001)

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

Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller: Static and Dynamic Program Compilation by Interpreter Specialization. Higher-Order and Symbolic Computation 13(3): 161-178 (2000)

Charles Consel: Selected Papers from PEPM'97 - Foreword. Theor. Comput. Sci. 248(1-2): 1-2 (2000)

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

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

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

Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel: Specialization Patterns. ASE 2000: 197-

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

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

Renaud Marlet, Scott Thibault, Charles Consel: Efficient Implementations of Software Architectures via Partial Evaluation. Autom. Softw. Eng. 6(4): 411-440 (1999)

Sandrine Chirokoff, Charles Consel, Renaud Marlet: Combining Program and Data Specialization. Higher-Order and Symbolic Computation 12(4): 309-335 (1999)

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

Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller: Towards Automatic Specialization of Java Programs. ECOOP 1999: 367-390

Sandrine Chirokoff, Charles Consel: Combining Program and Data Specialization. PEPM 1999: 45-59

Renaud Marlet, Charles Consel, Philippe Boinot: Efficient Incremental Run-Time Specialization for Free. PLDI 1999: 281-292

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

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

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

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

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

Scott Thibault, Charles Consel, Gilles Muller: Safe and Efficient Active Network Programming. SRDS 1998: 135-143

Charles Consel: Program Adaption based on Program Transformation. SIGPLAN Notices 32(1): 69-72 (1997)

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

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

Renaud Marlet, Scott Thibault, Charles Consel: Mapping Software Architectures to Efficient Implementations via Partial Evaluation. ASE 1997: 183-192

Eugen-Nicolae Volanschi, Charles Consel, Gilles Muller, Crispin Cowan: Declarative Specialization of Object-Oriented Programs. OOPSLA 1997: 286-300

Luke Hornof, Charles Consel, Jacques Noyé: Effective Specialization of Realistic Programs via Use Sensitivity. SAS 1997: 293-314

Scott Thibault, Charles Consel: A Framework for Application Generator Design. SSR 1997: 131-135

John P. Gallagher, Charles Consel, A. Michael Berman (Eds.): Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997. ACM 1997, isbn 0-89791-917-3

Charles Consel: Program Adaptation Based on Program Transformation. ACM Comput. Surv. 28(4es): 164 (1996)

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

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

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

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

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

Charles Consel: Fast Strictness Analysis Via Symbolic Fixpoint Iteration. SAS 1994: 423-431

Charles Consel, Siau-Cheng Khoo: Semantics-Directed Generation of a Prolog Compiler. Sci. Comput. Program. 21(3): 263-291 (1993)

Charles Consel, Siau-Cheng Khoo: Parameterized Partial Evaluation. ACM Trans. Program. Lang. Syst. 15(3): 463-493 (1993)

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

Charles Consel: Polyvariant Binding-Time Analysis For Applicative Languages. PEPM 1993: 66-77

Charles Consel: A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages. PEPM 1993: 145-154

Charles Consel, Olivier Danvy: Tutorial Notes on Partial Evaluation. POPL 1993: 493-501

Charles Consel, Olivier Danvy: Partial Evaluation in Parallel. Lisp and Symbolic Computation 5(4): 327-342 (1992)

Charles Consel, Satish Pai: A Programming Environment for Binding-time Based Partial Evaluators. PEPM 1992: 62-66

Charles Consel, Olivier Danvy: For a Better Support of Static Data Flow. FPCA 1991: 496-519

Charles Consel, Siau-Cheng Khoo: Parameterized Partial Evaluation. PLDI 1991: 92-106

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

Charles Consel, Siau-Cheng Khoo: Semantics-Directed Generation of a Prolog Compiler. PLILP 1991: 135-146

Charles Consel, Olivier Danvy: Static and Dynamic Semantics Processing. POPL 1991: 14-24

Charles Consel, Siau-Cheng Khoo: Evaluation partielle paramétrable. JTASPEFT/WSA 1991: 72-81

Charles Consel, Olivier Danvy (Eds.): Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991. ACM 1991, isbn 0-89791-433-3

Charles Consel, Olivier Danvy: From Interpreting to Compiling Binding Times. ESOP 1990: 88-105

Charles Consel: Binding Time Analysis for High Order Untyped Functional Languages. LISP and Functional Programming 1990: 264-272

Charles Consel, Olivier Danvy: Partial Evaluation of Pattern Matching in Strings. Inf. Process. Lett. 30(2): 79-86 (1989)

Charles Consel: New Insights into Partial Evaluation: the SCHISM Experiment. ESOP 1988: 236-246