Charles Consel
Ph.D., Computer Science, University of Paris VI, 1989
Professor, 
Department of Computer Science/IFSIC, 
University of Rennes/ IRISA
Office: D, room 057
Email: consel@irisa.fr
Phone: (33) 2 99 84 74 10

Research Projects

My major research interests include static program analysis, compilation and compiler generation, programming environment, prototyping and program transformation.

My current research effort focuses on partial evaluation, a program transformation approach aimed at specializing programs with respect to invariants. Partial evaluation is at the basis of various research projects being studied by the Compose group. 

Selected Publications

Other Projects

  • 1999 Usenix Conference on Domain Specific Languages (DSL'99).

    •    PC member and tutorial speaker.
     
  • 1999 International Conference on Meta-Level Architectures and Reflection (Reflection'99).

    •    PC member.
     
  • 1999  ACM Sigplan Workshop on Compiler Support for System Software(WCSSS'99)

    •    General chair and PC member.
     
  • Guest Editor of  a special issue on Partial Evaluation for the Journal of Theoretical Computer Science.

    •  

    Past projects

  • 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99).
       Invited talk: Program Adaptation based on Program Specialization.
     
  • 1998 International Static Analysis Symposium and Programming Languages, Implementations, Logics and

    •    Programs (PLILP/SAS'98)
       Invited talk: Architecturing Software Using a Methodology for Language Development.
    Last update 11/20/98