E-LIB Suche - Ergebnisse für: Meister, Benoît

1

HACCLE: metaprogramming for secure multi-party computation:

, In: Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

Bao, Yuyan ; Sundararajah, Kirshanthan ; Malik, Raghav... - p. 130-143 , 2021

Link: https://dl.acm.org/doi/1..

2

Automatic Mapping and Optimization to Kokkos with Polyhedra..:

, In: 2020 IEEE High Performance Extreme Computing Conference (HPEC),

Baskaran, Muthu ; Jin, Charles ; Meister, Benoit. - p. 1-7 , 2020

Link: https://doi.org/10.1109/..

3

POSTER: Automatic Parallelization Targeting Asynchronous Ta..:

, In: 2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT),

Jin, Charles ; Baskaran, Muthu ; Meister, Benoit - p. 465-466 , 2019

Link: https://doi.org/10.1109/..

4

Polyhedral Optimization of TensorFlow Computation Graphs:

, In: Programming and Performance Visualization Tools; Lecture Notes in Computer Science,

Pradelle, Benoît ; Meister, Benoît ; Baskaran, Muthu.. - p. 74-89 , 2019

Link: https://doi.org/10.1007/..

5

PUMA-V: Optimizing Parallel Code Performance Through Intera..:

Papenhausen, Eric ; Langston, M. Harper ; Meister, Benoit..
IEEE Computer Graphics and Applications. 39 (2019) 1 - p. 84-99 , 2019

Link: https://doi.org/10.1109/..

6

Polyhedral Tensor Schedulers:

, In: 2019 International Conference on High Performance Computing & Simulation (HPCS),

Meister, Benoit ; Kaeru, Eric Papenhausen Akai ; Silexica, Benoit Pradelle - p. 504-512 , 2019

Link: https://doi.org/10.1109/..

7

Automatic code generation and data management for an asynch..:

, In: Proceedings of the 5th Workshop on Extreme-Scale Programming Tools,

Baskaran, Muthu ; Pradelle, Benoît ; Meister, Benoît.. - p. 34-41 , 2016

Link: https://dl.acm.org/doi/1..

8

A unified Coq framework for verifying C programs with float..:

, In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs,

Ramananandro, Tahina ; Mountcastle, Paul ; Meister, Benoît. - p. 15-26 , 2016

Link: https://dl.acm.org/doi/1..

9

ACDT: Architected Composite Data Types trading-in unfettere..:

, In: 2014 20th IEEE International Conference on Parallel and Distributed Systems (ICPADS),

Marquez, Andres ; Manzano, Joseph ; Song, Shuaiwen Leon... - p. 289-297 , 2014

Link: https://doi.org/10.1109/..

10

Parallelizing and optimizing sparse tensor computations:

, In: Proceedings of the 28th ACM international conference on Supercomputing,

Baskaran, Muthu Manikandan ; Meister, Benoit ; Lethin, Richard - p. 179 ff. , 2014

Link: https://dl.acm.org/doi/1..

11

ASAFESSS : A Scheduler-driven Adaptive Framework for Ext..:

, In: Proceedings of International Workshop on Adaptive Self-tuning Computing Systems,

St. John, Tom ; Meister, Benoît ; Marquez, Andres... - p. 21-23 , 2014

Link: https://dl.acm.org/doi/1..

12

Memory reuse optimizations in the R-Stream compiler:

, In: Proceedings of the 6th Workshop on General Purpose Processor Using Graphics Processing Units,

Vasilache, Nicolas ; Baskaran, Muthu ; Meister, Benoit. - p. 42-53 , 2013

Link: https://dl.acm.org/doi/1..

13

Automatic communication optimizations through memory reuse ..:

, In: Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming,

Baskaran, Muthu Manikandan ; Vasilache, Nicolas ; Meister, Benoit. - p. 277-278 , 2012

Link: https://dl.acm.org/doi/1..

14

Automatic communication optimizations through memory reuse ..:

Baskaran, Muthu Manikandan ; Vasilache, Nicolas ; Meister, Benoit.
ACM SIGPLAN Notices. 47 (2012) 8 - p. 277-278 , 2012

Link: https://doi.org/10.1145/..

15

Integer affine transformations of parametric ℤ-polytopes an..:

Seghir, Rachid ; Loechner, Vincent ; Meister, Benoît
ACM Transactions on Architecture and Code Optimization (TACO). 9 (2012) 2 - p. 1-27 , 2012

Link: https://dl.acm.org/doi/1..