Benoît Meister

36 papers A* 1A 1B 8Journal 8Unranked 17
YearRankTypeTitle / Venue / Authors
2021 B conf
HACCLE: metaprogramming for secure multi-party computation.
GPCE
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
2020 — conf
Automatic Mapping and Optimization to Kokkos with Polyhedral Compilation.
HPEC
Muthu Manikandan Baskaran, Charles Jin, Benoît Meister, Jonathan Springer
2020 J jnl
HACCLE: An Ecosystem for Building Secure Multi-Party Computations.
CoRR
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
2019 — conf
Automatic Parallelization to Asynchronous Task-Based Runtimes Through a Generic Runtime Layer.
HPEC
Charles Jin, Muthu Manikandan Baskaran, Benoît Meister, Jonathan Springer
2019 B conf
POSTER: Automatic Parallelization Targeting Asynchronous Task-Based Runtimes.
PACT
Charles Jin, Muthu Manikandan Baskaran, Benoît Meister
2019 J jnl
PUMA-V: Optimizing Parallel Code Performance Through Interactive Visualization.
IEEE Computer Graphics and Applications
Eric Papenhausen, Matthew Harper Langston, Benoît Meister, Richard Lethin, Klaus Mueller
2019 — conf
Polyhedral Tensor Schedulers.
HPCS
Benoît Meister, Eric Papenhausen, Benoît Pradelle
2017 — conf
Polyhedral Optimization of TensorFlow Computation Graphs.
ESPT/VPA@SC
Benoît Pradelle, Benoît Meister, Muthu Manikandan Baskaran, Jonathan Springer, Richard Lethin
2016 J jnl
A sparse multidimensional FFT for real positive vectors.
CoRR
Pierre-David Letourneau, Harper Langston, Benoît Meister, Richard Lethin
2016 B conf
A unified Coq framework for verifying C programs with floating-point computations.
CPP
Tahina Ramananandro, Paul Mountcastle, Benoît Meister, Richard Lethin
2016 — conf
An Interactive Visual Tool for Code Optimization and Parallelization Based on the Polyhedral Model.
ICPP Workshops
Eric Papenhausen, Klaus Mueller, Harper Langston, Benoît Meister, Richard Lethin
2016 — conf
Automatic Code Generation and Data Management for an Asynchronous Task-Based Runtime.
ESPT@SC
Muthu Manikandan Baskaran, Benoît Pradelle, Benoît Meister, Athanasios Konstantinidis, Richard A. Lethin
2016 J jnl
Efficient Compilation to Event-Driven Task Programs.
CoRR
Benoît Meister, Muthu Manikandan Baskaran, Benoît Pradelle, Thomas Henretty, Richard Lethin
2016 — conf
Energy Avoiding Matrix Multiply.
LCPC
Kelly Livingston, Aaron Myles Landwehr, José Monsalve Diaz, Stéphane Zuckerman, Benoît Meister, Guang R. Gao
2016 — conf
Polyhedral compilation for energy efficiency.
HPEC
Benoît Pradelle, Muthu Manikandan Baskaran, Thomas Henretty, Benoît Meister, Athanasios Konstantinidis, Richard Lethin
2016 B conf
Scalable Hierarchical Polyhedral Compilation.
ICPP
Benoît Pradelle, Benoît Meister, Muthu Manikandan Baskaran, Athanasios Konstantinidis, Thomas Henretty, Richard Lethin
2016 — conf
The Open Community Runtime: A runtime system for extreme scale computing.
HPEC
Timothy G. Mattson, Romain Cledat, Vincent Cavé, Vivek Sarkar, Zoran Budimlic, Sanjay Chatterjee, Joshua B. Fryman, Ivan Ganev, Robin Knauerhase, Min Lee, Benoît Meister, Brian Nickerson, Nick Pepperling, Bala Seshasayee, Sagnak Tasirlar, Justin Teller, Nick Vrvilo
2015 — conf
Automatic cluster parallelization and minimizing communication via selective data replication.
HPEC
Sanket Tavarageri, Benoît Meister, Muthu Manikandan Baskaran, Benoît Pradelle, Thomas Henretty, Athanasios Konstantinidis, Ann Johnson, Richard Lethin
2015 — conf
Optimization of symmetric tensor computations.
HPEC
Jonathon Cai, Muthu Manikandan Baskaran, Benoît Meister, Richard Lethin
2015 B conf
Polyhedral user mapping and assistant visualizer tool for the r-stream auto-parallelizing compiler.
VISSOFT
Eric Papenhausen, Bing Wang, Harper Langston, Muthu Manikandan Baskaran, Thomas Henretty, Taku Izubuchi, Ann Johnson, Chulwoo Jung, Meifeng Lin, Benoît Meister, Klaus Mueller, Richard Lethin
2014 J jnl
A Tale of Three Runtimes.
CoRR
Nicolas Vasilache, Muthu Manikandan Baskaran, Thomas Henretty, Benoît Meister, Harper Langston, Sanket Tavarageri, Richard Lethin
2014 B conf
ACDT: Architected Composite Data Types trading-in unfettered data access for improved execution.
ICPADS
Andres Marquez, Joseph B. Manzano, Shuaiwen Leon Song, Benoît Meister, Sunil Shrestha, Thomas St. John, Guang R. Gao
2014 — conf
Low-overhead load-balanced scheduling for sparse tensor computations.
HPEC
Muthu Manikandan Baskaran, Benoît Meister, Richard Lethin
2014 A conf
Parallelizing and optimizing sparse tensor computations.
ICS
Muthu Manikandan Baskaran, Benoît Meister, Richard Lethin
2013 — conf
Memory reuse optimizations in the R-Stream compiler.
GPGPU@ASPLOS
Nicolas Vasilache, Muthu Manikandan Baskaran, Benoît Meister, Richard Lethin
2013 — conf
Re-Introduction of communication-avoiding FMM-accelerated FFTs with GPU acceleration.
HPEC
Harper Langston, Muthu Manikandan Baskaran, Benoît Meister, Nicolas Vasilache, Richard Lethin
2013 A* conf
Runnemede: An architecture for Ubiquitous High-Performance Computing.
HPCA
Nicholas P. Carter, Aditya Agrawal, Shekhar Borkar, Romain Cledat, Howard David, Dave Dunning, Joshua B. Fryman, Ivan Ganev, Roger A. Golliver, Rob C. Knauerhase, Richard Lethin, Benoît Meister, Asit K. Mishra, Wilfred R. Pinfold, Justin Teller, Josep Torrellas, Nicolas Vasilache, Ganesh Venkatesh, Jianping Xu
2012 B conf
Automatic communication optimizations through memory reuse strategies.
PPoPP
Muthu Manikandan Baskaran, Nicolas Vasilache, Benoît Meister, Richard Lethin
2012 — conf
Efficient and scalable computations with sparse tensors.
HPEC
Muthu Manikandan Baskaran, Benoît Meister, Nicolas Vasilache, Richard Lethin
2012 J jnl
Integer affine transformations of parametric ℤ-polytopes and applications to loop nest optimization.
ACM Trans. Archit. Code Optim.
Rachid Seghir, Vincent Loechner, Benoît Meister
2011 — ch.
R-Stream Compiler.
Encyclopedia of Parallel Computing
Benoît Meister, Nicolas Vasilache, David Wohlford, Muthu Manikandan Baskaran, Allen Leung, Richard Lethin
2010 — conf
A mapping path for multi-GPGPU accelerated computers from a portable high level programming abstraction.
GPGPU
Allen Leung, Nicolas Vasilache, Benoît Meister, Muthu Manikandan Baskaran, David Wohlford, Cédric Bastoul, Richard Lethin
2004 B conf
Periodic Polyhedra.
CC
Benoît Meister
2002 J jnl
Precise Data Locality Optimization of Nested Loops.
J. Supercomput.
Vincent Loechner, Benoît Meister, Philippe Clauss
2001 — conf
Data Sequence Locality: A Generalization of Temporal Locality.
Euro-Par
Vincent Loechner, Benoît Meister, Philippe Clauss
2000 J jnl
Automatic memory layout transformations to optimize spatial locality in parameterized loop nests.
SIGARCH Comput. Archit. News
Philippe Clauss, Benoît Meister