Author image not provided
 Renaud Marlet

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article15.70
Citation Count314
Publication count20
Publication years1997-2001
Available for download7
Average downloads per article394.57
Downloads (cumulative)2,762
Downloads (12 Months)77
Downloads (6 Weeks)9
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


20 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 20
Result page: 1 2

Sort by:

1 published by ACM
May 2001 ACM Transactions on Computer Systems (TOCS): Volume 19 Issue 2, May 2001
Publisher: ACM
Bibliometrics:
Citation Count: 25
Downloads (6 Weeks): 2,   Downloads (12 Months): 19,   Downloads (Overall): 903

Full text available: PDFPDF
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 and error-prone. The goal of the work described in this paper is to help operating system tuners perform ...
Keywords: operating system specialization, optimization, software architecture

2
October 2000 OSDI'00: Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
Publisher: USENIX Association
Bibliometrics:
Citation Count: 45
Downloads (6 Weeks): 1,   Downloads (12 Months): 10,   Downloads (Overall): 127

Full text available: PDFPDF
To keep up with the frantic pace at which devices come out, drivers need to be quickly developed, debugged and tested. Although a driver is a critical system component, the driver development process has made little (if any) progress. The situation is particularly disastrous when considering the hardware operating code ...

3
October 2000 Theoretical Computer Science - Partial evaluation and semantics-based program manipulation: Volume 248 Issue 1-2, October 2000
Publisher: Elsevier Science Publishers Ltd.
Bibliometrics:
Citation Count: 3

Keywords: partial evaluation, program transformation, remote procedure call (RPC), program analysis

4 published by ACM
September 2000 EW 9: Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
Publisher: ACM
Bibliometrics:
Citation Count: 4
Downloads (6 Weeks): 0,   Downloads (12 Months): 1,   Downloads (Overall): 115

Full text available: PDFPDF
Appliances represent a quickly growing domain that raises new challenges in OS design and development. First, new products appear at a rapid pace to satisfy emerging needs. Second, the nature of these markets makes these needs unpredictable. Lastly, given the competitiveness of such markets, there exists tremendous pressure to deliver ...

5
September 2000 ASE '00: Proceedings of the 15th IEEE international conference on Automated software engineering
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 5

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 adaptation is often tangled, hindering maintenance and evolution. To overcome this ...

6
September 2000 ASE '00: Proceedings of the 15th IEEE international conference on Automated software engineering
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 8

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 documentation. Then, assembly-level operations need to be used to interact with the ...

7
September 2000 Higher-Order and Symbolic Computation: Volume 13 Issue 3, Sept. 2000
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 18

Interpretation and run-time compilation techniques are increasingly important because they can support heterogeneous architectures, evolving programming languages, and dynamically-loaded code. Interpretation is simple to implement, but yields poor performance. Run-time compilation yields better performance, but is costly to implement. One way to preserve simplicity but obtain good performance is to ...
Keywords: compiler design, domain-specific languages, partial evaluation, bytecode languages, run-time code generation, Just-In-Time compilation, compilation

8 published by ACM
January 2000 DYNAMO '00: Proceedings of the ACM SIGPLAN workshop on Dynamic and adaptive compilation and optimization
Publisher: ACM
Bibliometrics:
Citation Count: 1

Also published in:
July 2000  ACM SIGPLAN Notices: Volume 35 Issue 7, July 2000

9
December 1999 Higher-Order and Symbolic Computation: Volume 12 Issue 4, December 1999
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 7

Program and data specialization have always been studied separately, although they are both aimed at processing early computations. Program specialization encodes the result of early computations into a new program; while data specialization encodes the result of early computations into data structures. In this paper, we present an extension of ...
Keywords: data specialization, program specialization, combining program, partial evaluation, program transformation

10
October 1999 Automated Software Engineering: Volume 6 Issue 4, October 1999
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 8

The notion of flexibility (that is, the ability to adapt to changing requirements or execution contexts) is recognized as a key concern in structuring software, and many architectures have been designed to that effect. However, the corresponding implementations often come with performance and code size overheads. The source of inefficiency ...
Keywords: genericity, program specialization, extensibility, software layers, interpreters, partial evaluation, selective broadcast, adaptability, pattern matching, software architectures

11
May 1999 IEEE Transactions on Software Engineering: Volume 25 Issue 3, May 1999
Publisher: IEEE Press
Bibliometrics:
Citation Count: 17

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 decades, there has been little study of methodology or implementation tools for the DSL approach. In this paper, we present ...
Keywords: GAL, video cards, device drivers, domain-specific language, partial evaluation.

12 published by ACM
May 1999 PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Publisher: ACM
Bibliometrics:
Citation Count: 31
Downloads (6 Weeks): 3,   Downloads (12 Months): 6,   Downloads (Overall): 317

Full text available: PDFPDF
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 incremental specialization is to factorize the specialization process. As a result, specializing a program at ...
Also published in:
May 1999  ACM SIGPLAN Notices: Volume 34 Issue 5, May 1999

13
September 1998 PLILP '98/ALP '98: Proceedings of the 10th International Symposium on Principles of Declarative Programming
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 23


14 published by ACM
September 1998 ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue: Volume 30 Issue 3es, Sept. 1998
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 2,   Downloads (12 Months): 6,   Downloads (Overall): 619

Full text available: PDFPDF

15 published by ACM
September 1998 ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue: Volume 30 Issue 3es, Sept. 1998
Publisher: ACM
Bibliometrics:
Citation Count: 39
Downloads (6 Weeks): 1,   Downloads (12 Months): 13,   Downloads (Overall): 503

Full text available: PDFPDF

16
May 1998 ICDCS '98: Proceedings of the The 18th International Conference on Distributed Computing Systems
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 28


17 published by ACM
December 1997 PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Publisher: ACM
Bibliometrics:
Citation Count: 17
Downloads (6 Weeks): 0,   Downloads (12 Months): 4,   Downloads (Overall): 126

Full text available: PDFPDF
We report here a successful experiment in using partial evaluation on a realistic program, namely the Sun commercial RPC (Remote Procedure Call) protocol. The Sun RPC is implemented in a highly generic way that offers multiple opportunities of specialization.Our study also shows the incapacity of traditional binding-time analyses to treat ...
Also published in:
December 1997  ACM SIGPLAN Notices: Volume 32 Issue 12, Dec. 1997

18
November 1997 ASE '97: Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 8

Flexibility is recognized as a key feature in structuring software, and many architectures have been designed to that effect. However, they often come with performance and code size overhead, resulting in a flexibility vs. efficiency dilemma. The source of inefficiency in software architectures can be identified in the data and ...
Keywords: software engineering, flexible mechanisms, code size overhead, generic programs, inefficiency, partial evaluation, pattern matching, software architectures, generic libraries, interpreters, layers, program specialization, selective broadcast

19
October 1997 DSL'97: Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Publisher: USENIX Association
Bibliometrics:
Citation Count: 14

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 decades, there has been little study of methodology or implementation tools for the DSL approach. In this paper we present ...

20
March 1997
Bibliometrics:
Citation Count: 4

Specialization has been recognized as a powerful technique for optimizing operating systems. However, specialization has not been broadly applied beyond the research community because the current techniques, based on manual specialization, are time-consuming and error-prone. This paper describes a specialization toolkit that should help broaden the applicability of specializing operating ...



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us