Show simple item record

dc.contributor.authorDot, Gem
dc.contributor.authorMartinez, Alejandro
dc.contributor.authorGonzález Colás, Antonio María
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
dc.date.accessioned2018-02-09T09:14:19Z
dc.date.available2018-02-09T09:14:19Z
dc.date.issued2017
dc.identifier.citationDot, G., Martínez, A., González, A. Removing checks in dynamically typed languages through efficient profiling. A: International Symposium on Code Generation and Optimization. "CGO'17: proceedings of the 2017 International Symposium on Code Generation and Optimization: February 4-8, 2017 Austin, USA". Austin, TX: Institute of Electrical and Electronics Engineers (IEEE), 2017, p. 257-268.
dc.identifier.isbn978-1-5090-4931-8
dc.identifier.urihttp://hdl.handle.net/2117/113960
dc.description.abstractDynamically typed languages increase programmer's productivity at the expense of some runtime overheads to manage the types of variables, since they are not declared at compile time and can change at runtime. One of the most important overheads is due to very frequent checks that are introduced in the specialized code to identify the type of the variables. In this paper, we present a HW/SW hybrid mechanism that allows the removal of checks executed in the optimized code by performing a HW profiling of the types of object variables. To demonstrate the benefits of the proposed technique, we implement it in a JavaScript engine and show that it produces 7.1% speedup on average for optimized JavaScript code (up to 34% for some applications) and 6.5% energy reduction.
dc.format.extent12 p.
dc.language.isoeng
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.subjectÀrees temàtiques de la UPC::Informàtica::Llenguatges de programació
dc.subject.lcshSystem design
dc.subject.lcshSystems engineering
dc.subject.lcshProgramming languages (Electronic computers)
dc.subject.otherHardware-software codesign
dc.subject.otherJava
dc.subject.otherProgram diagnostics
dc.titleRemoving checks in dynamically typed languages through efficient profiling
dc.typeConference report
dc.subject.lemacDisseny de sistemes
dc.subject.lemacEnginyeria de sistemes
dc.subject.lemacLlenguatges de programació
dc.contributor.groupUniversitat Politècnica de Catalunya. ARCO - Microarquitectura i Compiladors
dc.identifier.doi10.1109/CGO.2017.7863745
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://ieeexplore.ieee.org.recursos.biblioteca.upc.edu/abstract/document/7863745
dc.rights.accessOpen Access
local.identifier.drac21891407
dc.description.versionPostprint (author's final draft)
local.citation.authorDot, G.; Martínez, A.; González, A
local.citation.contributorInternational Symposium on Code Generation and Optimization
local.citation.pubplaceAustin, TX
local.citation.publicationNameCGO'17: proceedings of the 2017 International Symposium on Code Generation and Optimization: February 4-8, 2017 Austin, USA
local.citation.startingPage257
local.citation.endingPage268


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder