dblp.uni-trier.dewww.uni-trier.de

Charles Consel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
86EEZoé Drey, Julien Mercadal, Charles Consel: A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications. DSL 2009: 78-99
85EEWilfried Jouve, Julien Bruneau, Charles Consel: DiaSim: A Parameterized Simulator for Pervasive Computing Applications. PerCom 2009: 1-3
2008
84EEJulien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall: Pantaxou: a domain-specific language for developing safe coordination services. GPCE 2008: 149-160
83EEWilfried Jouve, Nicolas Palix, Charles Consel, Patrice Kadionik: A SIP-Based Programming Framework for Advanced Telephony Applications. IPTComm 2008: 1-20
82EEJeff 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
81EEWilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia L. Lawall: High-level Programming Support for Robust Pervasive Computing Applications. PerCom 2008: 252-255
80EESapan 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
77EECharles Consel, Wilfried Jouve, Julien Lancia, Nicolas Palix: Ontology-Directed Generation of Frameworks for Pervasive Service Development. PerCom Workshops 2007: 501-508
2006
76EEWilfried Jouve, Julien Lancia, Charles Consel, Calton Pu: A Multimedia-Specific Approach to WS-Agreement. ECOWS 2006: 44-52
75EESapan Bhatia, Charles Consel, Julia L. Lawall: Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior. ISMM 2006: 104-114
74EESapan Bhatia, Charles Consel, Julia L. Lawall: Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX. LCN 2006: 47-54
73EEYounggyun Koh, Calton Pu, Sapan Bhatia, Charles Consel: Efficient Packet Processing in User-Level OSes: A Study of UML. LCN 2006: 63-70
2005
72EEGalen 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
71EECharles 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
69EESapan Bhatia, Charles Consel, Calton Pu: Remote customization of systems code for embedded devices. EMSOFT 2004: 7-15
68EESapan Bhatia, Charles Consel, Anne-Françoise Le Meur, Calton Pu: Automatic Specialization of Protocol Stacks. LCN 2004: 152-159
67EEGalen 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
66EEAnne-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)
65EECharles 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
64EECharles Consel, Laurent Réveillère: A Programmable Client-Server Model: Robust Extensibility via DSLs. ASE 2003: 70-79
63EECharles Consel, Laurent Réveillère: A DSL Paradigm for Domains of Services: A Study of Communication Services. Domain-Specific Program Generation 2003: 165-179
62EECharles Consel: From a Program Family to a Domain-Specific Language. Domain-Specific Program Generation 2003: 19-29
61EECharles 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
60EEUlrik 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
58EEAnne-Françoise Le Meur, Charles Consel, Benoît Escrig: An Environment for Building Customizable Software Components. Component Deployment 2002: 1-14
57EEAnne-Françoise Le Meur, Julia L. Lawall, Charles Consel: Towards bridging the gap between programming languages and partial evaluation. PEPM 2002: 9-18
56EETorben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær: The Abstraction and Instantiation of String-Matching Programs. The Essence of Computation 2002: 332-357
55EECharles Consel: Domain-Specific Languages: What, Why, How. Electr. Notes Theor. Comput. Sci. 65(3): (2002)
2001
54EEDylan 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
52EEGilles 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
51EELaurent 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
50EEPhilippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel: A Declarative Approach for Designing and Developing Adaptive Components. ASE 2000: 111-
49EEUlrik 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
47EELars 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)
45EECharles Consel: Selected Papers from PEPM'97 - Foreword. Theor. Comput. Sci. 248(1-2): 1-2 (2000)
1999
44EEUlrik 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
42EERenaud 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)
39EEScott 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
38EEFrançois Noël, Luke Hornof, Charles Consel, Julia L. Lawall: Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. ICCL 1998: 132-142
37EEGilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu, Ashvin Goel: Fast, Optimized Sun RPC Using Automatic Program Specialization. ICDCS 1998: 240-249
36EECharles 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
34EECharles 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)
33EECharles 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
32EERenaud Marlet, Scott Thibault, Charles Consel: Mapping Software Architectures to Efficient Implementations via Partial Evaluation. ASE 1997: 183-192
31EEGilles Muller, Bárbara Moura, Fabrice Bellard, Charles Consel: Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code. COOTS 1997: 1-20
30EEScott 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
27EEScott 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
24EECharles 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
19EEJ. 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
14EECharles 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
6EECharles 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
4EECharles Consel, Olivier Danvy: From Interpreting to Compiling Binding Times. ESOP 1990: 88-105
3EECharles 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
1EECharles Consel: New Insights into Partial Evaluation: the SCHISM Experiment. ESOP 1988: 236-246

Coauthor Index

1Torben Amtoft (Torben Amtoft Hansen) [56]
2J. Michael Ashley [19]
3Tito Autrey [22]
4Luciano Porto Barreto [52] [53]
5Don S. Batory [59] [70]
6Fabrice Bellard [31]
7Sapan Bhatia [68] [69] [73] [74] [75] [80]
8Andrew P. Black [22]
9Philippe Boinot [42] [50]
10Julien Bruneau [85]
11Sandrine Chirokoff [40] [43]
12Lars Ræder Clausen (Lars Clausen) [47]
13Pierre Cointe [71]
14Crispin Cowan [22] [29] [54]
15Olivier Danvy [2] [4] [5] [10] [11] [15] [56]
16Zoé Drey [86]
17Benoît Escrig [58]
18Kathleen Fisher [82]
19Ashvin Goel [37] [54]
20Jeffrey G. Gray (Jeff Gray) [82]
21Sumit Gulwani [53]
22Deepak Gupta [53]
23Hédi Hamdi [61]
24Luke Hornof [25] [28] [33] [34] [38]
25Paul Hudak [8]
26Jon Inouye [22]
27Wilfried Jouve [76] [77] [81] [83] [85]
28Gueyoung Jung [72]
29Patrice Kadionik [83]
30Gabor Karsai [82]
31Lakshmi Kethana [22]
32Siau-Cheng Khoo [6] [7] [9] [13] [14] [21]
33Amir Kishon [8]
34Younggyun Koh [67] [72] [73]
35Charles Krasic [54]
36Julien Lancia [76] [77] [81]
37Fabien Latry [71]
38Julia L. Lawall [38] [44] [46] [49] [57] [60] [65] [66] [74] [75] [79] [81] [84]
39Christian Lengauer [70]
40Ling Liu [67]
41Karoline Malmkjær [56]
42Renaud Marlet [30] [32] [33] [34] [36] [37] [39] [40] [41] [42] [46] [48] [50] [51] [52] [54]
43Dylan McNamee [54]
44Julien Mercadal [84] [86]
45Fabrice Mérillon [48] [51] [52]
46Marjan Mernik [82]
47Anne-Françoise Le Meur [57] [58] [65] [66] [68]
48Koichi Moriyama [67] [72]
49Bárbara Moura [31]
50Gilles Muller [29] [31] [33] [34] [35] [37] [44] [46] [47] [48] [50] [51] [52] [53] [54]
51François Noël [24] [25] [38]
52Jacques Noyé [25] [28] [50]
53Martin Odersky [70]
54Satish Pai [12]
55Nicolas Palix [77] [81] [83] [84]
56Calton Pu [17] [22] [37] [54] [61] [67] [68] [69] [72] [73] [76] [80]
57Laurent Réveillère [48] [51] [52] [61] [63] [64] [71]
58Akhil Sahai [72]
59Dheeraj Sanghi [53]
60Ulrik Pagh Schultz [44] [47] [49] [60]
61Lenin Singaravelu [61]
62Mario Südholt [78]
63Galen S. Swint [67] [72]
64Walid Taha [59]
65A. Tarachandani [53]
66Scott Thibault [27] [30] [32] [33] [34] [35] [39] [41] [46]
67Juha-Pekka Tolvanen [82]
68Nicolae Volansche [25]
69Eugen-Nicolae Volanschi [29] [33] [34] [37]
70Perry Wagle [54]
71Jonathan Walpole [17] [22] [54] [67]
72Qinyi Wu [72]
73Wenchang Yan [67] [72]
74Haiyan Yu [61]
75Ke Zhang [22]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)