Zobrazeno 1 - 10
of 820
pro vyhledávání: '"Steuwer, A."'
To take full advantage of a specific hardware target, performance engineers need to gain control on compilers in order to leverage their domain knowledge about the program and hardware. Yet, modern compilers are poorly controlled, usually by configur
Externí odkaz:
http://arxiv.org/abs/2409.03864
Autor:
Bisbas, George, Lydike, Anton, Bauer, Emilien, Brown, Nick, Fehr, Mathieu, Mitchell, Lawrence, Rodriguez-Canal, Gabriel, Jamieson, Maurice, Kelly, Paul H. J., Steuwer, Michel, Grosser, Tobias
Domain Specific Languages (DSLs) increase programmer productivity and provide high performance. Their targeted abstractions allow scientists to express problems at a high level, providing rich details that optimizing compilers can exploit to target c
Externí odkaz:
http://arxiv.org/abs/2404.02218
Autor:
Fehr, Mathieu, Weber, Michel, Ulmann, Christian, Lopoukhine, Alexandre, Lücke, Martin, Degioanni, Théo, Steuwer, Michel, Grosser, Tobias
Traditionally, compiler researchers either conduct experiments within an existing production compiler or develop their own prototype compiler; both options come with trade-offs. On one hand, prototyping in a production compiler can be cumbersome, as
Externí odkaz:
http://arxiv.org/abs/2311.07422
Graphics Processing Units (GPU) offer tremendous computational power by following a throughput oriented computing paradigm where many thousand computational units operate in parallel. Programming this massively parallel hardware is challenging. Progr
Externí odkaz:
http://arxiv.org/abs/2305.03448
Strategy languages enable programmers to compose rewrite rules into strategies and control their application. This is useful in programming languages, e.g., for describing program transformations compositionally, but also in automated theorem proving
Externí odkaz:
http://arxiv.org/abs/2304.14154
Autor:
Tang, Wenhao, Hillerström, Daniel, McKinna, James, Steuwer, Michel, Dardha, Ornela, Fu, Rongxiao, Lindley, Sam
Structural subtyping and parametric polymorphism provide similar flexibility and reusability to programmers. For example, both features enable the programmer to provide a wider record as an argument to a function that expects a narrower one. However,
Externí odkaz:
http://arxiv.org/abs/2304.08267
Autor:
Hellsten, Erik, Souza, Artur, Lenfers, Johannes, Lacouture, Rubens, Hsu, Olivia, Ejjeh, Adel, Kjolstad, Fredrik, Steuwer, Michel, Olukotun, Kunle, Nardi, Luigi
We introduce the Bayesian Compiler Optimization framework (BaCO), a general purpose autotuner for modern compilers targeting CPUs, GPUs, and FPGAs. BaCO provides the flexibility needed to handle the requirements of modern autotuning tasks. Particular
Externí odkaz:
http://arxiv.org/abs/2212.11142
Publikováno v:
The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 3, Article 11
Context: Container data types are ubiquitous in computer programming, enabling developers to efficiently store and process collections of data with an easy-to-use programming interface. Many programming languages offer a variety of container implemen
Externí odkaz:
http://arxiv.org/abs/2205.09655
Autor:
J. A. Carter, M. Dunlop, C. Forsyth, K. Oksavik, E. Donovon, A. Kavanagh, S. E. Milan, T. Sergienko, R. C. Fear, D. G. Sibeck, M. Connors, T. Yeoman, X. Tan, M. G. G. T. Taylor, K. McWilliams, J. Gjerloev, R. Barnes, D. D. Billet, G. Chisham, A. Dimmock, M. P. Freeman, D.-S. Han, M. D. Hartinger, S.-Y. W. Hsieh, Z.-J. Hu, M. K. James, L. Juusola, K. Kauristie, E. A. Kronberg, M. Lester, J. Manuel, J. Matzka, I. McCrea, Y. Miyoshi, J. Rae, L. Ren, F. Sigernes, E. Spanswick, K. Sterne, A. Steuwer, T. Sun, M.-T. Walach, B. Walsh, C. Wang, J. Weygand, J. Wild, J. Yan, J. Zhang, Q.-H. Zhang
Publikováno v:
Earth and Planetary Physics, Vol 8, Iss 1, Pp 275-298 (2024)
The joint European Space Agency and Chinese Academy of Sciences Solar wind Magnetosphere Ionosphere Link Explorer (SMILE) mission will explore global dynamics of the magnetosphere under varying solar wind and interplanetary magnetic field conditions,
Externí odkaz:
https://doaj.org/article/29ec98756c3e4a33a1af2dd02c80e1c1
The trend towards specialization of software and hardware - fuelled by the end of Moore's law and the still accelerating interest in domain-specific computing, such as machine learning - forces us to radically rethink our compiler designs. The era of
Externí odkaz:
http://arxiv.org/abs/2201.03611