 | 2009 |
|---|
| 87 |       | Zoé Drey,
Julien Mercadal,
Charles Consel:
A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications.
DSL 2009: 78-99 |
| 86 | | Damien Cassou,
Benjamin Bertran,
Nicolas Loriant,
Charles Consel:
A generative programming approach to developing pervasive computing systems.
GPCE 2009: 137-146 |
| 85 | | Wilfried Jouve,
Julien Bruneau,
Charles Consel:
DiaSim: A Parameterized Simulator for Pervasive Computing Applications.
PerCom 2009: 1-3 |
| 2008 |
|---|
| 84 | | Julien Mercadal,
Nicolas Palix,
Charles Consel,
Julia L. Lawall:
Pantaxou: a domain-specific language for developing safe coordination services.
GPCE 2008: 149-160 |
| 83 | | Wilfried Jouve,
Nicolas Palix,
Charles Consel,
Patrice Kadionik:
A SIP-Based Programming Framework for Advanced Telephony Applications.
IPTComm 2008: 1-20 |
| 82 | | 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 |
| 81 | | Wilfried Jouve,
Julien Lancia,
Nicolas Palix,
Charles Consel,
Julia L. Lawall:
High-level Programming Support for Robust Pervasive Computing Applications.
PerCom 2008: 252-255 |
| 80 | | Sapan Bhatia,
Charles Consel,
Calton Pu:
Remote specialization for efficient embedded operating systems.
ACM Trans. Program. Lang. Syst. 30(4): (2008) |
| 2007 |
|---|
| 79 |  | Charles Consel,
Julia L. Lawall:
Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings
ACM 2007 |
| 78 | | Mario Südholt,
Charles Consel:
Object-Oriented Technology, ECOOP 2006 Workshop Reader, ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports
Springer 2007 |
| 77 | | Charles Consel,
Wilfried Jouve,
Julien Lancia,
Nicolas Palix:
Ontology-Directed Generation of Frameworks for Pervasive Service Development.
PerCom Workshops 2007: 501-508 |
| 2006 |
|---|
| 76 | | Wilfried Jouve,
Julien Lancia,
Charles Consel,
Calton Pu:
A Multimedia-Specific Approach to WS-Agreement.
ECOWS 2006: 44-52 |
| 75 | | Sapan Bhatia,
Charles Consel,
Julia L. Lawall:
Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior.
ISMM 2006: 104-114 |
| 74 | | 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 |
| 73 | | Younggyun Koh,
Calton Pu,
Sapan Bhatia,
Charles Consel:
Efficient Packet Processing in User-Level OSes: A Study of UML.
LCN 2006: 63-70 |
| 2005 |
|---|
| 72 | | 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 |
| 71 | | Charles Consel,
Fabien Latry,
Laurent Réveillère,
Pierre Cointe:
A Generative Programming Approach to Developing DSL Compilers.
GPCE 2005: 29-46 |
| 2004 |
|---|
| 70 | | Christian Lengauer,
Don S. Batory,
Charles Consel,
Martin Odersky:
Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
Springer 2004 |
| 69 | | Sapan Bhatia,
Charles Consel,
Calton Pu:
Remote customization of systems code for embedded devices.
EMSOFT 2004: 7-15 |
| 68 | | Sapan Bhatia,
Charles Consel,
Anne-Françoise Le Meur,
Calton Pu:
Automatic Specialization of Protocol Stacks.
LCN 2004: 152-159 |
| 67 | | 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 |
| 66 | | 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) |
| 65 | | 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) |
| 2003 |
|---|
| 64 | | Charles Consel,
Laurent Réveillère:
A Programmable Client-Server Model: Robust Extensibility via DSLs.
ASE 2003: 70-79 |
| 63 | | 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 |
| 62 | | Charles Consel:
From a Program Family to a Domain-Specific Language.
Domain-Specific Program Generation 2003: 19-29 |
| 61 | | 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 |
| 60 | | Ulrik Pagh Schultz,
Julia L. Lawall,
Charles Consel:
Automatic program specialization for Java.
ACM Trans. Program. Lang. Syst. 25(4): 452-499 (2003) |
| 2002 |
|---|
| 59 | | Don S. Batory,
Charles Consel,
Walid Taha:
Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings
Springer 2002 |
| 58 | | Anne-Françoise Le Meur,
Charles Consel,
Benoît Escrig:
An Environment for Building Customizable Software Components.
Component Deployment 2002: 1-14 |
| 57 | | Anne-Françoise Le Meur,
Julia L. Lawall,
Charles Consel:
Towards bridging the gap between programming languages and partial evaluation.
PEPM 2002: 9-18 |
| 56 | | Torben Amtoft,
Charles Consel,
Olivier Danvy,
Karoline Malmkjær:
The Abstraction and Instantiation of String-Matching Programs.
The Essence of Computation 2002: 332-357 |
| 55 | | Charles Consel:
Domain-Specific Languages: What, Why, How.
Electr. Notes Theor. Comput. Sci. 65(3): (2002) |
| 2001 |
|---|
| 54 | | 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) |
| 53 | | 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) |
| 2000 |
|---|
| 52 | | 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 |
| 51 | | 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 |
| 50 | | Philippe Boinot,
Renaud Marlet,
Jacques Noyé,
Gilles Muller,
Charles Consel:
A Declarative Approach for Designing and Developing Adaptive Components.
ASE 2000: 111- |
| 49 | | Ulrik Pagh Schultz,
Julia L. Lawall,
Charles Consel:
Specialization Patterns.
ASE 2000: 197- |
| 48 | | Fabrice Mérillon,
Laurent Réveillère,
Charles Consel,
Renaud Marlet,
Gilles Muller:
Devil: An IDL for Hardware Programming.
OSDI 2000: 17-30 |
| 47 | | 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) |
| 46 | | 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) |
| 45 | | Charles Consel:
Selected Papers from PEPM'97 - Foreword.
Theor. Comput. Sci. 248(1-2): 1-2 (2000) |
| 1999 |
|---|
| 44 | | Ulrik Pagh Schultz,
Julia L. Lawall,
Charles Consel,
Gilles Muller:
Towards Automatic Specialization of Java Programs.
ECOOP 1999: 367-390 |
| 43 | | Sandrine Chirokoff,
Charles Consel:
Combining Program and Data Specialization.
PEPM 1999: 45-59 |
| 42 | | Renaud Marlet,
Charles Consel,
Philippe Boinot:
Efficient Incremental Run-Time Specialization for Free.
PLDI 1999: 281-292 |
| 41 | | Renaud Marlet,
Scott Thibault,
Charles Consel:
Efficient Implementations of Software Architectures via Partial Evaluation.
Autom. Softw. Eng. 6(4): 411-440 (1999) |
| 40 | | Sandrine Chirokoff,
Charles Consel,
Renaud Marlet:
Combining Program and Data Specialization.
Higher-Order and Symbolic Computation 12(4): 309-335 (1999) |
| 39 | | 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) |
| 1998 |
|---|
| 38 | | 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 |
| 37 | | 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 |
| 36 | | Charles Consel,
Renaud Marlet:
Architecture Software Using: A Methodology for Language Development.
PLILP/ALP 1998: 170-194 |
| 35 | | Scott Thibault,
Charles Consel,
Gilles Muller:
Safe and Efficient Active Network Programming.
SRDS 1998: 135-143 |
| 34 | | 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) |
| 33 | | 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) |
| 1997 |
|---|
| 32 | | Renaud Marlet,
Scott Thibault,
Charles Consel:
Mapping Software Architectures to Efficient Implementations via Partial Evaluation.
ASE 1997: 183-192 |
| 31 | | 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 |
| 30 | | Scott Thibault,
Renaud Marlet,
Charles Consel:
A Domain Specific Language for Video Device Drivers: From Design to Implementation.
DSL 1997: 11-26 |
| 29 | | Eugen-Nicolae Volanschi,
Charles Consel,
Gilles Muller,
Crispin Cowan:
Declarative Specialization of Object-Oriented Programs.
OOPSLA 1997: 286-300 |
| 28 | | Luke Hornof,
Charles Consel,
Jacques Noyé:
Effective Specialization of Realistic Programs via Use Sensitivity.
SAS 1997: 293-314 |
| 27 | | Scott Thibault,
Charles Consel:
A Framework for Application Generator Design.
SSR 1997: 131-135 |
| 26 | | Charles Consel:
Program Adaption based on Program Transformation.
SIGPLAN Notices 32(1): 69-72 (1997) |
| 1996 |
|---|
| 25 | | 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 |
| 24 | | Charles Consel,
François Noël:
A General Approach for Run-Time Specialization and its Application to C.
POPL 1996: 145-156 |
| 23 | | Charles Consel:
Program Adaptation Based on Program Transformation.
ACM Comput. Surv. 28(4es): 164 (1996) |
| 1995 |
|---|
| 22 | | 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 |
| 21 | | Charles Consel,
Siau-Cheng Khoo:
On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs.
J. Funct. Program. 5(4): 461-500 (1995) |
| 1994 |
|---|
| 20 | | Charles Consel:
Fast Strictness Analysis Via Symbolic Fixpoint Iteration.
SAS 1994: 423-431 |
| 19 | | 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) |
| 1993 |
|---|
| 18 | | Charles Consel:
A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages.
PEPM 1993: 145-154 |
| 17 | | Charles Consel,
Calton Pu,
Jonathan Walpole:
Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems.
PEPM 1993: 44-46 |
| 16 | | Charles Consel:
Polyvariant Binding-Time Analysis For Applicative Languages.
PEPM 1993: 66-77 |
| 15 | | Charles Consel,
Olivier Danvy:
Tutorial Notes on Partial Evaluation.
POPL 1993: 493-501 |
| 14 | | Charles Consel,
Siau-Cheng Khoo:
Parameterized Partial Evaluation.
ACM Trans. Program. Lang. Syst. 15(3): 463-493 (1993) |
| 13 | | Charles Consel,
Siau-Cheng Khoo:
Semantics-Directed Generation of a Prolog Compiler.
Sci. Comput. Program. 21(3): 263-291 (1993) |
| 1992 |
|---|
| 12 | | Charles Consel,
Satish Pai:
A Programming Environment for Binding-time Based Partial Evaluators.
PEPM 1992: 62-66 |
| 11 | | Charles Consel,
Olivier Danvy:
Partial Evaluation in Parallel.
Lisp and Symbolic Computation 5(4): 327-342 (1992) |
| 1991 |
|---|
| 10 | | Charles Consel,
Olivier Danvy:
For a Better Support of Static Data Flow.
FPCA 1991: 496-519 |
| 9 | | Charles Consel,
Siau-Cheng Khoo:
Evaluation partielle paramétrable.
JTASPEFT/WSA 1991: 72-81 |
| 8 | | Amir Kishon,
Paul Hudak,
Charles Consel:
Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors.
PLDI 1991: 338-352 |
| 7 | | Charles Consel,
Siau-Cheng Khoo:
Parameterized Partial Evaluation.
PLDI 1991: 92-106 |
| 6 | | Charles Consel,
Siau-Cheng Khoo:
Semantics-Directed Generation of a Prolog Compiler.
PLILP 1991: 135-146 |
| 5 | | Charles Consel,
Olivier Danvy:
Static and Dynamic Semantics Processing.
POPL 1991: 14-24 |
| 1990 |
|---|
| 4 | | Charles Consel,
Olivier Danvy:
From Interpreting to Compiling Binding Times.
ESOP 1990: 88-105 |
| 3 | | Charles Consel:
Binding Time Analysis for High Order Untyped Functional Languages.
LISP and Functional Programming 1990: 264-272 |
| 1989 |
|---|
| 2 | | Charles Consel,
Olivier Danvy:
Partial Evaluation of Pattern Matching in Strings.
Inf. Process. Lett. 30(2): 79-86 (1989) |
| 1988 |
|---|
| 1 | | Charles Consel:
New Insights into Partial Evaluation: the SCHISM Experiment.
ESOP 1988: 236-246 |
