2008 |
84 | EE | Julien Mercadal,
Nicolas Palix,
Charles Consel,
Julia L. Lawall:
Pantaxou: a domain-specific language for developing safe coordination services.
GPCE 2008: 149-160 |
83 | EE | Wilfried Jouve,
Nicolas Palix,
Charles Consel,
Patrice Kadionik:
A SIP-Based Programming Framework for Advanced Telephony Applications.
IPTComm 2008: 1-20 |
82 | EE | 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 | EE | 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 | EE | 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 | EE | Charles Consel,
Wilfried Jouve,
Julien Lancia,
Nicolas Palix:
Ontology-Directed Generation of Frameworks for Pervasive Service Development.
PerCom Workshops 2007: 501-508 |
2006 |
76 | EE | Wilfried Jouve,
Julien Lancia,
Charles Consel,
Calton Pu:
A Multimedia-Specific Approach to WS-Agreement.
ECOWS 2006: 44-52 |
75 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Sapan Bhatia,
Charles Consel,
Calton Pu:
Remote customization of systems code for embedded devices.
EMSOFT 2004: 7-15 |
68 | EE | Sapan Bhatia,
Charles Consel,
Anne-Françoise Le Meur,
Calton Pu:
Automatic Specialization of Protocol Stacks.
LCN 2004: 152-159 |
67 | EE | 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 | EE | 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 | EE | 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 | EE | Charles Consel,
Laurent Réveillère:
A Programmable Client-Server Model: Robust Extensibility via DSLs.
ASE 2003: 70-79 |
63 | EE | 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 | EE | Charles Consel:
From a Program Family to a Domain-Specific Language.
Domain-Specific Program Generation 2003: 19-29 |
61 | EE | 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 | EE | 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 | EE | Anne-Françoise Le Meur,
Charles Consel,
Benoît Escrig:
An Environment for Building Customizable Software Components.
Component Deployment 2002: 1-14 |
57 | EE | 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 | EE | 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 | EE | Charles Consel:
Domain-Specific Languages: What, Why, How.
Electr. Notes Theor. Comput. Sci. 65(3): (2002) |
2001 |
54 | EE | 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 | EE | 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 | EE | 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 | EE | Philippe Boinot,
Renaud Marlet,
Jacques Noyé,
Gilles Muller,
Charles Consel:
A Declarative Approach for Designing and Developing Adaptive Components.
ASE 2000: 111- |
49 | EE | 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 | EE | 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 | EE | Charles Consel:
Selected Papers from PEPM'97 - Foreword.
Theor. Comput. Sci. 248(1-2): 1-2 (2000) |
1999 |
44 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Renaud Marlet,
Scott Thibault,
Charles Consel:
Mapping Software Architectures to Efficient Implementations via Partial Evaluation.
ASE 1997: 183-192 |
31 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |