Publications

106 papers, reports, and theses, newest first. Linked titles open a PDF, arXiv, or the publisher's page.

• 2022
  A Quantitative Theory of Bottleneck Structures for Data Networks

  Jordi Ros-Giralt, Noah Amsel, Sruthi Yellamraju, James Ezick, Richard Lethin, Yuang Jiang, Aosong Feng, Leandros Tassiulas

  arXiv:2210.03534 arXiv
• 2022
  Fast Multipole Method (FMM)-Based Particle Accelerator Simulations in the Context of Tune Depression Studies

  MH Langston, R Lethin, PD Letourneau, J Wei

  18th International Conference on Accelerator and Large Experimental Physics
• 2021
  Boundary Integral Solver Approaches for Particle Accelerator Simulation Problems and Deployment on NERSC Hardware

  Julia Wei, M. Harper Langston, Pierre-David Letourneau, Matthew J. Morse, Larry Weintraub, Aimee Nogoy, Noah Amsel, Richard Lethin

  2021 IEEE High Performance Extreme Computing Conference (HPEC) doi:10.1109/hpec49654.2021.9622793
• 2021
  Designing Data Center Networks Using Bottleneck Structures

  Jordi Ros-Giralt, Noah Amsel, Sruthi Yellamraju, James Ezick, Richard Lethin, Yuang Jiang, Aosong Feng, Leandros Tassiulas, Zhenguo Wu, Min Yee Teh, Keren Bergman

  ACM SIGCOMM 2021 doi:10.1145/3452296.3472898
• 2021
  MACH-B-Multipole Accelerator Codes for Hadron Beams DOE Phase I Final Technical Report

  MH Langston, PD Letourneau, J Wei, R Lethin, A Ryan

  Reservoir Labs
• 2021
  MACH-B: Fast Multipole Method Approaches in Particle Accelerator Simulations for the Computational and Intensity Frontiers

  M. Harper Langston, Richard Lethin, Pierre-David Letourneau, Matthew J. Morse, Julia Wei

  IPAC'21
• 2020
  Approximate Inverse Chain Preconditioner: Iteration Count Case Study for Spectral Support Solvers

  M. Harper Langston, Pierre-David Letourneau, Julia Wei, Larry Weintraub, Mitchell Harris, Richard Lethin, Eric Papenhausen, Akai Kaeru, Meifeng Lin

  IEEE HPEC 2020 doi:10.1109/hpec43674.2020.9286201
• 2020
  Computing Bottleneck Structures at Scale for High-Precision Network Performance Analysis

  Noah Amsel, Jordi Ros-Giralt, Sruthi Yellamraju, James Ezick, Brendan von Hofe, Alison Ryan, Richard Lethin

  IEEE/ACM INDIS 2020 doi:10.1109/indis51933.2020.00012
• 2020
  Multiscale Data Analysis Using Binning, Tensor Decompositions, and Backtracking

  Dimitri Leggas, Thomas S. Henretty, James Ezick, Muthu Baskaran, Brendan von Hofe, Grace Cimaszewski, M. Harper Langston, and Richard Lethin

  IEEE HPEC 2020 doi:10.1109/hpec43674.2020.9286171
• 2020
  On the Bottleneck Structure of Congestion-Controlled Networks

  Jordi Ros-Giralt, Atul Bohara, Sruthi Yellamraju, M. Harper Langston, Richard Lethin, Yuang Jiang, Leandros Tassiulas, Josie Li, Yuanlong Tan, Malathi Veeraraghavan

  Proceedings of the ACM on Measurement and Analysis of Computing Systems doi:10.1145/3366707
• 2019
  A Company with Values

  Richard Lethin

  Chapter in Find Your Path (MIT Press), 2019 doi:10.7551/mitpress/12391.003.0010
• 2019
  Combinatorial Multigrid: Advanced Preconditioners for Ill-Conditioned Linear Systems

  M. Harper Langston, Mitchell Tong Harris, Pierre-David Letourneau, Richard Lethin, James Ezick

  IEEE HPEC 2019 doi:10.1109/hpec.2019.8916446
• 2019
  Combining Tensor Decompositions and Graph Analytics to Provide Cyber Situational Awareness at HPC Scale

  James Ezick, Tom Henretty, Muthu Baskaran, Richard Lethin, John Feo, Tai-Ching Tuan, Christopher Coley, Leslie Leonard, Rajeev Agrawal, Ben Parsons, William Glodek

  2019 IEEE High Performance Extreme Computing Conference (HPEC) doi:10.1109/hpec.2019.8916559
• 2019
  Enhancing Network Visibility and Security Through Tensor Analysis

  Muthu M. Baskaran, Thomas Henretty, James Ezick, Richard Lethin, David Bruns-Smith

  Future Generation Computer Systems 96 doi:10.1016/j.future.2019.01.039
• 2019
  Fast Large-Scale Algorithm for Electromagnetic Wave Propagation in 3D Media

  Mitchell Tong Harris, M. Harper Langston, Pierre-David Letourneau, George Papanicolaou, James Ezick, Richard Lethin

  IEEE HPEC 2019 doi:10.1109/hpec.2019.8916219
• 2019
  G2: A Network Optimization Framework for High-Precision Analysis of Bottleneck and Flow Performance

  Jordi Ros-Giralt, Sruthi Yellamraju, Atul Bohara, Harper Langston, Richard Lethin, Yuang Jiang, Leandros Tassiulas, Josie Li, Ying Lin, Yuanlong Tan, Malathi Veeraraghavan

  IEEE/ACM INDIS 2019 doi:10.1109/indis49552.2019.00011
• 2019
  On the Bottleneck Structure of Positive Linear Programming

  Jordi Ros-Giralt, Harper Langston, Aditya Gudibanda, Richard Lethin

  2019 SIAM Workshop on Network Science
• 2019
  PUMA-V: Optimizing Parallel Code Performance Through Interactive Visualization

  Eric Papenhausen, M. Harper Langston, Benoit Meister, Richard Lethin, Klaus Mueller

  IEEE Computer Graphics and Applications 39(1) doi:10.1109/mcg.2018.2877113
• 2019
  Polyhedral Optimization of TensorFlow Computation Graphs

  Benoît Pradelle, Benoît Meister, Muthu Baskaran, Jonathan Springer, Richard Lethin

  International Workshop on Extreme-Scale Programming Tools (ESPT 2017), LNCS doi:10.1007/978-3-030-17872-7_5
• 2019
  Selective Packet Capture at High Speed Rates

  Jordi Ros-Giralt, Peter Cullen, Kelly Fox, James Ezick, Richard Lethin

  Zeek (Bro) Workshop 2019, CERN, Switzerland
• 2018
  Accelerating Dijkstra's Algorithm Using Multiresolution Priority Queues

  Jordi Ros-Giralt, Alan Commike, Peter Cullen, Richard Lethin

  2018 IEEE High Performance extreme Computing Conference (HPEC) doi:10.1109/hpec.2018.8547539
• 2018
  Algorithms and Data Structures to Accelerate Network Analysis

  Jordi Ros-Giralt, Alan Commike, Peter Cullen, Richard Lethin

  Future Generation Computer Systems 86, 2018 (extended version of the INDIS 2017 paper) doi:10.1016/j.future.2018.04.034
• 2018
  All-at-once Decomposition of Coupled Billion-scale Tensors in Apache Spark

  Aditya Gudibanda, Tom Henretty, Muthu Baskaran, James Ezick, Richard Lethin

  IEEE HPEC 2018 doi:10.1109/hpec.2018.8547544
• 2018
  Computationally Efficient CP Tensor Decomposition Update Framework for Emerging Component Discovery in Streaming Data

  Pierre-David Letourneau, Muthu Baskaran, Tom Henretty, James Ezick, Richard Lethin

  2018 IEEE High Performance extreme Computing Conference (HPEC) doi:10.1109/hpec.2018.8547700
• 2018
  Fast Detection of Elephant Flows with Dirichlet-Categorical Inference

  Aditya Gudibanda, Jordi Ros-Giralt, Alan Commike, Richard Lethin

  2018 IEEE/ACM Innovating the Network for Data-Intensive Science (INDIS) doi:10.1109/indis.2018.00005
• 2018
  Topic Modeling for Analysis of Big Data Tensor Decompositions

  Thomas S. Henretty, Muthu Baskaran, James Ezick, Richard Lethin, M. Harper Langston

  SPIE Disruptive Technologies in Information Sciences doi:10.1117/12.2306933
• 2017
  Memory-efficient Parallel Tensor Decompositions

  Muthu Baskaran, Tom Henretty, Benoit Pradelle, M. Harper Langston, David Bruns-Smith, James Ezick, Richard Lethin

  IEEE HPEC 2017 (Best Paper) doi:10.1109/hpec.2017.8091026
• 2017
  Multiresolution Priority Queues

  Jordi Ros-Giralt, Alan Commike, Peter Cullen, Jeff Lucovsky, Dilip Madathil, Richard Lethin

  arXiv:1705.09642 arXiv
• 2017
  Report of the HPC Correctness Summit

  Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama

  arXiv:1705.07478 arXiv
• 2016
  A Sparse Multi-Dimensional Fast Fourier Transform with Stability to Noise in the Context of Image Processing and Change Detection

  Pierre-David Letourneau, M. Harper Langston, Richard Lethin

  IEEE HPEC 2016 doi:10.1109/hpec.2016.7761579
• 2016
  A Sparse Multidimensional FFT for Real Positive Vectors

  Pierre-David Letourneau, Harper Langston, Benoit Meister, Richard Lethin

  arXiv:1604.06682 arXiv
• 2016
  A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

  Tahina Ramananandro, Paul Mountcastle, Benoît Meister, Richard Lethin

  ACM CPP 2016 doi:10.1145/2854065.2854066
• 2016
  Accelerated Low-rank Updates to Tensor Decompositions

  Muthu Baskaran, M. Harper Langston, Tahina Ramananandro, David Bruns-Smith, Tom Henretty, James Ezick, Richard Lethin

  IEEE HPEC 2016 doi:10.1109/hpec.2016.7761607
• 2016
  An Interactive Visual Tool for Code Optimization and Parallelization Based on the Polyhedral Model

  Eric Papenhausen, Klaus Mueller, M. Harper Langston, Benoit Meister, Richard Lethin

  ICPP Workshops 2016 doi:10.1109/icppw.2016.52
• 2016
  Automatic Code Generation and Data Management for an Asynchronous Task-based Runtime

  Muthu Baskaran, Benoît Pradelle, Benoît Meister, Athanasios Konstantinidis, and Richard Lethin

  2016 5th Workshop on Extreme-Scale Programming Tools (ESPT) doi:10.1109/espt.2016.009
• 2016
  Cyber Security through Multidimensional Data Decompositions

  David Bruns-Smith, Muthu M. Baskaran, James Ezick, Tom Henretty, Richard Lethin

  2016 Cybersecurity Symposium (CYBERSEC) doi:10.1109/cybersec.2016.017
• 2016
  Efficient Compilation to Event-Driven Task Programs

  Benoit Meister, Muthu Baskaran, Benoit Pradelle, Thomas Henretty, Richard Lethin

  arXiv:1601.05458 arXiv
• 2016
  High-performance algorithms and data structures to catch elephant flows

  Jordi Ros-Giralt, Alan Commike, Richard Lethin, Sourav Maji, Malathi Veeraraghavan

  2016 IEEE High Performance Extreme Computing Conference (HPEC) doi:10.1109/hpec.2016.7761600
• 2016
  Highly Scalable Near Memory Processing with Migrating Threads on the Emu System Architecture

  Timothy Dysart, Peter Kogge, Martin Deneroff, Eric Bovell, Preston Briggs, Jay Brockman, Kenneth Jacobsen, Yujen Juan, Shannon Kuntz, Richard Lethin, Janice McMahon, Chandra Pawar, Martin Perrigo, Sarah Rucker, John Ruttenberg, Max Ruttenberg, Steve Stein

  2016 6th Workshop on Irregular Applications: Architecture and Algorithms (IA3) doi:10.1109/ia3.2016.007
• 2016
  PUMA-V: An Interactive Visual Tool for Code Optimization and Parallelization Based on the Polyhedral Model

  Eric Papenhausen, Klaus Mueller, Harper Langston, Benoit Meister, Richard Lethin

  2016 New York Scientific Data Summit (NYSDS) doi:10.1109/nysds.2016.7747826
• 2016
  Polyhedral Compilation for Energy Efficiency

  Benoit Pradelle, Muthu Baskaran, Tom Henretty, Benoit Meister, Athanasios Konstantinidis, Richard Lethin

  2016 IEEE High Performance Extreme Computing Conference (HPEC) doi:10.1109/hpec.2016.7761595
• 2016
  Report of the 2014 Programming Models & Environments Summit

  Michael Heroux, Richard Lethin, Sonia R. Sachs, Michael Garland, Mary Hall, Larry Kaplan, Kathryn O’Brien, Vivek Sarkar, John Shalf, Marc Snir, Armando Solar-Lezama, Thomas Sterling, Katherine Yelick

  U.S. Department of Energy, Office of Science, ASCR PDF OSTI
• 2016
  Report of the 2014 Runtime Systems Summit

  Ron Brightwell, Andrew A. Chien, Maya Gokhale, Laxmikant Kale, Milind Kulkarni, Richard Lethin, Wilfred Pinfold, Vijay Saraswat, Vivek Sarkar, Thomas Sterling, Katherine Yelick, Sonia R. Sachs

  U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research (ASCR), September 2016
• 2016
  Scalable Hierarchical Polyhedral Compilation

  Benoit Pradelle, Benoit Meister, Muthu Baskaran, Athanasios Konstantinidis, Thomas Henretty, Richard Lethin

  2016 45th International Conference on Parallel Processing (ICPP) doi:10.1109/icpp.2016.56
• 2015
  Automatic Cluster Parallelization and Minimizing Communication via Selective Data Replication

  Sanket Tavarageri, Benoit Meister, Muthu Baskaran, Benoit Pradelle, Tom Henretty, Athanasios Konstantinidis, Ann Johnson, Richard Lethin

  IEEE HPEC 2015 (presentation slides) doi:10.1109/hpec.2015.7322481
• 2015
  Embedded Second-Order Cone Programming with Radar Applications

  Paul Mountcastle, Tom Henretty, Aale Naqvi, Richard Lethin

  2015 IEEE High Performance Extreme Computing Conference (HPEC) doi:10.1109/hpec.2015.7322454
• 2015
  High-Performance Many-Core Networking: Design and Implementation

  Jordi Ros-Giralt, Alan Commike, Daniel Honey, Richard Lethin

  2nd Workshop on INDIS doi:10.1145/2830318.2830319
• 2015
  Optimization of Symmetric Tensor Computations

  Jonathon Cai, Muthu Baskaran, Benoit Meister, Richard Lethin

  IEEE HPEC 2015 doi:10.1109/hpec.2015.7322458
• 2015
  Polyhedral User Mapping and Assistant Visualizer Tool for the R-Stream Auto-Parallelizing Compiler

  Eric Papenhausen, Bing Wang, M. Harper Langston, Muthu Baskaran, Tom Henretty, Taku Izubuchi, Ann Johnson, Chulwoo Jung, Meifeng Lin, Benoit Meister, Klaus Mueller, Richard Lethin

  IEEE VISSOFT 2015 doi:10.1109/vissoft.2015.7332433
• 2014
  A Tale of Three Runtimes

  Nicolas Vasilache, Muthu Baskaran, Tom Henretty, Benoit Meister, M. Harper Langston, Sanket Tavarageri, Richard Lethin

  arXiv:1409.1914 arXiv
• 2014
  Lockless Hash Tables with Low False Negatives

  Jordi Ros-Giralt, Alan Commike, Robert Rotsted, Patrick Clancy, Ann Johnson, Richard Lethin

  IEEE HPEC 2014 doi:10.1109/hpec.2014.7040975
• 2014
  Low-Overhead Load-Balanced Scheduling for Sparse Tensor Computations

  Muthu Baskaran, Benoit Meister, Richard Lethin

  IEEE HPEC 2014 doi:10.1109/hpec.2014.7041006
• 2014
  Parallelizing and Optimizing Sparse Tensor Computations

  Muthu Manikandan Baskaran, Benoit Meister, Richard Lethin

  Proceedings of the 28th ACM international conference on Supercomputing doi:10.1145/2597652.2600115
• 2014
  Top Ten Exascale Research Challenges

  Robert Lucas, James Ang, Keren Bergman, Shekhar Borkar, William Carlson, Laura Carrington, George Chiu, Robert Colwell, William Dally, Jack Dongarra, Al Geist, Grider, Gary Los Alamos National Laboratory, Rud Haring, Jeffrey Hittinger, Adolfy Hoisie, Dean Micron Klein, Peter Kogge, Richard Lethin, Vivek Sarkar, Robert Schreiber, John Shalf, Thomas Sterling, Rick Stevens, Jon Bashor, Ron Brightwell, Paul Coteus, Erik Debenedictus, Jon Hiller, K. H. Kim, Harper Langston, Laros III, James Sandia National Laboratories, Leyffer, Sven Argonne National Laboratory, Richard Micron Murphy, Ross, Rob Argonne National Laboratory, Clayton Webster, Stefan Wild

  DOE ASCAC Subcommittee Report PDF OSTI
• 2013
  Memory Reuse Optimizations in the R-Stream Compiler

  Nicolas Vasilache, Muthu Baskaran, Benoit Meister, Richard Lethin

  Proceedings of the 6th Workshop on General Purpose Processor Using Graphics Processing Units doi:10.1145/2458523.2458528
• 2013
  Re-introduction of Communication-Avoiding FMM-Accelerated FFTs with GPU Acceleration

  M. Harper Langston, Muthu Baskaran, Benoit Meister, Nicolas Vasilache, Richard Lethin

  2013 IEEE High Performance Extreme Computing Conference (HPEC) doi:10.1109/hpec.2013.6670352
• 2013
  Runnemede: An Architecture for Ubiquitous High-Performance Computing

  N. P. Carter, A. Agrawal, S. Borkar, R. Cledat, H. David, D. Dunning, J. Fryman, I. Ganev, R. A. Golliver, R. Knauerhase, R. Lethin, B. Meister, A. K. Mishra, W. R. Pinfold, J. Teller, J. Torrellas, N. Vasilache, G. Venkatesh, J. Xu

  IEEE HPCA-19 doi:10.1109/hpca.2013.6522319
• 2012
  Automatic Communication Optimizations through Memory Reuse Strategies

  Muthu Manikandan Baskaran, Nicolas Vasilache, Benoit Meister, Richard Lethin

  Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming doi:10.1145/2145816.2145852
• 2012
  BFS Preconditioning for high locality, data parallel BFS algorithms

  Nicolas Vasilache, Benoit Meister, Muthu Baskaran, Richard Lethin

  CnC-2012
• 2012
  Efficient and Scalable Computations with Sparse Tensors

  Muthu Baskaran, Benoit Meister, Nicolas Vasilache, Richard Lethin

  IEEE HPEC 2012 doi:10.1109/hpec.2012.6408676
• 2012
  Joint Scheduling and Layout Optimization to Enable Multi-Level Vectorization

  Nicolas Vasilache, Benoit Meister, Muthu Baskaran, Richard Lethin

  IMPACT 2012
• 2012
  Sane: An Array Language for Sensor Applications

  B. Meister, D. Wohlford, J. Springer, M. Baskaran, N. Vasilache, R. Lethin, et al.

  WOLFHPC 2012 (presentation slides)
• 2012
  Scalable Cyber-Security for Terabit Cloud Computing

  Jordi Ros-Giralt, Peter Szilagyi, Richard Lethin

  2012 SC Companion: High Performance Computing, Networking Storage and Analysis doi:10.1109/sc.companion.2012.338
• 2012
  Trading Off Memory For Parallelism Quality

  Nicolas Vasilache, Benoit Meister, Albert Hartono, Muthu Baskaran, David Wohlford, Richard Lethin

  IMPACT 2012
• 2011
  Automatic generation of GPU-accelerated code for seismic stencil applications

  Muthu Baskaran, Nicolas Vasilache, Benoit Meister, Kaushik Datta, Albert Hartono, Richard Lethin

  International Meeting for Applied Geoscience & Energy doi:10.1190/1.3627919
• 2011
  Exascale Programming Challenges

  S. Amarasinghe, M. Hall, R. Lethin, K. Pingali, D. Quinlan, V. Sarkar, J. Shalf, et al.

  DOE Workshop on Exascale Programming Challenges, Marina del Rey PDF DOE
• 2011
  Exascale and Beyond: Configuring, Reasoning, Scaling

  Stephen Booth, Dan Campbell, Andrew Chien, Richard Lethin, Lenore Mullin, Arun Rodrigues, Ron Sass, John Shalf, Mark Snir, Tom Sterling

  Report of the 2011 DOE Workshop on Architectures II PDF OSTI
• 2011
  R-Stream Compiler

  Christoph von Praun, Christoph von Praun, Jeremy T. Fineman, Charles E. Leiserson, Efstratios Gallopoulos, Marc Snir, Michael Heath, Don Grice, Andrew B. White, Pedro López, Benoit Meister, Nicolas Vasilache, David Wohlford, Muthu Manikandan Baskaran, Allen Leung, Richard Lethin, Joel H. Saltz, Raja Das

  Encyclopedia of Parallel Computing doi:10.1007/978-0-387-09766-4_515
• 2010
  A Mapping Path for Multi-GPGPU Accelerated Computers from a Portable High Level Programming Abstraction

  Allen Leung, Nicolas Vasilache, Benoît Meister, Muthu Manikandan Baskaran, David Wohlford, Cédric Bastoul, Richard Lethin

  Proceedings of the 3rd Workshop on General-Purpose Computation on Graphics Processing Units doi:10.1145/1735688.1735698
• 2010
  Accelerating Regular Expression Processing Using Hardware DFA Engines

  Jordi Ros-Giralt, Peter Szilagyi, Richard Lethin

  The Annual Computer Security Applications Conference (ACSAC), Austin, TX, USA, 2010
• 2010
  Auto-tuning within the R-Stream Compiler

  K Datta, N Vasilache, R Lethin

  Proc. 1st Int'l Workshop Automatic Performance Tuning (IWAPT 10)
• 2010
  Automatic Parallelization and Locality Optimization of Beamforming Algorithms

  Albert Hartono, Nicolas Vasilache, Cédric Bastoul, Allen Leung, Benoît Meister, Richard Lethin, Peter Vouras

  High Performance Embedded Computing Workshop, MIT Lincoln Labs, 2010
• 2010
  Generation of High-Performance Protocol-Aware Analyzers with Applications in Intrusion Detection Systems

  Jordi Ros-Giralt, Peter Szilagyi, James Ezick, David Wohlford, Richard Lethin

  SPIE Proceedings doi:10.1117/12.848702
• 2009
  Compilers for Embedded Systems

  Benoît Meister, Allen Leung, David Wohlford, Nicolas Vasilache, Cédric Bastoul, Muthu Manikandan Baskaran, Richard Lethin

  The Embedded Systems Week, Grenoble, France, October, 2009
• 2009
  Extended Static Control Programs as a Programming Model for Accelerators: A Case Study

  Cédric Bastoul, Nicolas Vasilache, Allen Leung, Benoît Meister, David Wohlford, Richard Lethin

  Workshop on Programming Models for Emerging Architectures (PMEA), 2009
• 2009
  How VLIW almost disappeared - and then proliferated

  R. Lethin

  IEEE Solid-State Circuits Magazine doi:10.1109/mssc.2009.933431
• 2009
  Productivity via Automatic Code Generation for PGAS Platforms with the R-Stream Compiler

  Benoît Meister, Allen Leung, Nicolas Vasilache, David Wohlford, Cédric Bastoul, Richard Lethin

  The Workshop on Asynchrony in the PGAS Programming Model (APGAS), Yorktown Heights, NY, 2009
• 2008
  Final Report on the R-Stream 3.0 Compiler

  Richard Lethin, Allen Leung, Benoît Meister, Peter Szilagyi, Nicolas Vasilache, David Wohlford

  AFRL-RI-RS-TR-2008-160, Final Report (DTIC)
• 2008
  Tera-Op Reliable Intelligently Adaptive Processing System (TRIPS) Implementation

  Stephen W. Keckler, Doug Burger, Kathryn S. McKinley, Steve Crago, Richard Lethin

  AFRL-RI-WP-TR-2008-1529, Final Report PDF DTIC
• 2008
  The Design of a Polymorphous Cognitive Agent Architecture (PCAA)

  Mohammed Amduka, Jon Russo, Krishna Jha, Andre DeHon, Richard Lethin, Jonathan Springer, Rajit Manohar, Rami Melhem, Bob Wray, Christian Lebiere

  AFRL-RI-RS-TR-2008-137, Final Report PDF DTIC
• 2007
  Evaluation of Stream Virtual Machine on Raw Processor

  Jinwoo Suh, Richard Lethin, Stephen P. Crago, Janice O. McMahon, Dong-In Kang

  2007 IEEE International Parallel and Distributed Processing Symposium doi:10.1109/ipdps.2007.370403
• 2007
  The Road to Improving the Performance of Satisfiability Solvers Using HPC

  J. Ezick, R. Lethin

  2007 DoD High Performance Computing Modernization Program Users Group Conference doi:10.1109/hpcmp-ugc.2007.74
• 2006
  Alef Parallel SAT Solver for HPC Hardware

  James R Ezick, Samuel B Luckenbill, Donald Nguyen, Peter Szilagyi, John Starks, Richard A Lethin

  ACM/IEEE Supercomputing (SC) 2006 (poster) doi:10.1145/1188455.1188640
• 2006
  Alef Verification and Planning System

  Samuel Luckenbill, James Ezick, Donald Nguyen, Peter Szilagyi, Richard Lethin

  The 48th Annual Cray User Group (CUG) Technical Conference, Lugano, Switzerland, 2006
• 2006
  Enabling Cognitive Architectures for UAV Mission Planning

  Jon Russo, Mohammed Amduka, Keith Pedersen, Richard Lethin, Boris Gelfand, Jonathan Springer, Rajit Manohar, Rami Melham

  IEEE HPEC 2006 (Awards Session)
• 2006
  R-Stream: A Parametric High Level Compiler

  Eric Schweitz, Richard Lethin, Allen Leung, Benoit Meister

  IEEE HPEC 2006
• 2006
  Runtime Verification of Cognitive Applications

  Jonathan Springer, Donald Nguyen, Richard Lethin

  IEEE HPEC 2006
• 2006
  SAT Solvers for Investigation of Architectures for Cognitive Information Processing

  Richard Lethin, James Ezick, Samuel Luckenbill, Donald Nguyen, Peter Szilagyi, John Starks

  IEEE HPEC 2006
• 2006
  Salt & Alef: Unlocking the Power of Boolean Satisfiability

  James Ezick, Samuel Luckenbill, Donald Nguyen, Peter Szilagyi, Richard Lethin

  High Performance Embedded Computing Workshop (HPEC) 2006; Supercomputing 2006 (poster)
• 2004
  R-Stream 3.0: Technologies for High Level Embedded Application Mapping

  Richard Lethin, Peter Mattson, Eric Shweitz, Allen Leung, Vass Litvinov, Michael Engle, Charlie Garrett

  IEEE HPEC 2004 (abstract)
• 2003
  Technical and Social Components of Peer-to-Peer Computing

  Richard Lethin

  Communications of the ACM 46(2), 2003 (guest editor, special issue on peer-to-peer systems) doi:10.1145/606272.606296
• 2002
  Streaming and Dynamic Compilers for High Performance Embedded Computing

  P. Mattson, J. Springer, C. Garrett, R. Lethin

  HPEC 2002 (presentation slides)
• 2001
  Dynamic Optimization in the Mainframe World

  Joseph Bank, Charlie Garrett, Richard Lethin

  4th Feedback Directed Dynamic Optimization Workshop
• 2001
  Reputation Systems

  Richard Lethin

  Chapter 17, Peer-to-Peer: Harnessing the Power of Disruptive Technologies, O'Reilly
• 1998
  The J-Machine: A Retrospective

  William J. Dally, Andrew Chien, Stuart Fiske, Waldemar Horwat, Richard Lethin, Michael Noakes, Peter Nuth, Ellen Spertus, Deborah Wallach, D. Scott Wills, Andrew Chang, John Keen

  25 Years of the International Symposia on Computer Architecture (ISCA), 1998 doi:10.1145/285930.285953
• 1997
  Message-Driven Dynamics

  Richard A. Lethin

  Ph.D. Thesis, Massachusetts Institute of Technology PDF MIT
• 1994
  Latent Design Faults in the Development of the Multiflow TRACE/200

  Robert Colwell, Richard Lethin

  IEEE Transactions on Reliability 43(4) doi:10.1109/24.370226
• 1993
  Mechanisms for Parallel Computers

  William J. Dally, D. Scott Wills, Richard Lethin

  NATO Advanced Study Institute on Parallel Computing on Distributed Memory Multiprocessors doi:10.1007/978-3-642-58066-6_1
• 1992
  Design and Implementation of the Message-Driven Processor

  W.J. Dally, S. Ahmed, P. Carrick, A. Chien, R. Davison, J. Fiske, G. Fyler, et al., R. Lethin, et al.

  Brown/MIT Conference on Advanced Research in VLSI and Parallel Systems
• 1992
  MDP Design Tools and Methods

  Richard Lethin, Bill Dally

  IEEE ICCD doi:10.1109/iccd.1992.276306
• 1992
  The J-Machine: A fine-grain parallel computer

  W.J. Dally, A. Chien, R. Davison, J.A.S. Fiske, S. Furman, G. Fyler, D.B. Gaunce, W. Horwat, S. Kaneshiro, J.S. Keen, R.A. Lethin, M. Noakes, P.R. Nuth, E. Spertus, B. Totty, D. Wallach, D.S. Wills

  Computing Systems in Engineering doi:10.1016/0956-0521(92)90089-2
• 1992
  The Message Driven Processor: an integrated multicomputer processing element

  W.J. Dally, A. Chien, J.A.S. Fiske, G. Fyler, W. Horwat, J.S. Keen, R.A. Lethin, M. Noakes, P.R. Nuth, D.S. Wills

  Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors doi:10.1109/iccd.1992.276304
• 1992
  The Message-Driven Processor: A Multicomputer Processing Node with Efficient Mechanisms

  Bill Dally, Stuart Fiske, John Keen, Richard Lethin, Michael Noakes, Peter Nuth, Roy Davison, Gregory Fyler

  IEEE Micro 12(2) doi:10.1109/40.127581
• 1991
  A simulator for the message driven processor

  RA Lethin

  Massachusetts Institute of Technology, Department of Electrical Engineering
• 1991
  The Message-Driven Processor

  LAS Fiske, RA Lethin, PR Nuth

  Hot Chips III Symposium, 1991
• 1989
  The J-Machine: A Fine-Grain Concurrent Computer

  W.J. Dally, A. Chien, S. Fiske, W. Horwat, J. Keen, M. Larivee, R. Lethin, et al.

  IFIP Congress