


default search action
Charles Consel
2020 – today
- 2021
- [j37]Rafik Belloum, Amel Yaddaden
, Maxime Lussier, Nathalie Bier, Charles Consel:
Caregiver development of activity-supporting services for smart homes. J. Ambient Intell. Smart Environ. 13(6): 453-471 (2021) - [c101]Rafik Belloum, Antoine Riche, Nic Volanschi, Charles Consel:
A Tooled Method for Developing Knowledge-Based Activity Recognizers. SmartWorld/SCALCOM/UIC/ATC/IOP/SCI 2021: 17-24 - 2020
- [j36]Stéphanie Giraud
, Nic Volanschi, Charles Consel:
Empowering Caregivers to Customizing the Assistive Computing Support of Older Adults - an End-User Domain-Specific Approach. Int. J. Hum. Comput. Interact. 36(15): 1447-1459 (2020) - [j35]Loïc Caroux
, Charles Consel, Margaux Merciol, Hélène Sauzéon
:
Acceptability of notifications delivered to older adults by technology-based assisted living services. Univers. Access Inf. Soc. 19(3): 675-683 (2020) - [c100]Rafik Belloum, Charles Consel:
End-user development of activity-supporting services for smart homes. PerCom Workshops 2020: 1-2 - [c99]Rafik Belloum, Charles Consel, Nic Volanschi:
A tool-based methodology for long-term activity monitoring. PETRA 2020: 19:1-19:10
2010 – 2019
- 2019
- [j34]Charles Fage
, Charles Consel, Kattalin Etchegoyhen, Anouck Amestoy, Manuel Bouvard, Cécile Mazon, Hélène Sauzéon
:
An emotion regulation app for school inclusion of children with ASD: Design principles and evaluation. Comput. Educ. 131: 1-21 (2019) - [j33]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:
Early Detection of Mild Cognitive Impairment With In-Home Monitoring Sensor Technologies Using Functional Measures: A Systematic Review. IEEE J. Biomed. Health Informatics 23(2): 838-847 (2019) - 2018
- [j32]Nic Volanschi, Bernard P. Serpette, Adrien Carteron, Charles Consel:
A Language for Online State Processing of Binary Sensors, Applied to Ambient Assisted Living. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 2(4): 192:1-192:26 (2018) - [j31]Loïc Caroux
, Charles Consel, Lucile Dupuy
, Hélène Sauzéon
:
Towards context-aware assistive applications for aging in place via real-life-proof activity detection. J. Ambient Intell. Smart Environ. 10(6): 445-459 (2018) - [c98]Nic Volanschi, Bernard P. Serpette, Charles Consel:
Implementing a semi-causal domain-specific language for context detection over binary sensors. GPCE 2018: 66-78 - [c97]Charles Consel:
Assistive computing: a human-centered approach to developing computing support for cognition. ICSE-SEIS 2018: 23-32 - [c96]Nic Volanschi, Adrien Carteron, Charles Consel:
A Domain-Specific Approach to Unifying the Many Dimensions of Context-Aware Home Service Development. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 480-489 - 2017
- [j30]Milan Kabác, Charles Consel, Nic Volanschi:
Designing parallel data processing for enabling large-scale sensor applications. Pers. Ubiquitous Comput. 21(3): 457-473 (2017) - [j29]Paul van der Walt, Charles Consel, Emilie Balland:
Frameworks compiled from declarations: a language-independent approach. Softw. Pract. Exp. 47(5): 741-762 (2017) - [c95]Charles Consel, Lucile Dupuy
, Hélène Sauzéon
:
HomeAssist: An Assisted Living Platform for Aging in Place Based on an Interdisciplinary Approach. AHFE (6) 2017: 129-140 - [c94]Charles Consel, Milan Kabác:
Internet of Things: From Small- to Large-Scale Orchestration. ICDCS 2017: 1748-1755 - [c93]Loïc Caroux
, Charles Consel, Hélène Sauzéon
, Lucile Dupuy
:
Designing an accessible and engaging email application for aging in place. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017: 1-8 - 2016
- [j28]Lucile Dupuy
, Charles Consel, Hélène Sauzéon
:
Self determination-based design to achieve acceptance of assisted living technologies for older adults. Comput. Hum. Behav. 65: 508-521 (2016) - [j27]Charles Fage, Leonard Pommereau, Charles Consel, Emilie Balland, Hélène Sauzéon
:
Tablet-Based Activity Schedule in Mainstream Environment for Children with Autism and Children with ID. ACM Trans. Access. Comput. 8(3): 9:1-9:26 (2016) - [c92]Adrien Carteron, Charles Consel, Nic Volanschi:
Improving the Reliability of Pervasive Computing Applications by Continuous Checking of Sensor Readings. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld 2016: 41-50 - [c91]Milan Kabác, Charles Consel:
Designing Parallel Data Processing for Large-Scale Sensor Orchestration. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld 2016: 57-65 - [c90]Milan Kabác, Charles Consel, Nic Volanschi:
Leveraging Declarations over the Lifecycle of Large-Scale Sensor Applications. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld 2016: 211-219 - 2015
- [c89]Charles Consel, Lucile Dupuy
, Hélène Sauzéon
:
A Unifying Notification System To Scale Up Assistive Services. ASSETS 2015: 77-87 - [c88]Milan Kabác, Charles Consel:
Orchestrating masses of sensors: a design-driven development Approach. GPCE 2015: 117-120 - [c87]Milan Kabác, Nic Volanschi, Charles Consel:
An evaluation of the DiaSuite toolset by professional developers: learning cost and usability. PLATEAU@SPLASH 2015: 9-16 - 2014
- [j26]Benjamin Bertran, Julien Bruneau, Damien Cassou, Nicolas Loriant, Emilie Balland, Charles Consel:
DiaSuite: A tool suite to develop Sense/Compute/Control applications. Sci. Comput. Program. 79: 39-51 (2014) - [c86]Loïc Caroux
, Charles Consel, Lucile Dupuy
, Hélène Sauzéon
:
Verification of daily activities of older adults: a simple, non-intrusive, low-cost approach. ASSETS 2014: 43-50 - [c85]Charles Fage, Leonard Pommereau, Charles Consel, Emilie Balland, Hélène Sauzéon
:
Tablet-based activity schedule for children with autism in mainstream environment. ASSETS 2014: 145-152 - [i4]Charles Consel, Milan Kabác:
Internet of Things: A Challenge for Software Engineering. ERCIM News 2014(98) (2014) - 2013
- [j25]Julien Bruneau, Charles Consel:
DiaSim: a simulator for pervasive computing applications. Softw. Pract. Exp. 43(8): 885-909 (2013) - [c84]Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, Jean-Charles Fabre, Matthieu Roy:
Design-driven development methodology for resilient computing. CBSE 2013: 59-64 - [c83]Emilie Balland, Charles Consel, Bernard N'Kaoua, Hélène Sauzéon
:
A case for human-driven software development. ICSE 2013: 1229-1232 - [c82]Quentin Enard, Stéphanie Gatti, Julien Bruneau, Youg-Joo Moon, Emilie Balland, Charles Consel:
Design-driven Development of Dependable Applications - A Case Study in Avionics. PECCS 2013: 177-186 - [c81]Julien Mercadal, Zoé Drey, Charles Consel:
Denotational Semantics of A User-Oriented, Domain-Specific Language. Festschrift for Dave Schmidt 2013: 229-249 - 2012
- [j24]Damien Cassou, Julien Bruneau, Charles Consel, Emilie Balland:
Toward a Tool-Based Development Methodology for Pervasive Computing Applications. IEEE Trans. Software Eng. 38(6): 1445-1463 (2012) - [j23]Zoé Drey, Charles Consel:
Taxonomy-driven prototyping of home automation applications: A novice-programmer visual language and its evaluation. J. Vis. Lang. Comput. 23(6): 311-326 (2012) - [c80]Quentin Enard, Christine Louberry, Charles Consel, Xavier Blanc:
An experimental study of a design-driven, tool-based development approach. USER@ICSE 2012: 39-42 - [c79]Julien Bruneau, Charles Consel, Marcia K. O'Malley
, Walid Taha, Wail Masry Hannourah:
Virtual Testing for Smart Buildings. Intelligent Environments 2012: 282-289 - [i3]Damien Cassou, Julien Bruneau, Charles Consel, Emilie Balland:
Towards a Tool-based Development Methodology for Pervasive Computing Applications. CoRR abs/1203.6459 (2012) - 2011
- [c78]Henner Jakob, Charles Consel, Nicolas Loriant:
Architecturing Conflict Handling of Pervasive Computing Resources. DAIS 2011: 92-105 - [c77]Stéphanie Gatti, Emilie Balland, Charles Consel:
A Step-Wise Approach for Integrating QoS throughout Software Development. FASE 2011: 217-231 - [c76]Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall:
Leveraging software architectures to guide and verify the development of sense/compute/control applications. ICSE 2011: 431-440 - [c75]Charles Consel:
DiaSuite: a paradigm-oriented software development approach. PEPM 2011: 77-78 - [i2]Damien Cassou, Charles Consel, Emilie Balland, Julia Lawall:
Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC. CoRR abs/1106.4200 (2011) - [i1]Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall:
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications. CoRR abs/1109.2807 (2011) - 2010
- [c74]Benjamin Bertran, Charles Consel, Wilfried Jouve, Hongyu Guan, Patrice Kadionik:
SIP as a Universal Communication Bus: A Methodology and an Experimental Study. ICC 2010: 1-5 - [c73]Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah:
Preliminary Results in Virtual Testing for Smart Buildings. MobiQuitous 2010: 347-349 - [c72]Emilie Balland, Charles Consel:
Open platforms: new challenges for software engineering. PSI EtA 2010: 3 - [c71]Julien Mercadal, Quentin Enard, Charles Consel, Nicolas Loriant:
A domain-specific approach to architecturing error handling in pervasive computing. OOPSLA 2010: 47-61 - [c70]Damien Cassou, Julien Bruneau, Julien Mercadal, Quentin Enard, Emilie Balland, Nicolas Loriant, Charles Consel:
Towards a tool-based development methodology for sense/compute/control applications. SPLASH/OOPSLA Companion 2010: 247-248 - [c69]Zoé Drey, Charles Consel:
A visual, open-ended approach to prototyping ubiquitous computing applications. PerCom Workshops 2010: 817-819 - [c68]Damien Cassou, Julien Bruneau, Charles Consel:
A tool suite to prototype pervasive computing applications. PerCom Workshops 2010: 820-822
2000 – 2009
- 2009
- [c67]Zoé Drey, Julien Mercadal, Charles Consel:
A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications. DSL 2009: 78-99 - [c66]Damien Cassou, Benjamin Bertran, Nicolas Loriant, Charles Consel:
A generative programming approach to developing pervasive computing systems. GPCE 2009: 137-146 - [c65]Henner Jakob, Nicolas Loriant, Charles Consel:
An aspect-oriented approach to securing distributed systems. ICPS 2009: 21-30 - [c64]Julien Bruneau, Wilfried Jouve, Charles Consel:
DiaSim: A parameterized simulator for pervasive computing applications. MobiQuitous 2009: 1-10 - [c63]Julien Bruneau, Wilfried Jouve, Charles Consel:
DiaSim: A parameterized simulator for pervasive computing applications. MobiQuitous 2009: 1-2 - [c62]Wilfried Jouve, Julien Bruneau, Charles Consel:
DiaSim: A Parameterized Simulator for Pervasive Computing Applications. PerCom 2009: 1-3 - [e7]Mustaque Ahamad, Dorgham Sisalem, Eric Chen, Charles Consel:
Principles, Systems and Applications of IP Telecommunications. Third International Conference, IPTComm 2009, Atlanta, Georgia, USA, July 7-8, 2009. Proceedings. ACM 2009, ISBN 978-1-60558-767-7 [contents] - 2008
- [j22]Sapan Bhatia, Charles Consel, Calton Pu:
Remote specialization for efficient embedded operating systems. ACM Trans. Program. Lang. Syst. 30(4): 22:1-22:32 (2008) - [c61]Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall:
Pantaxou: a domain-specific language for developing safe coordination services. GPCE 2008: 149-160 - [c60]Wilfried Jouve, Nicolas Palix, Charles Consel, Patrice Kadionik:
A SIP-Based Programming Framework for Advanced Telephony Applications. IPTComm 2008: 1-20 - [c59]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 - [c58]Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall:
High-level Programming Support for Robust Pervasive Computing Applications. PerCom 2008: 252-255 - 2007
- [c57]Nicolas Palix, Charles Consel, Laurent Réveillère, Julia Lawall:
A stepwise approach to developing languages for SIP telephony service creation. IPTComm 2007: 79-88 - [c56]Fabien Latry, Julien Mercadal, Charles Consel:
Staging telephony service creation: a language approach. IPTComm 2007: 99-110 - [c55]Charles Consel, Wilfried Jouve, Julien Lancia, Nicolas Palix:
Ontology-Directed Generation of Frameworks for Pervasive Service Development. PerCom Workshops 2007: 501-508 - [e6]Mario Südholt, Charles Consel:
Object-Oriented Technology, ECOOP 2006 Workshop Reader, ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports. Lecture Notes in Computer Science 4379, Springer 2007, ISBN 978-3-540-71772-0 [contents] - [e5]Charles Consel, Julia L. Lawall:
Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings. ACM 2007, ISBN 978-1-59593-855-8 [contents] - 2006
- [c54]Wilfried Jouve, Julien Lancia, Charles Consel, Calton Pu:
A Multimedia-Specific Approach to WS-Agreement. ECOWS 2006: 44-52 - [c53]Laurent Burgy, Charles Consel, Fabien Latry, Julia Lawall, Nicolas Palix
, Laurent Réveillère:
Language Technology for Internet-Telephony Service Creation. ICC 2006: 1795-1800 - [c52]Sapan Bhatia, Charles Consel, Julia Lawall:
Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior. ISMM 2006: 104-114 - [c51]Sapan Bhatia, Charles Consel, Julia Lawall:
Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX. LCN 2006: 47-54 - [c50]Younggyun Koh, Calton Pu, Sapan Bhatia, Charles Consel:
Efficient Packet Processing in User-Level OSes: A Study of UML. LCN 2006: 63-70 - 2005
- [c49]Charles Consel, Fabien Latry, Laurent Réveillère, Pierre Cointe:
A Generative Programming Approach to Developing DSL Compilers. GPCE 2005: 29-46 - [c48]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 - 2004
- [j21]Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel:
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization. High. Order Symb. Comput. 17(1-2): 47-92 (2004) - [j20]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) - [c47]Sapan Bhatia, Charles Consel, Calton Pu:
Remote customization of systems code for embedded devices. EMSOFT 2004: 7-15 - [c46]Sapan Bhatia, Charles Consel, Anne-Françoise Le Meur, Calton Pu:
Automatic Specialization of Protocol Stacks. LCN 2004: 152-159 - [c45]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 - [e4]Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky:
Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers. Lecture Notes in Computer Science 3016, Springer 2004, ISBN 3-540-22119-0 [contents] - 2003
- [j19]Ulrik Pagh Schultz
, Julia L. Lawall, Charles Consel:
Automatic program specialization for Java. ACM Trans. Program. Lang. Syst. 25(4): 452-499 (2003) - [c44]Charles Consel:
From a Program Family to a Domain-Specific Language. Domain-Specific Program Generation 2003: 19-29 - [c43]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 - [c42]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 - [c41]Charles Consel, Laurent Réveillère:
A Programmable Client-Server Model: Robust Extensibility via DSLs. ASE 2003: 70-79 - 2002
- [c40]Torben Amtoft
, Charles Consel, Olivier Danvy
, Karoline Malmkjær:
The Abstraction and Instantiation of String-Matching Programs. The Essence of Computation 2002: 332-357 - [c39]Anne-Françoise Le Meur, Charles Consel, Benoît Escrig
:
An Environment for Building Customizable Software Components. Component Deployment 2002: 1-14 - [c38]Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel:
Towards bridging the gap between programming languages and partial evaluation. PEPM 2002: 9-18 - [c37]Charles Consel:
Domain-Specific Languages: What, Why, How. LDTA@ETAPS 2002: 1 - [e3]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. Lecture Notes in Computer Science 2487, Springer 2002, ISBN 3-540-44284-7 [contents] - 2001
- [j18]Sumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel:
WebCaL - a domain specific language for web caching. Comput. Commun. 24(2): 191-201 (2001) - [j17]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) - 2000
- [j16]Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller:
Static and Dynamic Program Compilation by Interpreter Specialization. High. Order Symb. Comput. 13(3): 161-178 (2000) - [j15]Charles Consel:
Selected Papers from PEPM'97 - Foreword. Theor. Comput. Sci. 248(1-2): 1-2 (2000) - [j14]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) - [c36]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 - [c35]Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel:
A Declarative Approach for Designing and Developing Adaptive Components. ASE 2000: 111- - [c34]Ulrik Pagh Schultz
, Julia L. Lawall, Charles Consel:
Specialization Patterns. ASE 2000: 197- - [c33]Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller:
Devil: An IDL for Hardware Programming. OSDI 2000: 17-30 - [c32]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
1990 – 1999
- 1999
- [j13]Renaud Marlet, Scott Thibault, Charles Consel:
Efficient Implementations of Software Architectures via Partial Evaluation. Autom. Softw. Eng. 6(4): 411-440 (1999) - [j12]Sandrine Chirokoff, Charles Consel, Renaud Marlet:
Combining Program and Data Specialization. High. Order Symb. Comput. 12(4): 309-335 (1999) - [j11]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) - [c31]Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller:
Towards Automatic Specialization of Java Programs. ECOOP 1999: 367-390 - [c30]Sandrine Chirokoff, Charles Consel:
Combining Program and Data Specialization. PEPM 1999: 45-59 - [c29]Renaud Marlet, Charles Consel, Philippe Boinot:
Efficient Incremental Run-Time Specialization for Free. PLDI 1999: 281-292 - 1998
- [j10]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) - [j9]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) - [c28]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 - [c27]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 - [c26]Charles Consel, Renaud Marlet:
Architecture Software Using: A Methodology for Language Development. PLILP/ALP 1998: 170-194 - [c25]Scott Thibault, Charles Consel, Gilles Muller:
Safe and Efficient Active Network Programming. SRDS 1998: 135-143 - 1997
- [j8]Charles Consel:
Program Adaption based on Program Transformation. ACM SIGPLAN Notices 32(1): 69-72 (1997) - [c24]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 - [c23]Scott Thibault, Renaud Marlet, Charles Consel:
A Domain Specific Language for Video Device Drivers: From Design to Implementation. DSL 1997: 11-26 - [c22]Renaud Marlet, Scott Thibault, Charles Consel:
Mapping Software Architectures to Efficient Implementations via Partial Evaluation. ASE 1997: 183-192 - [c21]Eugen-Nicolae Volanschi, Charles Consel, Gilles Muller, Crispin Cowan:
Declarative Specialization of Object-Oriented Programs. OOPSLA 1997: 286-300 - [c20]Luke Hornof, Charles Consel, Jacques Noyé:
Effective Specialization of Realistic Programs via Use Sensitivity. SAS 1997: 293-314 - [c19]Scott Thibault, Charles Consel:
A Framework for Application Generator Design. SSR 1997: 131-135 - [e2]John P. Gallagher, Charles Consel, A. Michael Berman:
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997. ACM 1997, ISBN 0-89791-917-3 [contents] - 1996
- [j7]Charles Consel:
Program Adaptation Based on Program Transformation. ACM Comput. Surv. 28(4es): 164 (1996) - [c18]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 - [c17]Charles Consel, François Noël:
A General Approach for Run-Time Specialization and its Application to C. POPL 1996: 145-156 - 1995
- [j6]Charles Consel, Siau-Cheng Khoo:
On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. J. Funct. Program. 5(4): 461-500 (1995) - [c16]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 - 1994
- [j5]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) - [c15]Charles Consel:
Fast Strictness Analysis Via Symbolic Fixpoint Iteration. SAS 1994: 423-431 - 1993
- [j4]Charles Consel, Siau-Cheng Khoo:
Semantics-Directed Generation of a Prolog Compiler. Sci. Comput. Program. 21(3): 263-291 (1993) - [j3]Charles Consel, Siau-Cheng Khoo:
Parameterized Partial Evaluation. ACM Trans. Program. Lang. Syst. 15(3): 463-493 (1993) - [c14]Charles Consel, Calton Pu, Jonathan Walpole:
Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems. PEPM 1993: 44-46 - [c13]Charles Consel:
Polyvariant Binding-Time Analysis For Applicative Languages. PEPM 1993: 66-77 - [c12]Charles Consel:
A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages. PEPM 1993: 145-154 - [c11]Charles Consel, Olivier Danvy
:
Tutorial Notes on Partial Evaluation. POPL 1993: 493-501 - 1992
- [j2]Charles Consel, Olivier Danvy:
Partial Evaluation in Parallel. LISP Symb. Comput. 5(4): 327-342 (1992) - [c10]Charles Consel, Satish Pai:
A Programming Environment for Binding-time Based Partial Evaluators. PEPM 1992: 62-66 - 1991
- [c9]Charles Consel, Olivier Danvy
:
For a Better Support of Static Data Flow. FPCA 1991: 496-519 - [c8]Charles Consel, Siau-Cheng Khoo:
Parameterized Partial Evaluation. PLDI 1991: 92-106 - [c7]Amir Kishon, Paul Hudak, Charles Consel:
Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. PLDI 1991: 338-352 - [c6]Charles Consel, Siau-Cheng Khoo:
Semantics-Directed Generation of a Prolog Compiler. PLILP 1991: 135-146 - [c5]Charles Consel, Olivier Danvy
:
Static and Dynamic Semantics Processing. POPL 1991: 14-24 - [c4]Charles Consel, Siau-Cheng Khoo:
Evaluation partielle paramétrable. JTASPEFT/WSA 1991: 72-81 - [e1]Charles Consel, Olivier Danvy:
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991. ACM 1991, ISBN 0-89791-433-3 [contents] - 1990
- [c3]Charles Consel, Olivier Danvy:
From Interpreting to Compiling Binding Times. ESOP 1990: 88-105 - [c2]Charles Consel:
Binding Time Analysis for High Order Untyped Functional Languages. LISP and Functional Programming 1990: 264-272
1980 – 1989
- 1989
- [j1]Charles Consel, Olivier Danvy
:
Partial Evaluation of Pattern Matching in Strings. Inf. Process. Lett. 30(2): 79-86 (1989) - 1988
- [c1]Charles Consel:
New Insights into Partial Evaluation: the SCHISM Experiment. ESOP 1988: 236-246
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint