Zobrazeno 1 - 10
of 37
pro vyhledávání: '"C. O. Rocha"'
Publikováno v:
SynOpen, Vol 03, Iss 04, Pp 142-147 (2019)
Abstract A biomimetic iodofunctionalization of aromatic and heteroaromatic compounds has been developed using NaI as a source of iodine and 30% H2O2 as a mild oxidant, as well as SeCl4 as a commercially available catalyst in water without a co-solven
Externí odkaz:
https://doaj.org/article/e4aebf73572e46a1975e11267bfbd93a
Autor:
Redha Gouicem, Dennis Sprokholt, Jasper Ruehl, Rodrigo C. O. Rocha, Tom Spink, Soham Chakraborty, Pramod Bhatotia
Publikováno v:
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1.
Dynamic Binary Translation (DBT) is a powerful approach to support cross-architecture emulation of unmodified binaries. However, DBT systems face correctness and performance challenges, when emulating concurrent binaries from strong to weak memory co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f3cbc1868d1ed4b1f708f4a222f5af9
https://doi.org/10.1145/3567955.3567962
https://doi.org/10.1145/3567955.3567962
Publikováno v:
Rocha, R C O, Petoumenos, P, Franke, B, Bhatotia, P & O’Boyle, M 2022, Loop Rolling for Code Size Reduction . in J W Lee, S Hack & T Shpeisman (eds), 2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) . pp. 217-229, 2022 International Symposium on Code Generation and Optimization, 2/04/22 . https://doi.org/10.1109/CGO53902.2022.9741256
Code size is critical for resource-constrained devices, where memory and storage are limited. Compilers, therefore, should offer optimizations aimed at code reduction. One such optimization is loop rerolling, which transforms a partially unrolled loo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a27ea8cc8b36c59fcfc9ea9a4438747
https://hdl.handle.net/20.500.11820/eef59492-d670-49a1-8088-fc11c358e7ff
https://hdl.handle.net/20.500.11820/eef59492-d670-49a1-8088-fc11c358e7ff
Autor:
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia
Funding: This work was supported by a UK RISE Grant. The emergence of new architectures create a recurring challenge to ensure that existing programs still work on them. Manually porting legacy code is often impractical. Static binary translation (SB
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b873b25c51f385173f3c3a1acdc5ebd
http://sigplan.org/OpenTOC/
http://sigplan.org/OpenTOC/
Autor:
Vinícius Pacheco, Fabrício Goes, Fernando Magno Quintão Pereira, Thaís Damásio, Rodrigo C. O. Rocha
Publikováno v:
SBLP
Function inlining is a compiler optimization that replaces the call of a function with its body. Inlining is typically seen as an optimization that improves performance at the expenses of increasing code size. This paper goes against this intuition,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::da3ff9285f5f2b89fab4c6d19486730b
https://doi.org/10.1145/3475061.3475081
https://doi.org/10.1145/3475061.3475081
Publikováno v:
SynOpen, Vol 03, Iss 04, Pp 142-147 (2019)
A biomimetic iodofunctionalization of aromatic and heteroaromatic compounds has been developed using NaI as a source of iodine and 30% H2O2 as a mild oxidant, as well as SeCl4 as a commercially available catalyst in water without a co-solvent. The me
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::530b7bab722f32057c9794bb35b4ff8d
http://www.thieme-connect.de/DOI/DOI?10.1055/s-0039-1690337
http://www.thieme-connect.de/DOI/DOI?10.1055/s-0039-1690337
Publikováno v:
Science of Computer Programming. 173:128-152
Functional programming languages, since their early days, have been regarded as the holy grail of parallelism. And, in fact, the absence of race conditions, coupled with algorithmic skeletons such as map and reduce, have given developers the opportun
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::51e5c839234d630f8b493957366b2cf1
https://doi.org/10.1016/j.scico.2018.01.004
https://doi.org/10.1016/j.scico.2018.01.004
Publikováno v:
Anais do XXI Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2020).
A criação de aplicações que obtenham o máximo de desempenho computacional nas arquiteturas modernas é uma tarefa complexa. Além de utilizar conhecimentos de paralelismo, o programador precisar ter um amplo conhecimento de vários outros aspect
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a55f856b50ab790c3dbd518c51630dc1
https://doi.org/10.5753/wscad.2020.14060
https://doi.org/10.5753/wscad.2020.14060
Publikováno v:
PLDI
Rocha, R C O, Petoumenos, P, Wang, Z, Cole, M & Leather, H 2020, Effective Function Merging in the SSA Form . in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation . Association for Computing Machinery (ACM), pp. 854-868, 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 15/06/20 . https://doi.org/10.1145/3385412.3386030
Rocha, R, Petoumenos, P, Wang, Z, Cole, M & Leather, H 2020, Effective Function Merging in the SSA Form . in A F Donaldson & E Torlak (eds), Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020) . Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 854-868, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, lO, 15/06/20 . https://doi.org/10.1145/3385412.3386030
Rocha, R C O, Petoumenos, P, Wang, Z, Cole, M & Leather, H 2020, Effective Function Merging in the SSA Form . in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation . Association for Computing Machinery (ACM), pp. 854-868, 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 15/06/20 . https://doi.org/10.1145/3385412.3386030
Rocha, R, Petoumenos, P, Wang, Z, Cole, M & Leather, H 2020, Effective Function Merging in the SSA Form . in A F Donaldson & E Torlak (eds), Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020) . Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 854-868, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, lO, 15/06/20 . https://doi.org/10.1145/3385412.3386030
Function merging is an important optimization for reducing code size. This technique eliminates redundant code across functions by merging them into a single function. While initially limited to identical or trivially similar functions, the most rece
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3427f56d2f8d3d978ecd379739f6e14
https://doi.org/10.1145/3385412.3386030
https://doi.org/10.1145/3385412.3386030