Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Goens, Andres"'
There is an increasing need for domain-specific reasoning in modern compilers. This has fueled the use of tailored intermediate representations (IRs) based on static single assignment (SSA), like in the MLIR compiler framework. Interactive theorem pr
Externí odkaz:
http://arxiv.org/abs/2407.03685
Autor:
Rossel, Marcus, Goens, Andrés
Interactive theorem provers, like Isabelle/HOL, Coq and Lean, have expressive languages that allow the formalization of general mathematical objects and proofs. In this context, an important goal is to reduce the time and effort needed to prove theor
Externí odkaz:
http://arxiv.org/abs/2405.10188
The polyhedral model allows a structured way of defining semantics-preserving transformations to improve the performance of a large class of loops. Finding profitable points in this space is a hard problem which is usually approached by heuristics th
Externí odkaz:
http://arxiv.org/abs/2104.13732
Publikováno v:
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Ultra-dense non-volatile racetrack memories (RTMs) have been investigated at various levels in the memory hierarchy for improved performance and reduced energy consumption. However, the innate shift operations in RTMs hinder their applicability to re
Externí odkaz:
http://arxiv.org/abs/1912.03507
AUTOSAR Adaptive Platform is an emerging industry standard that tackles the challenges of modern automotive software design, but does not provide adequate mechanisms to enforce deterministic execution. This poses profound challenges to testing and ma
Externí odkaz:
http://arxiv.org/abs/1912.01367
This manuscript gives a category-theoretic foundation to the composition of State Threads as a Foundation for Monadic Dataflow Parallelism. It serves as a supplementary formalization of the concepts introduced in the Article "STCLang: State Thread Co
Externí odkaz:
http://arxiv.org/abs/1906.12098
Publikováno v:
ACM Trans. Archit. Code Optim. 14, 2, Article 20 (July 2017)
With the surge of multi- and manycores, much research has focused on algorithms for mapping and scheduling on these complex platforms. Large classes of these algorithms face scalability problems. This is why diverse methods are commonly used for redu
Externí odkaz:
http://arxiv.org/abs/1704.06623
Autor:
Goens, Andres, Chakraborty, Soham, Sarkar, Susmit, Agarwal, Sukarn, Oswald, Nicolai, Nagarajan, Vijay
Publikováno v:
Goens, A, Chakraborty, S, Sarkar, S, Agarwal, S, Oswald, N & Nagarajan, V 2023, ' Compound Memory Models ', Proceedings of the ACM on Programming Languages, vol. 7, no. PLDI, 153, pp. 1145-1168 . https://doi.org/10.1145/3591267
Funding: This work was funded by the Engineering and Physical Sciences Research Council, through grant references EP/V038699/1 and EP/V028154/1. Submitted to PLDI 2023, which will publish accepted papers in the Proceedings of the ACM in Programming L
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::58ba544295bc0c8878ef579798be10e6
https://hdl.handle.net/10023/27764
https://hdl.handle.net/10023/27764
Publikováno v:
In Journal of Systems Architecture May 2016 66-67:69-83
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.