Search For:

Displaying 1-36 out of 36 total
Toward a Tool-Based Development Methodology for Pervasive Computing Applications
Found in: IEEE Transactions on Software Engineering
By Damien Cassou,Julien Bruneau,Charles Consel,Emilie Balland
Issue Date:November 2012
pp. 1445-1463
Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with heterogeneous devices, overcoming the intricacies of distributed sy...
 
DiaSim: A parameterized simulator for pervasive computing applications
Found in: Pervasive Computing and Communications, IEEE International Conference on
By Wilfried Jouve, Julien Bruneau, Charles Consel
Issue Date:March 2009
pp. 1-3
Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasive computing environment. This situation is problematic for testing because it requires...
 
High-level Programming Support for Robust Pervasive Computing Applications
Found in: Pervasive Computing and Communications, IEEE International Conference on
By Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall
Issue Date:March 2008
pp. 252-255
In this paper, we present a domain-specific Interface Definition Language (IDL) and its compiler, dedicated to the development of pervasive computing applications. Our IDL provides declarative support for concisely characterizing a pervasive computing enviro...
 
A Multimedia-Specific Approach to WS-Agreement
Found in: Web Services, European Conference on
By Wilfried Jouve, Julien Lancia, Charles Consel, Calton Pu
Issue Date:December 2006
pp. 44-52
WS-Agreement offers a general language and protocol to establish agreements between two parties. In principle, this generality enables a wide variety of domains to be covered. Yet, agreement terms need to be developed for each domain, to allow specific req...
 
Automatic Specialization of Protocol Stacks
Found in: Local Computer Networks, Annual IEEE Conference on
By Sapan Bhatia, Charles Consel, Anne-Françoise Le Meur, Calton Pu
Issue Date:November 2004
pp. 152-159
Fast and optimized protocol stacks play a major role in the performance of network services. This role is especially important in embedded class systems, where performance metrics such as data throughput tend to be limited by the CPU. It is common on such ...
 
Infopipes: The ISL/ISG Implementation Evaluation
Found in: Network Computing and Applications, IEEE International Symposium on
By Galen Swint, Calton Pu, Younggyun Koh, Ling Liu, Wenchang Yan, Charles Consel, Koichi Moriyama, Jonathan Walpole
Issue Date:September 2004
pp. 293-296
We provide a performance comparison of generated Infopipes that have been translate the Spi/XIP variant of Infopipe specification into executable code. Infopipes are an abstraction to support information flow applications. These tools are evaluated through...
 
A Programmable Client-Server Model: Robust Extensibility via DSLs
Found in: Automated Software Engineering, International Conference on
By Charles Consel, Laurent Réveillère
Issue Date:October 2003
pp. 70
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature makes it insensitive to fast changing client characteristics like terminal capabi...
 
Specialization Patterns
Found in: Automated Software Engineering, International Conference on
By Ulrik P. Schultz, Julia L. Lawall, Charles Consel
Issue Date:September 2000
pp. 197
Design patterns offer many advantages for software development, but can introduce inefficiency into the final program. Program specialization can eliminate such overheads, but is most effective when targeted by the user to specific bottlenecks. Consequentl...
 
A DSL Approach to Improve Productivity and Safety in Device Drivers Development
Found in: Automated Software Engineering, International Conference on
By Laurent Réveillère, Fabrice Mérillon, Charles Consel, Renaud Marlet, Gilles Muller
Issue Date:September 2000
pp. 101
Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this development consists of decoding hardware intricacies, based on inaccurate doc...
 
A Declarative Approach for Designing and Developing Adaptive Components
Found in: Automated Software Engineering, International Conference on
By Philippe Boinot, Renaud Marlet, Jacques Noye, Gilles Muller, Charles Consel
Issue Date:September 2000
pp. 111
An adaptive component is a component that is able to adapt its behavior to different execution contexts. Building an adaptive application is difficult because of component dependencies and the lack of language support. As a result, code that implements ada...
 
Domain-Specific Languages: From Design to Implementation Application to Video Device Drivers Generation
Found in: IEEE Transactions on Software Engineering
By Scott A. Thibault, Renaud Marlet, Charles Consel
Issue Date:May 1999
pp. 363-377
<p><b>Abstract</b>—Domain-Specific languages (DSL) have many potential advantages in terms of software engineering ranging from increased productivity to the application of formal methods. Although they have been used in practice for deca...
 
Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study
Found in: Computer Languages, International Conference on
By Francois Noel, Luke Hornof, Charles Consel, Julia L. Lawall
Issue Date:May 1998
pp. 132
Specializing programs with respect to run-time values has been shown to drastically improve code performance on realistic programs ranging from operating systems to graphics. Recently, various approaches to specializing code at run-time have been proposed....
 
Specialization tools and techniques for systematic optimization of system software
Found in: ACM Transactions on Computer Systems (TOCS)
By Ashvin Goel, Calton Pu, Charles Consel, Charles Krasic, Crispin Cowan, Dylan McNamee, Gilles Muller, Jonathan Walpole, Perry Wagle, Renauld Marlet
Issue Date:February 1992
pp. 217-251
Specialization has been recognized as a powerful technique for optimizing operating systems. However, specialization has not been broadly applied beyond the research community because current techniques based on manual specialization, are time-consuming an...
     
Leveraging software architectures to guide and verify the development of sense/compute/control applications
Found in: Proceeding of the 33rd international conference on Software engineering (ICSE '11)
By Charles Consel, Damien Cassou, Emilie Balland, Julia Lawall
Issue Date:May 2011
pp. 431-440
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key element of this mapping is the architectur...
     
DiaSuite: a paradigm-oriented software development approach
Found in: Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation (PERM '11)
By Charles Consel
Issue Date:January 2011
pp. 77-78
We present a software development approach, whose underlying paradigm goes beyond programming. This approach offers a language-based design framework, high-level programming support, a range of verifications, and an abstraction layer over low-level technol...
     
Towards a tool-based development methodology for sense/compute/control applications
Found in: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion (SPLASH '10)
By Charles Consel, Damien Cassou, Emilie Balland, Julien Bruneau, Julien Mercadal, Nicolas Loriant, Quentin Enard
Issue Date:October 2010
pp. 247-248
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define the architecture of an application, following an architectural pattern commo...
     
A domain-specific approach to architecturing error handling in pervasive computing
Found in: Proceedings of the ACM international conference on Object oriented programming systems languages and applications (OOPSLA '10)
By Charles Consel, Julien Mercadal, Nicolas Loriant, Quentin Enard
Issue Date:October 2010
pp. 47-61
The challenging nature of error handling constantly escalates as a growing number of environments consists of networked devices and software components. In these environments, errors cover a uniquely large spectrum of situations related to each layer rangi...
     
A generative programming approach to developing pervasive computing systems
Found in: Proceedings of the eighth international conference on Generative programming and component engineering (GPCE '09)
By Benjamin Bertran, Charles Consel, Damien Cassou, Nicolas Loriant
Issue Date:October 2009
pp. 137-146
Developing pervasive computing applications is a difficult task because it requires to deal with a wide range of issues: heterogeneous devices, entity distribution, entity coordination, low-level hardware knowledge. . . Besides requiring various areas of e...
     
Pantaxou: a domain-specific language for developing safe coordination services
Found in: Proceedings of the 7th international conference on Generative programming and component engineering (GPCE '08)
By Charles Consel, Julia L. Lawall, Julien Mercadal, Nicolas Palix
Issue Date:October 2008
pp. 1-8
Coordinating entities in a networked environment has always been a significant challenge for software developers. In recent years, however, it has become even more difficult, because devices have increasingly rich capabilities, combining an ever larger ran...
     
DSLs: the good, the bad, and the ugly
Found in: Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA Companion '08)
By Charles Consel, Gabor Karsai, Jeff Gray, Juha-Pekka Tolvanen, Kathleen Fisher, Marjan Mernik
Issue Date:October 2008
pp. 186-189
A resurging interest in domain-specific languages (DSLs) has identified the benefits to be realized from customized languages that provide a high-level of abstraction for specifying a problem concept in a particular domain. Although there has been much suc...
     
Remote specialization for efficient embedded operating systems
Found in: ACM Transactions on Programming Languages and Systems (TOPLAS)
By Calton Pu, Charles Consel, Sapan Bhatia
Issue Date:July 2008
pp. 1-32
Prior to their deployment on an embedded system, operating systems are commonly tailored to reduce code size and improve runtime performance. Program specialization is a promising match for this process: it is predictable and modules, and it allows the reu...
     
Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior
Found in: Proceedings of the 2006 international symposium on Memory management (ISMM '06)
By Charles Consel, Julia Lawall, Sapan Bhatia
Issue Date:June 2006
pp. 104-114
Event-driven programming has emerged as a standard to implement high-performance servers due to its flexibility and low OS overhead. Still, memory access remains a bottleneck. Generic optimization techniques yield only small improvements in the memory acce...
     
Clearwater: extensible, flexible, modular code generation
Found in: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (ASE '05)
By Akhil Sahai, Calton Pu, Charles Consel, Galen S. Swint, Gueyoung Jung, Koichi Moriyama, Qinyi Wu, Wenchang Yan, Younggyun Koh
Issue Date:November 2005
pp. 144-153
Distributed applications typically interact with a number of heterogeneous and autonomous components that evolve independently. Methodical development of such applications can benefit from approaches based on domain-specific languages (DSLs). However, the ...
     
Remote customization of systems code for embedded devices
Found in: Proceedings of the fourth ACM international conference on Embedded software (EMSOFT '04)
By Calton Pu, Charles Consel, Sapan Bhatia
Issue Date:September 2004
pp. 7-15
Dedicated operating systems for embedded systems are fast being phased out due to their use of manual optimization, which provides high performance and small footprint, but also requires high maintenance and portability costs every time hardware evolves.In...
     
Automatic program specialization for Java
Found in: ACM Transactions on Programming Languages and Systems (TOPLAS)
By Charles Consel, Julia L. Lawall, Ulrik P. Schultz
Issue Date:July 2003
pp. 452-499
The object-oriented style of programming facilitates program adaptation and enhances program genericness, but at the expense of efficiency. We demonstrate experimentally that state-of-the-art Java compilers fail to compensate for the use of object-oriented...
     
Efficient incremental run-time specialization for free
Found in: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation (PLDI '99)
By Charles Consel, Philippe Boinot, Renaud Marlet
Issue Date:May 1999
pp. 329-338
Availability of data in a program determines computation stages. Incremental partial evaluation exploit these stages for optimization: it allows further specialization to be performed as data become available at later stages. The fundamental advantage of i...
     
A framework for application generator design
Found in: Proceedings of the 1997 symposium on Software reusability (SSR '97)
By Charles Consel, Scott Thibault
Issue Date:May 1997
pp. 162
Ensuring that object technology will achieve its promise of significant software reuse requires that special attention be paid to a combination of people, process and technology issues. Reuse will not happen automatically. The panelists will describe their...
     
A tour of Schism: a partial evaluation system for higher-order applicative languages
Found in: Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (PEPM '93)
By Charles Consel
Issue Date:June 1993
pp. 145-154
The tupling transformation strategy can be used to merge loops together by combining recursive calls and also to eliminate redundant calls for a class of programs. The clever (and difficult) step of this transformation strategy is to find an appropriate tu...
     
Polyvariant binding-time analysis for applicative languages
Found in: Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (PEPM '93)
By Charles Consel
Issue Date:June 1993
pp. 66-77
Binding-time analysis is a crucial component of an offline partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization of programs.We present a binding-time analysis for applicative languages. Th...
     
Incremental partial evaluation: the key to high performance, modularity and portability in operating systems
Found in: Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (PEPM '93)
By Calton Pu, Charles Consel, Jonathan Walpole
Issue Date:June 1993
pp. 44-46
In general, a partial evaluator needs to keep track of the tasks that have already been completed or initiated, so that it can recognize when to stop unfolding. In the MIX-style polyvariant specialization algorithm, this is accomplished by a global log. Th...
     
Tutorial notes on partial evaluation
Found in: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '93)
By Charles Consel, Olivier Danvy
Issue Date:March 1993
pp. 493-501
The last years have witnessed a flurry of new results in the area of partial evaluation. These tutorial notes survey the field and present a critical assessment of the state of the art.
     
Monitoring semantics: a formal framework for specifying, implementing, and reasoning about execution monitors
Found in: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation (PLDI '91)
By Amir Kishon, Charles Consel, Paul Hudak
Issue Date:June 1991
pp. 329-338
This paper describes an AL compiler for the Warp systolic array. AL is a programming language in which the user programs a systolic array as if it were a sequential computer and relies on the compiler to generate parallel code. This paper introduces the no...
     
Parameterized partial evaluation
Found in: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation (PLDI '91)
By Charles Consel, Siau Cheng Khoo
Issue Date:June 1991
pp. 329-338
This paper describes an AL compiler for the Warp systolic array. AL is a programming language in which the user programs a systolic array as if it were a sequential computer and relies on the compiler to generate parallel code. This paper introduces the no...
     
Program adaptation based on program transformation
Found in: ACM Computing Surveys (CSUR)
By Charles Consel
Issue Date:March 1988
pp. 164-es
Floating-point divide and square-root operations are essential to many scientific and engineering applications, and are required in all computer systems that support the IEEE floating-point standard. Yet many current microprocessors provide only weak supp...
     
Fixpoint computation for polyvariant static analyses of higher-order applicative programs
Found in: ACM Transactions on Programming Languages and Systems (TOPLAS)
By Charles Consel, J. Michael Ashley
Issue Date:January 1988
pp. 1431-1448
This paper presents an optimized general-purpose algorithm for polyvariant, static analyses of higher-order applicative programs. A polyvariant analysis is a very accurate form of analysis that produces many more abstract descriptions for a program than do...
     
Parameterized partial evaluation
Found in: ACM Transactions on Programming Languages and Systems (TOPLAS)
By Charles Consel, Siau Cheng Khoo
Issue Date:January 1988
pp. 463-493
This paper examines cache consistency conditions for multiprocessor shared memory systems. It states and motivates a weaker condition than is normally implemented. An algorithm is presented that exploits the weaker condition to achieve greater concurrency....
     
 1