DC Field | Value | Language |
---|---|---|
dc.contributor.author | Oh, T | - |
dc.contributor.author | Kim, H | - |
dc.contributor.author | Johnson, NP | - |
dc.contributor.author | Lee, JW | - |
dc.contributor.author | August, DI | - |
dc.date.accessioned | 2016-03-31T08:19:54Z | - |
dc.date.available | 2016-03-31T08:19:54Z | - |
dc.date.created | 2014-03-07 | - |
dc.date.issued | 2013-04 | - |
dc.identifier.issn | 0362-1340 | - |
dc.identifier.other | 2013-OAK-0000028744 | - |
dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/15067 | - |
dc.description.abstract | Program specialization optimizes a program with respect to program invariants, including known, fixed inputs. These invariants can be used to enable optimizations that are otherwise unsound. In many applications, a program input induces predictable patterns of values across loop iterations, yet existing specializers cannot fully capitalize on this opportunity. To address this limitation, we present Invariant-induced Pattern based Loop Specialization (IPLS), the first fully-automatic specialization technique designed for everyday use on real applications. Using dynamic information-flow tracking, IPLS profiles the values of instructions that depend solely on invariants and recognizes repeating patterns across multiple iterations of hot loops. IPLS then specializes these loops, using those patterns to predict values across a large window of loop iterations. This enables aggressive optimization of the loop; conceptually, this optimization reconstructs recurring patterns induced by the input as concrete loops in the specialized binary. IPLS specializes real-world programs that prior techniques fail to specialize without requiring hints from the user. Experiments demonstrate a geomean speedup of 14.1% with a maximum speedup of 138% over the original codes when evaluated on three script interpreters and eleven scripts each. | - |
dc.description.statementofresponsibility | X | - |
dc.language | English | - |
dc.publisher | ACM | - |
dc.relation.isPartOf | ACM SIGPLAN NOTICES - ASPLOS | - |
dc.subject | Design | - |
dc.subject | Languages | - |
dc.subject | Performance | - |
dc.subject | Loop specialization | - |
dc.subject | Partial evaluation | - |
dc.subject | Profile based optimization | - |
dc.subject | Program specialization | - |
dc.subject | PROGRAM SPECIALIZATION | - |
dc.subject | DYNAMIC LANGUAGES | - |
dc.subject | OPTIMIZATION | - |
dc.title | Practical automatic loop specialization | - |
dc.type | Article | - |
dc.contributor.college | 창의IT융합공학과 | - |
dc.identifier.doi | 10.1145/2499368.2451161 | - |
dc.author.google | Oh, T | - |
dc.author.google | Kim, H | - |
dc.author.google | Johnson, NP | - |
dc.author.google | Lee, JW | - |
dc.author.google | August, DI | - |
dc.relation.volume | 48 | - |
dc.relation.issue | 4 | - |
dc.relation.startpage | 419 | - |
dc.relation.lastpage | 430 | - |
dc.contributor.id | 11214183 | - |
dc.relation.journal | ACM SIGPLAN NOTICES - ASPLOS | - |
dc.relation.index | SCI급, SCOPUS 등재논문 | - |
dc.relation.sci | SCI | - |
dc.collections.name | Journal Papers | - |
dc.type.rims | ART | - |
dc.identifier.bibliographicCitation | ACM SIGPLAN NOTICES - ASPLOS, v.48, no.4, pp.419 - 430 | - |
dc.identifier.wosid | 000321213100034 | - |
dc.date.tcdate | 2019-01-01 | - |
dc.citation.endPage | 430 | - |
dc.citation.number | 4 | - |
dc.citation.startPage | 419 | - |
dc.citation.title | ACM SIGPLAN NOTICES - ASPLOS | - |
dc.citation.volume | 48 | - |
dc.contributor.affiliatedAuthor | Kim, H | - |
dc.identifier.scopusid | 2-s2.0-84880120211 | - |
dc.description.journalClass | 1 | - |
dc.description.journalClass | 1 | - |
dc.description.wostc | 1 | - |
dc.description.scptc | 1 | * |
dc.date.scptcdate | 2018-05-121 | * |
dc.type.docType | Article; Proceedings Paper | - |
dc.subject.keywordAuthor | Design | - |
dc.subject.keywordAuthor | Languages | - |
dc.subject.keywordAuthor | Performance | - |
dc.subject.keywordAuthor | Loop specialization | - |
dc.subject.keywordAuthor | Partial evaluation | - |
dc.subject.keywordAuthor | Profile based optimization | - |
dc.subject.keywordAuthor | Program specialization | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
library@postech.ac.kr Tel: 054-279-2548
Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.