The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Charles Consel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Charles Consel, Olivier Danvy
    Tutorial Notes on Partial Evaluation. [Citation Graph (2, 0)][DBLP]
    POPL, 1993, pp:493-501 [Conf]
  2. Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær
    The Abstraction and Instantiation of String-Matching Programs. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:332-357 [Conf]
  3. Anne-Françoise Le Meur, Charles Consel, Benoît Escrig
    An Environment for Building Customizable Software Components. [Citation Graph (0, 0)][DBLP]
    Component Deployment, 2002, pp:1-14 [Conf]
  4. Gilles Muller, Bárbara Moura, Fabrice Bellard, Charles Consel
    Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code. [Citation Graph (0, 0)][DBLP]
    COOTS, 1997, pp:1-20 [Conf]
  5. Charles Consel, Luke Hornof, François Noël, Jacques Noyé, Nicolae Volansche
    A Uniform Approach for Compile-Time and Run-Time Specialization. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:54-72 [Conf]
  6. Charles Consel, Laurent Réveillère
    A DSL Paradigm for Domains of Services: A Study of Communication Services. [Citation Graph (0, 0)][DBLP]
    Domain-Specific Program Generation, 2003, pp:165-179 [Conf]
  7. Charles Consel
    From a Program Family to a Domain-Specific Language. [Citation Graph (0, 0)][DBLP]
    Domain-Specific Program Generation, 2003, pp:19-29 [Conf]
  8. Scott Thibault, Renaud Marlet, Charles Consel
    A Domain Specific Language for Video Device Drivers: From Design to Implementation. [Citation Graph (0, 0)][DBLP]
    DSL, 1997, pp:11-26 [Conf]
  9. Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller
    Towards Automatic Specialization of Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1999, pp:367-390 [Conf]
  10. Wilfried Jouve, Julien Lancia, Charles Consel, Calton Pu
    A Multimedia-Specific Approach to WS-Agreement. [Citation Graph (0, 0)][DBLP]
    ECOWS, 2006, pp:44-52 [Conf]
  11. Sapan Bhatia, Charles Consel, Calton Pu
    Remote customization of systems code for embedded devices. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2004, pp:7-15 [Conf]
  12. Charles Consel
    New Insights into Partial Evaluation: the SCHISM Experiment. [Citation Graph (0, 0)][DBLP]
    ESOP, 1988, pp:236-246 [Conf]
  13. Charles Consel, Olivier Danvy
    From Interpreting to Compiling Binding Times. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:88-105 [Conf]
  14. Charles Consel, Olivier Danvy
    For a Better Support of Static Data Flow. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:496-519 [Conf]
  15. Charles Consel, Hedi Hamdi, Laurent Réveillère, Lenin Singaravelu, Haiyan Yu, Calton Pu
    Spidle: A DSL Approach to Specifying Streaming Applications. [Citation Graph (0, 0)][DBLP]
    GPCE, 2003, pp:1-17 [Conf]
  16. Charles Consel, Fabien Latry, Laurent Réveillère, Pierre Cointe
    A Generative Programming Approach to Developing DSL Compilers. [Citation Graph (0, 0)][DBLP]
    GPCE, 2005, pp:29-46 [Conf]
  17. François Noël, Luke Hornof, Charles Consel, Julia L. Lawall
    Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:132-142 [Conf]
  18. Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu, Ashvin Goel
    Fast, Optimized Sun RPC Using Automatic Program Specialization. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1998, pp:240-249 [Conf]
  19. Sapan Bhatia, Charles Consel, Julia L. Lawall
    Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior. [Citation Graph (0, 0)][DBLP]
    ISMM, 2006, pp:104-114 [Conf]
  20. Charles Consel, Laurent Réveillère
    A Programmable Client-Server Model: Robust Extensibility via DSLs. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:70-79 [Conf]
  21. Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel
    A Declarative Approach for Designing and Developing Adaptive Components. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:111-0 [Conf]
  22. Renaud Marlet, Scott Thibault, Charles Consel
    Mapping Software Architectures to Efficient Implementations via Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:183-192 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:101-110 [Conf]
  24. Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel
    Specialization Patterns. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:197-0 [Conf]
  25. 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. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:144-153 [Conf]
  26. Sapan Bhatia, Charles Consel, Anne-Françoise Le Meur, Calton Pu
    Automatic Specialization of Protocol Stacks. [Citation Graph (0, 0)][DBLP]
    LCN, 2004, pp:152-159 [Conf]
  27. Charles Consel
    Binding Time Analysis for High Order Untyped Functional Languages. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1990, pp:264-272 [Conf]
  28. Galen S. Swint, Calton Pu, Younggyun Koh, Ling Liu, Wenchang Yan, Charles Consel, Koichi Moriyama, Jonathan Walpole
    Infopipes: The ISL/ISG Implementation Evaluation. [Citation Graph (0, 0)][DBLP]
    NCA, 2004, pp:293-296 [Conf]
  29. Eugen-Nicolae Volanschi, Charles Consel, Gilles Muller, Crispin Cowan
    Declarative Specialization of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1997, pp:286-300 [Conf]
  30. Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller
    Devil: An IDL for Hardware Programming. [Citation Graph (0, 0)][DBLP]
    OSDI, 2000, pp:17-30 [Conf]
  31. Sandrine Chirokoff, Charles Consel
    Combining Program and Data Specialization. [Citation Graph (0, 0)][DBLP]
    PEPM, 1999, pp:45-59 [Conf]
  32. Charles Consel
    Polyvariant Binding-Time Analysis For Applicative Languages. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:66-77 [Conf]
  33. Charles Consel
    A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:145-154 [Conf]
  34. Charles Consel, Satish Pai
    A Programming Environment for Binding-time Based Partial Evaluators. [Citation Graph (0, 0)][DBLP]
    PEPM, 1992, pp:62-66 [Conf]
  35. Charles Consel, Calton Pu, Jonathan Walpole
    Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:44-46 [Conf]
  36. Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel
    Towards bridging the gap between programming languages and partial evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 2002, pp:9-18 [Conf]
  37. Charles Consel, Siau-Cheng Khoo
    Parameterized Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PLDI, 1991, pp:92-106 [Conf]
  38. Amir Kishon, Paul Hudak, Charles Consel
    Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. [Citation Graph (0, 0)][DBLP]
    PLDI, 1991, pp:338-352 [Conf]
  39. Renaud Marlet, Charles Consel, Philippe Boinot
    Efficient Incremental Run-Time Specialization for Free. [Citation Graph (0, 0)][DBLP]
    PLDI, 1999, pp:281-292 [Conf]
  40. Charles Consel, Siau-Cheng Khoo
    Semantics-Directed Generation of a Prolog Compiler. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:135-146 [Conf]
  41. Charles Consel, Renaud Marlet
    Architecture Software Using: A Methodology for Language Development. [Citation Graph (0, 0)][DBLP]
    PLILP/ALP, 1998, pp:170-194 [Conf]
  42. Charles Consel, Olivier Danvy
    Static and Dynamic Semantics Processing. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:14-24 [Conf]
  43. Charles Consel, François Noël
    A General Approach for Run-Time Specialization and its Application to C. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:145-156 [Conf]
  44. Charles Consel
    Fast Strictness Analysis Via Symbolic Fixpoint Iteration. [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:423-431 [Conf]
  45. Charles Consel, Siau-Cheng Khoo
    Evaluation partielle paramétrable. [Citation Graph (0, 0)][DBLP]
    JTASPEFT/WSA, 1991, pp:72-81 [Conf]
  46. Luke Hornof, Charles Consel, Jacques Noyé
    Effective Specialization of Realistic Programs via Use Sensitivity. [Citation Graph (0, 0)][DBLP]
    SAS, 1997, pp:293-314 [Conf]
  47. 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. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 2000, pp:19-24 [Conf]
  48. 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. [Citation Graph (0, 0)][DBLP]
    SOSP, 1995, pp:314-324 [Conf]
  49. Scott Thibault, Charles Consel, Gilles Muller
    Safe and Efficient Active Network Programming. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1998, pp:135-143 [Conf]
  50. Scott Thibault, Charles Consel
    A Framework for Application Generator Design. [Citation Graph (0, 0)][DBLP]
    SSR, 1997, pp:131-135 [Conf]
  51. Renaud Marlet, Scott Thibault, Charles Consel
    Efficient Implementations of Software Architectures via Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:4, pp:411-440 [Journal]
  52. Sumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel
    WebCaL - a domain specific language for web caching. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2001, v:24, n:2, pp:191-201 [Journal]
  53. Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi
    Partial Evaluation for Software Engineering. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:20- [Journal]
  54. Charles Consel
    Program Adaptation Based on Program Transformation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:164- [Journal]
  55. Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi
    Tempo: Specializing Systems applications and Beyond. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:19- [Journal]
  56. Charles Consel
    Domain-Specific Languages: What, Why, How. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:3, pp:- [Journal]
  57. Charles Consel, Olivier Danvy
    Partial Evaluation of Pattern Matching in Strings. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1989, v:30, n:2, pp:79-86 [Journal]
  58. Charles Consel, Siau-Cheng Khoo
    On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1995, v:5, n:4, pp:461-500 [Journal]
  59. Sandrine Chirokoff, Charles Consel, Renaud Marlet
    Combining Program and Data Specialization. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1999, v:12, n:4, pp:309-335 [Journal]
  60. Charles Consel, Olivier Danvy
    Partial Evaluation in Parallel. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1992, v:5, n:4, pp:327-342 [Journal]
  61. Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel
    Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2004, v:17, n:1-2, pp:47-92 [Journal]
  62. Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller
    Static and Dynamic Program Compilation by Interpreter Specialization. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:3, pp:161-178 [Journal]
  63. Charles Consel, Siau-Cheng Khoo
    Semantics-Directed Generation of a Prolog Compiler. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1993, v:21, n:3, pp:263-291 [Journal]
  64. Charles Consel, Julia L. Lawall, Anne-Françoise Le Meur
    A tour of Tempo: a program specializer for the C language. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:52, n:, pp:341-370 [Journal]
  65. Charles Consel
    Program Adaption based on Program Transformation. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:1, pp:69-72 [Journal]
  66. Charles Consel
    Selected Papers from PEPM'97 - Foreword. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:248, n:1-2, pp:1-2 [Journal]
  67. 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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Syst., 2001, v:19, n:2, pp:217-251 [Journal]
  68. J. Michael Ashley, Charles Consel
    Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1431-1448 [Journal]
  69. Lars Ræder Clausen, Ulrik Pagh Schultz, Charles Consel, Gilles Muller
    Java bytecode compression for low-end embedded systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:3, pp:471-489 [Journal]
  70. Charles Consel, Siau-Cheng Khoo
    Parameterized Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1993, v:15, n:3, pp:463-493 [Journal]
  71. Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel
    Automatic program specialization for Java. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2003, v:25, n:4, pp:452-499 [Journal]
  72. Scott Thibault, Renaud Marlet, Charles Consel
    Domain-Specific Languages: From Design to Implementation Application to Video Device Drivers Generation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:3, pp:363-377 [Journal]

  73. A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications. [Citation Graph (, )][DBLP]


  74. Pantaxou: a domain-specific language for developing safe coordination services. [Citation Graph (, )][DBLP]


  75. A generative programming approach to developing pervasive computing systems. [Citation Graph (, )][DBLP]


  76. Efficient Packet Processing in User-Level OSes: A Study of UML. [Citation Graph (, )][DBLP]


  77. Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX. [Citation Graph (, )][DBLP]


  78. DSLs: the good, the bad, and the ugly. [Citation Graph (, )][DBLP]


  79. Ontology-Directed Generation of Frameworks for Pervasive Service Development. [Citation Graph (, )][DBLP]


  80. High-level Programming Support for Robust Pervasive Computing Applications. [Citation Graph (, )][DBLP]


  81. DiaSim: A Parameterized Simulator for Pervasive Computing Applications. [Citation Graph (, )][DBLP]


  82. A tool suite to prototype pervasive computing applications. [Citation Graph (, )][DBLP]


  83. A visual, open-ended approach to prototyping ubiquitous computing applications. [Citation Graph (, )][DBLP]


  84. A SIP-Based Programming Framework for Advanced Telephony Applications. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.486secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002