Travelled to:1 × Belgium
1 × Estonia
1 × Italy
1 × Portugal
19 × USA
2 × Denmark
3 × France
3 × Germany
4 × Canada
Collaborated with:∅ O.Danvy R.Marlet J.L.Lawall S.Khoo L.Réveillère G.Muller E.Balland M.Kabác C.Pu N.Volanschi U.P.Schultz P.Boinot J.Noyé D.Cassou J.Mercadal N.Loriant S.Chirokoff F.Noël S.Pai J.Walpole F.Mérillon Q.Enard C.Cowan S.Gatti S.Bhatia A.L.Meur S.Thibault L.Hornof A.Kishon P.Hudak B.P.Serpette B.N'Kaoua H.Sauzéon B.Bertran N.Palix F.Latry P.Cointe E.Volanschi H.Hamdi L.Singaravelu H.Yu M.Stoicescu L.Duchien J.Fabre M.Roy G.S.Swint G.Jung W.Yan Y.Koh Q.Wu A.Sahai K.Moriyama T.Autrey A.P.Black J.Inouye L.Kethana K.Zhang
Talks about:develop (13) approach (10) program (9) evalu (9) special (8) partial (8) languag (8) softwar (6) time (6) applic (5)
♂ Person: Charles Consel
DBLP: Consel:Charles
Facilitated 12 volumes:
PrCo
PrCo
SciCoPrCoPrCoPrCoPrCo
EdSciCoEd
EdEdContributed to:
2015
2013
2013
201120112011
201020092008
2006
2005200520032003
200220022000
2000
19991999
1999
199819971997
1997
1996
19951994199319931992
19911991199119911991
1990
199019882018
2015Wrote 46 papers:
- GPCE-2015-KabacC #approach #development
- Orchestrating masses of sensors: a design-driven development Approach (MK, CC), pp. 117–120.
- CBSE-2013-EnardSBCDFR #development
- Design-driven development methodology for resilient computing (QE, MS, EB, CC, LD, JCF, MR), pp. 59–64.
- ICSE-2013-BallandCNS #development
- A case for human-driven software development (EB, CC, BN, HS), pp. 1229–1232.
- FASE-2011-GattiBC #approach #development
- A Step-Wise Approach for Integrating QoS throughout Software Development (SG, EB, CC), pp. 217–231.
- ICSE-2011-CassouBCL #architecture #development #verification
- Leveraging software architectures to guide and verify the development of sense/compute/control applications (DC, EB, CC, JLL), pp. 431–440.
- PEPM-2011-Consel #approach #development #named
- DiaSuite: a paradigm-oriented software development approach (CC), pp. 77–78.
- OOPSLA-2010-MercadalECL #approach #architecture #fault #pervasive
- A domain-specific approach to architecturing error handling in pervasive computing (JM, QE, CC, NL), pp. 47–61.
- GPCE-2009-CassouBLC #approach #generative #pervasive #programming
- A generative programming approach to developing pervasive computing systems (DC, BB, NL, CC), pp. 137–146.
- GPCE-2008-MercadalPCL #coordination #domain-specific language #named
- Pantaxou: a domain-specific language for developing safe coordination services (JM, NP, CC, JLL), pp. 149–160.
- ISMM-2006-BhatiaCL #behaviour #co-evolution #design #optimisation
- Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior (SB, CC, JLL), pp. 104–114.
- ASE-2005-SwintPJYKWCSM #code generation #composition #flexibility #named
- Clearwater: extensible, flexible, modular code generation (GSS, CP, GJ, WY, YK, QW, CC, AS, KM), pp. 144–153.
- GPCE-2005-ConselLRC #approach #compilation #domain-specific language #generative #programming
- A Generative Programming Approach to Developing DSL Compilers (CC, FL, LR, PC), pp. 29–46.
- ASE-2003-ConselR #domain-specific language #programmable #robust
- A Programmable Client-Server Model: Robust Extensibility via DSLs (CC, LR), pp. 70–79.
- GPCE-2003-ConselHRSYP #approach #domain-specific language #named #specification #streaming
- Spidle: A DSL Approach to Specifying Streaming Applications (CC, HH, LR, LS, HY, CP), pp. 1–17.
- LDTA-2002-Consel #domain-specific language #how #what #why
- Domain-Specific Languages: What, Why, How (CC), p. 1.
- PEPM-2002-MeurLC #partial evaluation #programming language #towards
- Towards bridging the gap between programming languages and partial evaluation (AFLM, JLL, CC), pp. 9–18.
- ASE-2000-BoinotMNMC #adaptation #approach #component #declarative #design
- A Declarative Approach for Designing and Developing Adaptive Components (PB, RM, JN, GM, CC), p. 111–?.
- ASE-2000-ReveillereMCMM #approach #development #domain-specific language #safety
- A DSL Approach to Improve Productivity and Safety in Device Drivers Development (LR, FM, CC, RM, GM), pp. 101–110.
- ASE-2000-SchultzLC
- Specialization Patterns (UPS, JLL, CC), p. 197–?.
- OSDI-2000-MerillonRCMM #hardware #named #programming
- Devil: An IDL for Hardware Programming (FM, LR, CC, RM, GM), pp. 17–30.
- ECOOP-1999-SchultzLCM #automation #java #source code #towards
- Towards Automatic Specialization of Java Programs (UPS, JLL, CC, GM), pp. 367–390.
- PEPM-1999-ChirokoffC
- Combining Program and Data Specialization (SC, CC), pp. 45–59.
- PLDI-1999-MarletCB #for free #incremental #performance #runtime
- Efficient Incremental Run-Time Specialization for Free (RM, CC, PB), pp. 281–292.
- ALP-PLILP-1998-ConselM #architecture #development #using
- Architecture Software Using: A Methodology for Language Development (CC, RM), pp. 170–194.
- ASE-1997-MarletTC #architecture #implementation #partial evaluation #performance
- Mapping Software Architectures to Efficient Implementations via Partial Evaluation (RM, ST, CC), pp. 183–192.
- OOPSLA-1997-VolanschiCMC #declarative #object-oriented #source code
- Declarative Specialization of Object-Oriented Programs (ENV, CC, GM, CC), pp. 286–300.
- SAS-1997-HornofCN #effectiveness #source code
- Effective Specialization of Realistic Programs via Use Sensitivity (LH, CC, JN), pp. 293–314.
- POPL-1996-ConselN #approach #c #runtime
- A General Approach for Run-Time Specialization and its Application to C (CC, FN), pp. 145–156.
- SOSP-1995-PuABCCIKWZ #incremental #operating system
- Optimistic Incremental Specialization: Streamlining a Commercial Operating System (CP, TA, APB, CC, CC, JI, LK, JW, KZ), pp. 314–324.
- SAS-1994-Consel #analysis #fixpoint #performance #strict
- Fast Strictness Analysis Via Symbolic Fixpoint Iteration (CC), pp. 423–431.
- PEPM-1993-Consel #analysis
- Polyvariant Binding-Time Analysis For Applicative Languages (CC), pp. 66–77.
- PEPM-1993-Consel93a #higher-order #partial evaluation
- A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages (CC), pp. 145–154.
- PEPM-1993-ConselPW #composition #incremental #operating system #partial evaluation #performance
- Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems (CC, CP, JW), pp. 44–46.
- POPL-1993-ConselD #partial evaluation #tutorial
- Tutorial Notes on Partial Evaluation (CC, OD), pp. 493–501.
- PEPM-1992-ConselP #programming
- A Programming Environment for Binding-time Based Partial Evaluators (CC, SP), pp. 62–66.
- FPCA-1991-ConselD #data flow
- For a Better Support of Static Data Flow (CC, OD), pp. 496–519.
- PLDI-1991-ConselK #partial evaluation
- Parameterized Partial Evaluation (CC, SCK), pp. 92–106.
- PLDI-1991-KishonHC #execution #framework #implementation #monitoring #reasoning #semantics #specification
- Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors (AK, PH, CC), pp. 338–352.
- PLILP-1991-ConselK #compilation #generative #prolog #semantics
- Semantics-Directed Generation of a Prolog Compiler (CC, SCK), pp. 135–146.
- POPL-1991-ConselD #semantics
- Static and Dynamic Semantics Processing (CC, OD), pp. 14–24.
- WSA-1991-ConselK #evaluation #french
- Evaluation partielle paramétrable (CC, SCK), pp. 72–81.
- ESOP-1990-ConselD #compilation
- From Interpreting to Compiling Binding Times (CC, OD), pp. 88–105.
- LFP-1990-Consel #analysis #functional #higher-order
- Binding Time Analysis for High Order Untyped Functional Languages (CC), pp. 264–272.
- ESOP-1988-Consel #empirical #partial evaluation
- New Insights into Partial Evaluation: the SCHISM Experiment (CC), pp. 236–246.
- GPCE-2018-VolanschiSC #detection #domain-specific language #implementation
- Implementing a semi-causal domain-specific language for context detection over binary sensors (NV, BPS, CC), pp. 66–78.
- PLATEAU-2015-KabacVC #developer #evaluation #learning #tool support #usability
- An evaluation of the DiaSuite toolset by professional developers: learning cost and usability (MK, NV, CC), pp. 9–16.