Zobrazeno 1 - 10
of 3 930
pro vyhledávání: '"A. Steuwer"'
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
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.
Autor:
Sösemann, Bernd
Publikováno v:
Jahrbuch für Kommunikationsgeschichte, 2016 Jan 01. 18, 183-184.
Externí odkaz:
https://www.jstor.org/stable/45136699
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