Article

Invited application paper: a proposal for the specialization of HA/DRE systems

Author:

Gary DaughertyAuthors Info & Claims

PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Pages 56 - 67

https://doi.org/10.1145/1014007.1014014

Published: 24 August 2004 Publication History

Abstract

Working with High Assurance (HA) and Distributed, Real-time Embedded (DRE) applications, we have found numerous opportunities for software specialization. The problem has been that partial evaluation (PE) alone is insufficient to carry out all the useful forms of specialization that we envision. The contribution of this paper is to lay out a vision for the types of tool support, methods, specialization models, and specialization patterns that are needed to address these types of applications. Our goal is to start a conversation with researchers in this area in order to further develop this approach and help realize this vision.

References

[1]

Crispin Cowan, Charles Consel, et al. Specialization Classes: An Object Framework for Specialization, In Proceedings of the Fifth IEEE International Workshop on Object-Orientation in Operating Systems, Seattle, Washington, October 1996, also available as INRIA Technical Report, September 6, 1996.

Digital Library

[2]

Daugherty, G., Program Composition for Embedded Systems (PCES) Specialization Patterns, version 0.4i, Rockwell Collins Advanced Technology Center, June, 2004.

[3]

Daugherty, G., CORBA Specialization Model, version 0.4i, Rockwell Collins Advanced Technology Center, June, 2004.

[4]

Martin Fowler. Refactoring: Improving the Design of Existing Code, Addison-Wesley, 1999.

Digital Library

[5]

Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995.

Digital Library

[6]

John Hatcliff, William Deng, Matthew Dwyer, Georg Jung, Venkatesh Prasad. "Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems", Proceedings of the International Conference on Software Engineering (ICSE 2003). IEEE Press. Portland, Oregon, May 2003.

Digital Library

[7]

Iowa State University and Rockwell Collins, Software Enabled Controls (SEC) web site, http://dirace.ee.iastate.edu/sec/index.htm

[8]

N. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation, 1993, available from http://www.dina.dk/~sestoft/pebook/pebook.html

Digital Library

[9]

Joint Tactical Radio System (JTRS) Software Communications Architecture (SCA) web site, http://jtrs.army.mil/sections/programinfo/fset_programinfo. html?programinfo_contracts

[10]

Gregor Kiczales et al. Aspect-Oriented Programming, In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), June 1997.

[11]

Anne-Françoise Le Meur, Julia L. Lawall, and Charles Consel. Towards Bridging the Gap Between Programming Languages and Partial Evaluation, In Proceedings of PEPM '02, January 14-15, Portland, Oregon, USA.

[12]

Bertrand Meyer. Object-Oriented Software Construction, 2nd edition, Prentice-Hall, 1997.

Digital Library

[13]

Gilles Muller, Eugen-Nicolae Volanschi, and Renaud Marlet. Scaling up partial evaluation for optimizing the Sun commercial RPC protocol, In Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Amsterdam, The Netherlands, pages 116--126, 1997.

Digital Library

[14]

Bill Opdyke, Refactoring Object Oriented Frameworks, University of Illinois at Urbana-Champaign, 1992.

Digital Library

[15]

University of California at Irvine, Zen project web site, http://zen.ece.uci.edu/zen/

[16]

U.P. Schultz, J. Lawall, and C. Consel . Specialization Patterns, INRIA Research Report 3853, January 2000.

[17]

Eugen N. Volanschi, Charles Consel, Gilles Muller and Crispin Cowan, Declarative Specialization of Object-Oriented Programs, In Proceedings of OOPSLA'97, also available as Technical Report RR-3118, INRIA, 1997.

Digital Library

Cited By

Haider SHasenplaugh WAlistarh D(2016)Lease/releaseACM SIGPLAN Notices10.1145/3016078.285115551:8(1-12)Online publication date: 27-Feb-2016
https://dl.acm.org/doi/10.1145/3016078.2851155
Wang LYang FZhuang LCui HLv FFeng X(2016)Articulation points guided redundancy elimination for betweenness centralityACM SIGPLAN Notices10.1145/3016078.285115451:8(1-13)Online publication date: 27-Feb-2016
https://dl.acm.org/doi/10.1145/3016078.2851154
Rayanchu SSen SWu JBanerjee SSengupta S(2008)Loss-aware network coding for unicast wireless sessionsACM SIGMETRICS Performance Evaluation Review10.1145/1384529.137546836:1(85-96)Online publication date: 2-Jun-2008
https://dl.acm.org/doi/10.1145/1384529.1375468
Show More Cited By

Index Terms

Recommendations

Combining Program and Data Specialization

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 ...
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
PEPM 2024: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation

This paper presents some ideas concerning program manipulation and program transformation from the early days of their development. Particular emphasis will be given to program transformation techniques in the area of functional programming and ...
Time-series forecasting by pattern imitation

We propose a new descriptive approach to timeseries forecasting based on the imitation of the past similar patterns in the data history. In order to select similar patterns we introduce an algorithm that compares the patterns' characteristics. The ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

August 2004

212 pages

ISBN:1581138350

DOI:10.1145/1014007

Program Chairs:
Nevin Heintze
Agere Systems, NJ
,
Peter Sestoft
KVL and ITU, Copenhagen, Denmark

Copyright © 2004 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 August 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

PEPM04

Sponsor:

PEPM04: Partial Evaluation and Program Manipulation 2004

August 24 - 25, 2004

Verona, Italy

Acceptance Rates

Overall Acceptance Rate 66 of 120 submissions, 55%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
212
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Haider SHasenplaugh WAlistarh D(2016)Lease/releaseACM SIGPLAN Notices10.1145/3016078.285115551:8(1-12)Online publication date: 27-Feb-2016
https://dl.acm.org/doi/10.1145/3016078.2851155
Wang LYang FZhuang LCui HLv FFeng X(2016)Articulation points guided redundancy elimination for betweenness centralityACM SIGPLAN Notices10.1145/3016078.285115451:8(1-13)Online publication date: 27-Feb-2016
https://dl.acm.org/doi/10.1145/3016078.2851154
Rayanchu SSen SWu JBanerjee SSengupta S(2008)Loss-aware network coding for unicast wireless sessionsACM SIGMETRICS Performance Evaluation Review10.1145/1384529.137546836:1(85-96)Online publication date: 2-Jun-2008
https://dl.acm.org/doi/10.1145/1384529.1375468
Tschopp DDiggavi SGrossglauser M(2008)Hierarchical routing over dynamic wireless networksACM SIGMETRICS Performance Evaluation Review10.1145/1384529.137546736:1(73-84)Online publication date: 2-Jun-2008
https://dl.acm.org/doi/10.1145/1384529.1375467
Brosh EBaset SRubenstein DSchulzrinne H(2008)The delay-friendliness of TCPACM SIGMETRICS Performance Evaluation Review10.1145/1384529.137546436:1(49-60)Online publication date: 2-Jun-2008
https://dl.acm.org/doi/10.1145/1384529.1375464
Wierman ANuyens M(2008)Scheduling despite inexact job-size informationACM SIGMETRICS Performance Evaluation Review10.1145/1384529.137546136:1(25-36)Online publication date: 2-Jun-2008
https://dl.acm.org/doi/10.1145/1384529.1375461
Krishna AGokhale ASchmidt DRanganath VHatcliff J(2006)Towards highly optimized real-time middleware for software product-line architecturesACM SIGBED Review10.1145/1279711.12797153:1(13-16)Online publication date: 1-Jan-2006
https://dl.acm.org/doi/10.1145/1279711.1279715
Baker MShah MRosenthal DRoussopoulos MManiatis PGiuli TBungale P(2006)A fresh look at the reliability of long-term digital storageACM SIGOPS Operating Systems Review10.1145/1218063.121795740:4(221-234)Online publication date: 18-Apr-2006
https://dl.acm.org/doi/10.1145/1218063.1217957
Krishna AGokhale ASchmidt D(2006)Context-specific middleware specialization techniques for optimizing software product-line architecturesACM SIGOPS Operating Systems Review10.1145/1218063.121795540:4(205-218)Online publication date: 18-Apr-2006
https://dl.acm.org/doi/10.1145/1218063.1217955
Krishna AGokhale ASchmidt DBerbers YZwaenepoel W(2006)Context-specific middleware specialization techniques for optimizing software product-line architecturesProceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 200610.1145/1217935.1217955(205-218)Online publication date: 18-Apr-2006
https://dl.acm.org/doi/10.1145/1217935.1217955
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents