R
Richard Lethin
Researcher at Yale University
Publications - 109
Citations - 2059
Richard Lethin is an academic researcher from Yale University. The author has contributed to research in topics: Compiler & Tensor. The author has an hindex of 19, co-authored 108 publications receiving 1969 citations. Previous affiliations of Richard Lethin include Massachusetts Institute of Technology & Fujitsu.
Papers
More filters
Journal ArticleDOI
PUMA-V: Optimizing Parallel Code Performance Through Interactive Visualization
TL;DR: A visualization interface that allows programmers to assist the compiler in generating optimal code is presented that greatly improves the user's understanding of the transformations that took place and aids in making additional transformations in a visually intuitive way.
Proceedings ArticleDOI
Polyhedral compilation for energy efficiency
Benoit Pradelle,Muthu Baskaran,Thomas Henretty,Benoit Meister,Athanasios Konstantinidis,Richard Lethin +5 more
TL;DR: A new energy model is proposed and two associated energy optimizations that can be performed at compilation time, without having to profile the compiled programs, are proposed.
Proceedings ArticleDOI
Approximate Inverse Chain Preconditioner: Iteration Count Case Study for Spectral Support Solvers
M. Harper Langston,Pierre-David Letourneau,Julia Wei,Larry Weintraub,Mitchell Tong Harris,Richard Lethin,Eric Papenhausen,Meifeng Lin +7 more
TL;DR: The AIC preconditioner proposed in this paper is based on spectral support graph theory and can be used for solving symmetric diagonally dominant (SDD) systems of linear equations.
Proceedings ArticleDOI
Evaluation of Stream Virtual Machine on Raw Processor
TL;DR: A high-level compiler is implemented that produces SVM output renderings and SVM implementation and the results show that the SVM framework is generally suitable for streaming applications on Raw processor.
Patent
Systems and methods for providing lockless bimodal queues for selective packet capture
TL;DR: In this article, a fixed-size storage is used for both the producer and the consumer to access the storage without locking it and, to facilitate selective consumption of the packets by the consumer, the consumer can transition between awake and sleep modes where the packets are consumed in the awake mode only.