Mostrar o rexistro simple do ítem
Affine Modeling of Program Traces
dc.contributor.author | Rodríguez, Gabriel | |
dc.contributor.author | Kandemir, Mahmut T. | |
dc.contributor.author | Touriño, Juan | |
dc.date.accessioned | 2019-02-13T18:47:08Z | |
dc.date.issued | 2019-02-01 | |
dc.identifier.citation | G. Rodríguez, M. T. Kandemir and J. Touriño, "Affine Modeling of Program Traces," in IEEE Transactions on Computers, vol. 68, no. 2, pp. 294-300, 1 Feb. 2019. doi: 10.1109/TC.2018.2853747 , URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8408540&isnumber=8611233 | es_ES |
dc.identifier.issn | 0018-9340 | |
dc.identifier.issn | 1557-9956 | |
dc.identifier.uri | http://hdl.handle.net/2183/21733 | |
dc.description | This is a post-peer-review, pre-copyedit version of an article published in IEEE Transactions on Computers. The final authenticated version is available online at: http://dx.doi.org/10.1109/TC.2018.2853747 | es_ES |
dc.description.abstract | [Abstract] A formal, high-level representation of programs is typically needed for static and dynamic analyses performed by compilers. However, the source code of target applications is not always available in an analyzable form, e.g., to protect intellectual property. To reason on such applications it becomes necessary to build models from observations of its execution. This paper presents an algebraic approach which, taking as input the trace of memory addresses accessed by a single memory reference, synthesizes an affine loop with a single perfectly nested statement that generates the original trace. This approach is extended to support the synthesis of unions of affine loops, useful for minimally modeling traces generated by automatic transformations of polyhedral programs, such as tiling. The resulting system is capable of processing hundreds of gigabytes of trace data in minutes, minimally reconstructing 100 percent of the static control parts in PolyBench/C applications and 99.9 percent in the Pluto-tiled versions of these benchmarks. | es_ES |
dc.description.sponsorship | Ministerio de Economía y Competitividad; TIN2016-75845-P | es_ES |
dc.description.sponsorship | National Science Foundation (Estados Unidos); 1626251 | es_ES |
dc.description.sponsorship | National Science Foundation (Estados Unidos); 1409095 | es_ES |
dc.description.sponsorship | National Science Foundation (Estados Unidos); 1439057 | es_ES |
dc.description.sponsorship | National Science Foundation (Estados Unidos); 1213052 | es_ES |
dc.description.sponsorship | National Science Foundation (Estados Unidos); 1439021 | es_ES |
dc.description.sponsorship | National Science Foundation (Estados Unidos); 1629129 | es_ES |
dc.language.iso | eng | es_ES |
dc.publisher | Institute of Electrical and Electronics Engineers | es_ES |
dc.relation.uri | http://dx.doi.org/10.1109/TC.2018.2853747 | es_ES |
dc.subject | Indexes | es_ES |
dc.subject | Upper bound | es_ES |
dc.subject | Optimization | es_ES |
dc.subject | Space exploration | es_ES |
dc.subject | Engines | es_ES |
dc.subject | Computational modeling | es_ES |
dc.subject | Intellectual property | es_ES |
dc.title | Affine Modeling of Program Traces | es_ES |
dc.type | info:eu-repo/semantics/article | es_ES |
dc.rights.access | info:eu-repo/semantics/embargoedAccess | es_ES |
dc.date.embargoEndDate | 2021-03-01 | es_ES |
dc.date.embargoLift | 2021-03-01 | |
UDC.journalTitle | IEEE Transactions on Computers | es_ES |
UDC.volume | 68 | es_ES |
UDC.issue | 2 | es_ES |
UDC.startPage | 294 | es_ES |
UDC.endPage | 300 | es_ES |
dc.identifier.doi | 10.1109/TC.2018.2853747 |
Ficheiros no ítem
Este ítem aparece na(s) seguinte(s) colección(s)
-
GI-GAC - Artigos [193]