Resource-bounded partial evaluation

Saumya Debray

doi:10.1145/258993.259017

Resource-bounded partial evaluation

Saumya Debray

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

10 Scopus citations

Abstract

Most partial evaluators do not take the availability of machine-level resources, such as registers or cache, into consideration when making their specialization decisions. The resulting resource contention can lead to severe performance degradation-causing, in extreme cases, the specialized code to run slower than the unspe-cialized code. In this paper we consider how resource considerations can be incorporated within a partial eval-uaior. We develop an abstract formulation of the problem, show that optimal resource-bounded partial evaluation is NP-complete, and discuss simple heuristics that can be used to address the problem in practice.

Original language	English (US)
Title of host publication	Proceedings of the 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997
Publisher	Association for Computing Machinery
Pages	179-192
Number of pages	14
ISBN (Print)	0897919173, 9780897919173
DOIs	https://doi.org/10.1145/258993.259017
State	Published - 1997
Event	1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997 - Amsterdam, Netherlands Duration: Jun 12 1997 → Jun 13 1997

Publication series

Name	Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Conference

Conference	1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997
Country/Territory	Netherlands
City	Amsterdam
Period	6/12/97 → 6/13/97

ASJC Scopus subject areas

Software

Access to Document

10.1145/258993.259017

Cite this

Debray, S. (1997). Resource-bounded partial evaluation. In Proceedings of the 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997 (pp. 179-192). (Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation). Association for Computing Machinery. https://doi.org/10.1145/258993.259017

Resource-bounded partial evaluation. / Debray, Saumya.
Proceedings of the 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997. Association for Computing Machinery, 1997. p. 179-192 (Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Debray, S 1997, Resource-bounded partial evaluation. in Proceedings of the 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Association for Computing Machinery, pp. 179-192, 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997, Amsterdam, Netherlands, 6/12/97. https://doi.org/10.1145/258993.259017

@inproceedings{a2044250b7ab4836bcf62c55552d7c6d,

title = "Resource-bounded partial evaluation",

abstract = "Most partial evaluators do not take the availability of machine-level resources, such as registers or cache, into consideration when making their specialization decisions. The resulting resource contention can lead to severe performance degradation-causing, in extreme cases, the specialized code to run slower than the unspe-cialized code. In this paper we consider how resource considerations can be incorporated within a partial eval-uaior. We develop an abstract formulation of the problem, show that optimal resource-bounded partial evaluation is NP-complete, and discuss simple heuristics that can be used to address the problem in practice.",

author = "Saumya Debray",

year = "1997",

doi = "10.1145/258993.259017",

language = "English (US)",

isbn = "0897919173",

series = "Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation",

publisher = "Association for Computing Machinery",

pages = "179--192",

booktitle = "Proceedings of the 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997",

note = "1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997 ; Conference date: 12-06-1997 Through 13-06-1997",

}

TY - GEN

T1 - Resource-bounded partial evaluation

AU - Debray, Saumya

PY - 1997

Y1 - 1997

N2 - Most partial evaluators do not take the availability of machine-level resources, such as registers or cache, into consideration when making their specialization decisions. The resulting resource contention can lead to severe performance degradation-causing, in extreme cases, the specialized code to run slower than the unspe-cialized code. In this paper we consider how resource considerations can be incorporated within a partial eval-uaior. We develop an abstract formulation of the problem, show that optimal resource-bounded partial evaluation is NP-complete, and discuss simple heuristics that can be used to address the problem in practice.

AB - Most partial evaluators do not take the availability of machine-level resources, such as registers or cache, into consideration when making their specialization decisions. The resulting resource contention can lead to severe performance degradation-causing, in extreme cases, the specialized code to run slower than the unspe-cialized code. In this paper we consider how resource considerations can be incorporated within a partial eval-uaior. We develop an abstract formulation of the problem, show that optimal resource-bounded partial evaluation is NP-complete, and discuss simple heuristics that can be used to address the problem in practice.

UR - http://www.scopus.com/inward/record.url?scp=0030674453&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030674453&partnerID=8YFLogxK

U2 - 10.1145/258993.259017

DO - 10.1145/258993.259017

M3 - Conference contribution

AN - SCOPUS:0030674453

SN - 0897919173

SN - 9780897919173

T3 - Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

SP - 179

EP - 192

BT - Proceedings of the 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997

PB - Association for Computing Machinery

T2 - 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997

Y2 - 12 June 1997 through 13 June 1997

ER -

Resource-bounded partial evaluation

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this