Skip to content

Benot Meister

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

12

Active years

2001–2021

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2021GPCEHACCLE: metaprogramming for secure multi-party computation.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, Benot Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
2017SCPolyhedral Optimization of TensorFlow Computation Graphs.Benot Pradelle, Benot Meister, Muthu Manikandan Baskaran, Jonathan Springer, Richard Lethin
2016CPPA unified Coq framework for verifying C programs with floating-point computations.Tahina Ramananandro, Paul Mountcastle, Benot Meister, Richard Lethin
2016ICPPScalable Hierarchical Polyhedral Compilation.Benot Pradelle, Benot Meister, Muthu Manikandan Baskaran, Athanasios Konstantinidis, Thomas Henretty, Richard Lethin
2016SCAutomatic Code Generation and Data Management for an Asynchronous Task-Based Runtime.Muthu Manikandan Baskaran, Benot Pradelle, Benot Meister, Athanasios Konstantinidis, Richard A. Lethin
2015VISSOFTPolyhedral user mapping and assistant visualizer tool for the r-stream auto-parallelizing compiler.Eric Papenhausen, Bing Wang, Harper Langston, Muthu Manikandan Baskaran, Thomas Henretty, Taku Izubuchi, Ann Johnson, Chulwoo Jung, Meifeng Lin, Benot Meister, Klaus Mueller, Richard Lethin
2014ICPADSACDT: Architected Composite Data Types trading-in unfettered data access for improved execution.Andres Marquez, Joseph B. Manzano, Shuaiwen Leon Song, Benot Meister, Sunil Shrestha, Thomas St. John, Guang R. Gao
2014ICSParallelizing and optimizing sparse tensor computations.Muthu Manikandan Baskaran, Benot Meister, Richard Lethin
2013ASPLOSMemory reuse optimizations in the R-Stream compiler.Nicolas Vasilache, Muthu Manikandan Baskaran, Benot Meister, Richard Lethin
2013HPCARunnemede: An architecture for Ubiquitous High-Performance Computing.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, Benot Meister, Asit K. Mishra, Wilfred R. Pinfold, Justin Teller, Josep Torrellas, Nicolas Vasilache, Ganesh Venkatesh, Jianping Xu
2012PPoPPAutomatic communication optimizations through memory reuse strategies.Muthu Manikandan Baskaran, Nicolas Vasilache, Benot Meister, Richard Lethin
2010ASPLOSA mapping path for multi-GPGPU accelerated computers from a portable high level programming abstraction.Allen Leung, Nicolas Vasilache, Benot Meister, Muthu Manikandan Baskaran, David Wohlford, Cdric Bastoul, Richard Lethin
2004CCPeriodic Polyhedra.Benot Meister
2001EuroParData Sequence Locality: A Generalization of Temporal Locality.Vincent Loechner, Benot Meister, Philippe Clauss