Charles Consel

149 papers A* 18A 10B 17C 14Misc 1Journal 41Unranked 45
YearRankTypeTitle / Venue / Authors
2021 — conf
A Tooled Method for Developing Knowledge-Based Activity Recognizers.
SmartWorld/SCALCOM/UIC/ATC/IOP/SCI
Rafik Belloum, Antoine Riche, Nic Volanschi, Charles Consel
2021 J jnl
Caregiver development of activity-supporting services for smart homes.
J. Ambient Intell. Smart Environ.
Rafik Belloum, Amel Yaddaden, Maxime Lussier, Nathalie Bier, Charles Consel
2020 — conf
A tool-based methodology for long-term activity monitoring.
PETRA
Rafik Belloum, Charles Consel, Nic Volanschi
2020 J jnl
Acceptability of notifications delivered to older adults by technology-based assisted living services.
Univers. Access Inf. Soc.
Loïc Caroux, Charles Consel, Margaux Merciol, Hélène Sauzéon
2020 J jnl
Empowering Caregivers to Customizing the Assistive Computing Support of Older Adults - an End-User Domain-Specific Approach.
Int. J. Hum. Comput. Interact.
Stéphanie Giraud, Nic Volanschi, Charles Consel
2020 — conf
End-user development of activity-supporting services for smart homes.
PerCom Workshops
Rafik Belloum, Charles Consel
2019 J jnl
An emotion regulation app for school inclusion of children with ASD: Design principles and evaluation.
Comput. Educ.
Charles Fage, Charles Consel, Kattalin Etchegoyhen, Anouck Amestoy, Manuel Bouvard, Cécile Mazon, Hélène Sauzéon
2019 J jnl
Early Detection of Mild Cognitive Impairment With In-Home Monitoring Sensor Technologies Using Functional Measures: A Systematic Review.
IEEE J. Biomed. Health Informatics
Maxime Lussier, Monica Lavoie, Sylvain Giroux, Charles Consel, Manon Guay, Joël Macoir, Carol Hudon, Dominique Lorrain, Lise Talbot, Francis Langlois, Hélène Pigot, Nathalie Bier
2018 — conf
A Domain-Specific Approach to Unifying the Many Dimensions of Context-Aware Home Service Development.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Nic Volanschi, Adrien Carteron, Charles Consel
2018 J jnl
A Language for Online State Processing of Binary Sensors, Applied to Ambient Assisted Living.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.
Nic Volanschi, Bernard P. Serpette, Adrien Carteron, Charles Consel
2018 — conf
Assistive computing: a human-centered approach to developing computing support for cognition.
ICSE-SEIS
Charles Consel
2018 B conf
Implementing a semi-causal domain-specific language for context detection over binary sensors.
GPCE
Nic Volanschi, Bernard P. Serpette, Charles Consel
2018 J jnl
Towards context-aware assistive applications for aging in place via real-life-proof activity detection.
J. Ambient Intell. Smart Environ.
Loïc Caroux, Charles Consel, Lucile Dupuy, Hélène Sauzéon
2017 — conf
Designing an accessible and engaging email application for aging in place.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Loïc Caroux, Charles Consel, Hélène Sauzéon, Lucile Dupuy
2017 J jnl
Designing parallel data processing for enabling large-scale sensor applications.
Pers. Ubiquitous Comput.
Milan Kabác, Charles Consel, Nic Volanschi
2017 J jnl
Frameworks compiled from declarations: a language-independent approach.
Softw. Pract. Exp.
Paul van der Walt, Charles Consel, Emilie Balland
2017 — conf
HomeAssist: An Assisted Living Platform for Aging in Place Based on an Interdisciplinary Approach.
AHFE (6)
Charles Consel, Lucile Dupuy, Hélène Sauzéon
2017 A conf
Internet of Things: From Small- to Large-Scale Orchestration.
ICDCS
Charles Consel, Milan Kabác
2016 — conf
Designing Parallel Data Processing for Large-Scale Sensor Orchestration.
UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld
Milan Kabác, Charles Consel
2016 — conf
Improving the Reliability of Pervasive Computing Applications by Continuous Checking of Sensor Readings.
UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld
Adrien Carteron, Charles Consel, Nic Volanschi
2016 — conf
Leveraging Declarations over the Lifecycle of Large-Scale Sensor Applications.
UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld
Milan Kabác, Charles Consel, Nic Volanschi
2016 J jnl
Self determination-based design to achieve acceptance of assisted living technologies for older adults.
Comput. Hum. Behav.
Lucile Dupuy, Charles Consel, Hélène Sauzéon
2016 J jnl
Tablet-Based Activity Schedule in Mainstream Environment for Children with Autism and Children with ID.
ACM Trans. Access. Comput.
Charles Fage, Leonard Pommereau, Charles Consel, Emilie Balland, Hélène Sauzéon
2015 A conf
A Unifying Notification System To Scale Up Assistive Services.
ASSETS
Charles Consel, Lucile Dupuy, Hélène Sauzéon
2015 — conf
An evaluation of the DiaSuite toolset by professional developers: learning cost and usability.
PLATEAU@SPLASH
Milan Kabác, Nic Volanschi, Charles Consel
2015 B conf
Orchestrating masses of sensors: a design-driven development Approach.
GPCE
Milan Kabác, Charles Consel
2014 J jnl
DiaSuite: A tool suite to develop Sense/Compute/Control applications.
Sci. Comput. Program.
Benjamin Bertran, Julien Bruneau, Damien Cassou, Nicolas Loriant, Emilie Balland, Charles Consel
2014 J jnl
Internet of Things: A Challenge for Software Engineering.
ERCIM News
Charles Consel, Milan Kabác
2014 A conf
Tablet-based activity schedule for children with autism in mainstream environment.
ASSETS
Charles Fage, Leonard Pommereau, Charles Consel, Emilie Balland, Hélène Sauzéon
2014 A conf
Verification of daily activities of older adults: a simple, non-intrusive, low-cost approach.
ASSETS
Loïc Caroux, Charles Consel, Lucile Dupuy, Hélène Sauzéon
2013 A* conf
A case for human-driven software development.
ICSE
Emilie Balland, Charles Consel, Bernard N'Kaoua, Hélène Sauzéon
2013 — conf
Denotational Semantics of A User-Oriented, Domain-Specific Language.
Festschrift for Dave Schmidt
Julien Mercadal, Zoé Drey, Charles Consel
2013 — conf
Design-driven Development of Dependable Applications - A Case Study in Avionics.
PECCS
Quentin Enard, Stéphanie Gatti, Julien Bruneau, Youg-Joo Moon, Emilie Balland, Charles Consel
2013 — conf
Design-driven development methodology for resilient computing.
CBSE
Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, Jean-Charles Fabre, Matthieu Roy
2013 J jnl
DiaSim: a simulator for pervasive computing applications.
Softw. Pract. Exp.
Julien Bruneau, Charles Consel
2012 — conf
An experimental study of a design-driven, tool-based development approach.
USER@ICSE
Quentin Enard, Christine Louberry, Charles Consel, Xavier Blanc
2012 J jnl
Taxonomy-driven prototyping of home automation applications: A novice-programmer visual language and its evaluation.
J. Vis. Lang. Comput.
Zoé Drey, Charles Consel
2012 J jnl
Toward a Tool-Based Development Methodology for Pervasive Computing Applications.
IEEE Trans. Software Eng.
Damien Cassou, Julien Bruneau, Charles Consel, Emilie Balland
2012 J jnl
Towards a Tool-based Development Methodology for Pervasive Computing Applications
CoRR
Damien Cassou, Julien Bruneau, Charles Consel, Emilie Balland
2012 B conf
Virtual Testing for Smart Buildings.
Intelligent Environments
Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah
2011 B conf
A Step-Wise Approach for Integrating QoS throughout Software Development.
FASE
Stéphanie Gatti, Emilie Balland, Charles Consel
2011 C conf
Architecturing Conflict Handling of Pervasive Computing Resources.
DAIS
Henner Jakob, Charles Consel, Nicolas Loriant
2011 C conf
DiaSuite: a paradigm-oriented software development approach.
PEPM
Charles Consel
2011 J jnl
Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC
CoRR
Damien Cassou, Charles Consel, Emilie Balland, Julia Lawall
2011 J jnl
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
CoRR
Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall
2011 A* conf
Leveraging software architectures to guide and verify the development of sense/compute/control applications.
ICSE
Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall
2010 A conf
A domain-specific approach to architecturing error handling in pervasive computing.
OOPSLA
Julien Mercadal, Quentin Enard, Charles Consel, Nicolas Loriant
2010 — conf
A tool suite to prototype pervasive computing applications.
PerCom Workshops
Damien Cassou, Julien Bruneau, Charles Consel
2010 — conf
A visual, open-ended approach to prototyping ubiquitous computing applications.
PerCom Workshops
Zoé Drey, Charles Consel
2010 — conf
Open platforms: new challenges for software engineering.
PSI EtA
Emilie Balland, Charles Consel
2010 C conf
Preliminary Results in Virtual Testing for Smart Buildings.
MobiQuitous
Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah
2010 — conf
SIP as a Universal Communication Bus: A Methodology and an Experimental Study.
ICC
Benjamin Bertran, Charles Consel, Wilfried Jouve, Hongyu Guan, Patrice Kadionik
2010 — conf
Towards a tool-based development methodology for sense/compute/control applications.
SPLASH/OOPSLA Companion
Damien Cassou, Julien Bruneau, Julien Mercadal, Quentin Enard, Emilie Balland, Nicolas Loriant, Charles Consel
2009 — conf
A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications.
DSL
Zoé Drey, Julien Mercadal, Charles Consel
2009 B conf
A generative programming approach to developing pervasive computing systems.
GPCE
Damien Cassou, Benjamin Bertran, Nicolas Loriant, Charles Consel
2009 — conf
An aspect-oriented approach to securing distributed systems.
ICPS
Henner Jakob, Nicolas Loriant, Charles Consel
2009 A* conf
DiaSim: A Parameterized Simulator for Pervasive Computing Applications.
PerCom
Wilfried Jouve, Julien Bruneau, Charles Consel
2009 C conf
DiaSim: A parameterized simulator for pervasive computing applications.
MobiQuitous
Julien Bruneau, Wilfried Jouve, Charles Consel
2009 C conf
DiaSim: A parameterized simulator for pervasive computing applications.
MobiQuitous
Julien Bruneau, Wilfried Jouve, Charles Consel
2009 — ed.
Principles, Systems and Applications of IP Telecommunications. Third International Conference, IPTComm 2009, Atlanta, Georgia, USA, July 7-8, 2009. Proceedings
IPTComm
Mustaque Ahamad, Dorgham Sisalem, Eric Chen, Charles Consel
2008 — conf
A SIP-Based Programming Framework for Advanced Telephony Applications.
IPTComm
Wilfried Jouve, Nicolas Palix, Charles Consel, Patrice Kadionik
2008 — conf
DSLs: the good, the bad, and the ugly.
OOPSLA Companion
Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen
2008 A* conf
High-level Programming Support for Robust Pervasive Computing Applications.
PerCom
Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall
2008 B conf
Pantaxou: a domain-specific language for developing safe coordination services.
GPCE
Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall
2008 J jnl
Remote specialization for efficient embedded operating systems.
ACM Trans. Program. Lang. Syst.
Sapan Bhatia, Charles Consel, Calton Pu
2007 — conf
A stepwise approach to developing languages for SIP telephony service creation.
IPTComm
Nicolas Palix, Charles Consel, Laurent Réveillère, Julia Lawall
2007 B ed.
Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings
GPCE
Charles Consel, Julia L. Lawall
2007 — ed.
Object-Oriented Technology, ECOOP 2006 Workshop Reader, ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports
ECOOP Workshops
Mario Südholt, Charles Consel
2007 — conf
Ontology-Directed Generation of Frameworks for Pervasive Service Development.
PerCom Workshops
Charles Consel, Wilfried Jouve, Julien Lancia, Nicolas Palix
2007 — conf
Staging telephony service creation: a language approach.
IPTComm
Fabien Latry, Julien Mercadal, Charles Consel
2006 — conf
A Multimedia-Specific Approach to WS-Agreement.
ECOWS
Wilfried Jouve, Julien Lancia, Charles Consel, Calton Pu
2006 B conf
Efficient Packet Processing in User-Level OSes: A Study of UML.
LCN
Younggyun Koh, Calton Pu, Sapan Bhatia, Charles Consel
2006 — conf
Language Technology for Internet-Telephony Service Creation.
ICC
Laurent Burgy, Charles Consel, Fabien Latry, Julia Lawall, Nicolas Palix, Laurent Réveillère
2006 C conf
Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior.
ISMM
Sapan Bhatia, Charles Consel, Julia Lawall
2006 B conf
Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX.
LCN
Sapan Bhatia, Charles Consel, Julia Lawall
2005 B conf
A Generative Programming Approach to Developing DSL Compilers.
GPCE
Charles Consel, Fabien Latry, Laurent Réveillère, Pierre Cointe
2005 A* conf
Clearwater: extensible, flexible, modular code generation.
ASE
Galen S. Swint, Calton Pu, Gueyoung Jung, Wenchang Yan, Younggyun Koh, Qinyi Wu, Charles Consel, Akhil Sahai, Koichi Moriyama
2004 J jnl
A tour of Tempo: a program specializer for the C language.
Sci. Comput. Program.
Charles Consel, Julia L. Lawall, Anne-Françoise Le Meur
2004 B conf
Automatic Specialization of Protocol Stacks.
LCN
Sapan Bhatia, Charles Consel, Anne-Françoise Le Meur, Calton Pu
2004 — ed.
Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
Domain-Specific Program Generation
Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky
2004 B conf
Infopipes: The ISL/ISG Implementation Evaluation.
NCA
Galen S. Swint, Calton Pu, Younggyun Koh, Ling Liu, Wenchang Yan, Charles Consel, Koichi Moriyama, Jonathan Walpole
2004 Misc conf
Remote customization of systems code for embedded devices.
EMSOFT
Sapan Bhatia, Charles Consel, Calton Pu
2004 J jnl
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization.
High. Order Symb. Comput.
Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel
2003 — conf
A DSL Paradigm for Domains of Services: A Study of Communication Services.
Domain-Specific Program Generation
Charles Consel, Laurent Réveillère
2003 A* conf
A Programmable Client-Server Model: Robust Extensibility via DSLs.
ASE
Charles Consel, Laurent Réveillère
2003 J jnl
Automatic program specialization for Java.
ACM Trans. Program. Lang. Syst.
Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel
2003 — conf
From a Program Family to a Domain-Specific Language.
Domain-Specific Program Generation
Charles Consel
2003 B conf
Spidle: A DSL Approach to Specifying Streaming Applications.
GPCE
Charles Consel, Hédi Hamdi, Laurent Réveillère, Lenin Singaravelu, Haiyan Yu, Calton Pu
2002 — conf
An Environment for Building Customizable Software Components.
Component Deployment
Anne-Françoise Le Meur, Charles Consel, Benoît Escrig
2002 — conf
Domain-Specific Languages: What, Why, How.
LDTA@ETAPS
Charles Consel
2002 B ed.
Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings
GPCE
Don S. Batory, Charles Consel, Walid Taha
2002 — conf
The Abstraction and Instantiation of String-Matching Programs.
The Essence of Computation
Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær
2002 C conf
Towards bridging the gap between programming languages and partial evaluation.
PEPM
Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel
2001 J jnl
Specialization tools and techniques for systematic optimization of system software.
ACM Trans. Comput. Syst.
Dylan McNamee, Jonathan Walpole, Calton Pu, Crispin Cowan, Charles Krasic, Ashvin Goel, Perry Wagle, Charles Consel, Gilles Muller, Renaud Marlet
2001 J jnl
WebCaL - a domain specific language for web caching.
Comput. Commun.
Sumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel
2000 A* conf
A DSL Approach to Improve Productivity and Safety in Device Drivers Development.
ASE
Laurent Réveillère, Fabrice Mérillon, Charles Consel, Renaud Marlet, Gilles Muller
2000 A* conf
A Declarative Approach for Designing and Developing Adaptive Components.
ASE
Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel
2000 A* conf
Devil: An IDL for Hardware Programming.
OSDI
Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller
2000 J jnl
Java bytecode compression for low-end embedded systems.
ACM Trans. Program. Lang. Syst.
Lars Ræder Clausen, Ulrik Pagh Schultz, Charles Consel, Gilles Muller
2000 J jnl
Selected Papers from PEPM'97 - Foreword.
Theor. Comput. Sci.
Charles Consel
2000 A* conf
Specialization Patterns.
ASE
Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel
2000 J jnl
Static and Dynamic Program Compilation by Interpreter Specialization.
High. Order Symb. Comput.
Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller
2000 — conf
Towards robust OSes for appliances: a new approach based on domain-specific languages.
ACM SIGOPS European Workshop
Gilles Muller, Charles Consel, Renaud Marlet, Luciano Porto Barreto, Fabrice Mérillon, Laurent Réveillère
1999 C conf
Combining Program and Data Specialization.
PEPM
Sandrine Chirokoff, Charles Consel
1999 J jnl
Combining Program and Data Specialization.
High. Order Symb. Comput.
Sandrine Chirokoff, Charles Consel, Renaud Marlet
1999 J jnl
Domain-Specific Languages: From Design to Implementation Application to Video Device Drivers Generation.
IEEE Trans. Software Eng.
Scott Thibault, Renaud Marlet, Charles Consel
1999 J jnl
Efficient Implementations of Software Architectures via Partial Evaluation.
Autom. Softw. Eng.
Renaud Marlet, Scott Thibault, Charles Consel
1999 A* conf
Efficient Incremental Run-Time Specialization for Free.
PLDI
Renaud Marlet, Charles Consel, Philippe Boinot
1999 A conf
Towards Automatic Specialization of Java Programs.
ECOOP
Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller
1998 — conf
Architecture Software Using: A Methodology for Language Development.
PLILP/ALP
Charles Consel, Renaud Marlet
1998 — conf
Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study.
ICCL
François Noël, Luke Hornof, Charles Consel, Julia L. Lawall
1998 A conf
Fast, Optimized Sun RPC Using Automatic Program Specialization.
ICDCS
Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu, Ashvin Goel
1998 J jnl
Partial Evaluation for Software Engineering.
ACM Comput. Surv.
Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi
1998 B conf
Safe and Efficient Active Network Programming.
SRDS
Scott Thibault, Charles Consel, Gilles Muller
1998 J jnl
Tempo: Specializing Systems applications and Beyond.
ACM Comput. Surv.
Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi
1997 — conf
A Domain Specific Language for Video Device Drivers: From Design to Implementation.
DSL
Scott Thibault, Renaud Marlet, Charles Consel
1997 — conf
A Framework for Application Generator Design.
SSR
Scott Thibault, Charles Consel
1997 A conf
Declarative Specialization of Object-Oriented Programs.
OOPSLA
Eugen-Nicolae Volanschi, Charles Consel, Gilles Muller, Crispin Cowan
1997 B conf
Effective Specialization of Realistic Programs via Use Sensitivity.
SAS
Luke Hornof, Charles Consel, Jacques Noyé
1997 — conf
Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code.
COOTS
Gilles Muller, Bárbara Moura, Fabrice Bellard, Charles Consel
1997 A* conf
Mapping Software Architectures to Efficient Implementations via Partial Evaluation.
ASE
Renaud Marlet, Scott Thibault, Charles Consel
1997 C ed.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997
PEPM
John P. Gallagher, Charles Consel, A. Michael Berman
1997 J jnl
Program Adaption based on Program Transformation.
ACM SIGPLAN Notices
Charles Consel
1996 A* conf
A General Approach for Run-Time Specialization and its Application to C.
POPL
Charles Consel, François Noël
1996 — conf
A Uniform Approach for Compile-Time and Run-Time Specialization.
Dagstuhl Seminar on Partial Evaluation
Charles Consel, Luke Hornof, François Noël, Jacques Noyé, Nicolae Volansche
1996 J jnl
Program Adaptation Based on Program Transformation.
ACM Comput. Surv.
Charles Consel
1995 J jnl
On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs.
J. Funct. Program.
Charles Consel, Siau-Cheng Khoo
1995 A* conf
Optimistic Incremental Specialization: Streamlining a Commercial Operating System.
SOSP
Calton Pu, Tito Autrey, Andrew P. Black, Charles Consel, Crispin Cowan, Jon Inouye, Lakshmi Kethana, Jonathan Walpole, Ke Zhang
1994 B conf
Fast Strictness Analysis Via Symbolic Fixpoint Iteration.
SAS
Charles Consel
1994 J jnl
Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs.
ACM Trans. Program. Lang. Syst.
J. Michael Ashley, Charles Consel
1993 C conf
A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages.
PEPM
Charles Consel
1993 C conf
Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems.
PEPM
Charles Consel, Calton Pu, Jonathan Walpole
1993 J jnl
Parameterized Partial Evaluation.
ACM Trans. Program. Lang. Syst.
Charles Consel, Siau-Cheng Khoo
1993 C conf
Polyvariant Binding-Time Analysis For Applicative Languages.
PEPM
Charles Consel
1993 J jnl
Semantics-Directed Generation of a Prolog Compiler.
Sci. Comput. Program.
Charles Consel, Siau-Cheng Khoo
1993 A* conf
Tutorial Notes on Partial Evaluation.
POPL
Charles Consel, Olivier Danvy
1992 C conf
A Programming Environment for Binding-time Based Partial Evaluators.
PEPM
Charles Consel, Satish Pai
1992 J jnl
Partial Evaluation in Parallel.
LISP Symb. Comput.
Charles Consel, Olivier Danvy
1991 — conf
Evaluation partielle paramétrable.
JTASPEFT/WSA
Charles Consel, Siau-Cheng Khoo
1991 — conf
For a Better Support of Static Data Flow.
FPCA
Charles Consel, Olivier Danvy
1991 A* conf
Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors.
PLDI
Amir Kishon, Paul Hudak, Charles Consel
1991 A* conf
Parameterized Partial Evaluation.
PLDI
Charles Consel, Siau-Cheng Khoo
1991 C ed.
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991
PEPM
Charles Consel, Olivier Danvy
1991 — conf
Semantics-Directed Generation of a Prolog Compiler.
PLILP
Charles Consel, Siau-Cheng Khoo
1991 A* conf
Static and Dynamic Semantics Processing.
POPL
Charles Consel, Olivier Danvy
1990 — conf
Binding Time Analysis for High Order Untyped Functional Languages.
LISP and Functional Programming
Charles Consel
1990 A conf
From Interpreting to Compiling Binding Times.
ESOP
Charles Consel, Olivier Danvy
1989 J jnl
Partial Evaluation of Pattern Matching in Strings.
Inf. Process. Lett.
Charles Consel, Olivier Danvy
1988 A conf
New Insights into Partial Evaluation: the SCHISM Experiment.
ESOP
Charles Consel