Publications

56 selected papers, reports, and a thesis. Linked titles open a PDF, arXiv, or the publisher's page.

• 2022
  A Quantitative Theory of Bottleneck Structures for Data Networks

  J. Ros-Giralt, N. Amsel, S. Yellamraju, J. Ezick, R. Lethin, et al.

  arXiv:2210.03534 arXiv
• 2021
  Designing Data Center Networks Using Bottleneck Structures

  J. Ros-Giralt, N. Amsel, S. Yellamraju, J. Ezick, R. Lethin, et al.

  ACM SIGCOMM 2021 doi:10.1145/3452296.3472898
• 2021
  MACH-B: Fast Multipole Method Approaches in Particle Accelerator Simulations for the Computational and Intensity Frontiers

  M.H. Langston, R. Lethin, P. Letourneau, M.J. Morse, J. Wei

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

  M.H. Langston, P. Letourneau, J. Wei, L. Weintraub, M. Harris, R. Lethin, et al.

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

  N. Amsel, J. Ros-Giralt, S. Yellamraju, J. Ezick, B. von Hofe, A. Ryan, R. Lethin

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

  D. Leggas, T.S. Henretty, J. Ezick, M. Baskaran, B. von Hofe, G. Cimaszewski, M.H. Langston, R. Lethin

  IEEE HPEC 2020 doi:10.1109/hpec43674.2020.9286171
• 2019
  Combinatorial Multigrid: Advanced Preconditioners for Ill-Conditioned Linear Systems

  M.H. Langston, M.T. Harris, P.D. Letourneau, R. Lethin, J. Ezick

  IEEE HPEC 2019 doi:10.1109/hpec.2019.8916446
• 2019
  Enhancing Network Visibility and Security Through Tensor Analysis

  M.M. Baskaran, T. Henretty, J. Ezick, R. Lethin, D. 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

  M.T. Harris, M.H. Langston, P.D. Letourneau, G. Papanicolaou, J. Ezick, R. 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

  J. Ros-Giralt, S. Yellamraju, A. Bohara, R. Lethin, et al.

  IEEE/ACM INDIS 2019 doi:10.1109/indis49552.2019.00011
• 2019
  PUMA-V: Optimizing Parallel Code Performance Through Interactive Visualization

  E. Papenhausen, M.H. Langston, B. Meister, R. Lethin, K. Mueller

  IEEE Computer Graphics and Applications 39(1) doi:10.1109/mcg.2018.2877113
• 2018
  All-at-once Decomposition of Coupled Billion-scale Tensors in Apache Spark

  A. Gudibanda, T. Henretty, M. Baskaran, J. Ezick, R. Lethin

  IEEE HPEC 2018 doi:10.1109/hpec.2018.8547544
• 2018
  Topic Modeling for Analysis of Big Data Tensor Decompositions

  T.S. Henretty, M.H. Langston, M. Baskaran, J. Ezick, R. Lethin

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

  M. Baskaran, T. Henretty, B. Pradelle, M.H. Langston, D. Bruns-Smith, J. Ezick, R. Lethin

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

  J. Ros-Giralt, A. Commike, P. Cullen, J. Lucovsky, D. Madathil, R. Lethin

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

  G. Gopalakrishnan, P.D. Hovland, C. Iancu, S. Krishnamoorthy, I. Laguna, et al.

  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

  P.D. Letourneau, M.H. Langston, R. Lethin

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

  P.D. Letourneau, H. Langston, B. Meister, R. Lethin

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

  T. Ramananandro, P. Mountcastle, B. Meister, R. Lethin

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

  M. Baskaran, M.H. Langston, T. Ramananandro, D. Bruns-Smith, T. Henretty, J. Ezick, R. 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

  E. Papenhausen, K. Mueller, M.H. Langston, B. Meister, R. Lethin

  ICPP Workshops 2016 doi:10.1109/icppw.2016.52
• 2016
  Efficient Compilation to Event-Driven Task Programs

  B. Meister, M. Baskaran, B. Pradelle, T. Henretty, R. Lethin

  arXiv:1601.05458 arXiv
• 2016
  Report of the 2014 Programming Models & Environments Summit

  M. Heroux, R. Lethin, S.R. Sachs, M. Garland, M. Hall, L. Kaplan, K. O'Brien, V. Sarkar, J. Shalf, M. Snir, A. Solar-Lezama, T. Sterling, K. Yelick

  U.S. Department of Energy, Office of Science, ASCR PDF OSTI
• 2015
  Automatic Cluster Parallelization and Minimizing Communication via Selective Data Replication

  S. Tavarageri, B. Meister, M. Baskaran, B. Pradelle, T. Henretty, et al.

  IEEE HPEC 2015 (presentation slides) doi:10.1109/hpec.2015.7322481
• 2015
  High-Performance Many-Core Networking: Design and Implementation

  J. Ros-Giralt, A. Commike, D. Honey, R. Lethin

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

  J. Cai, M. Baskaran, B. Meister, R. 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

  E. Papenhausen, B. Wang, M.H. Langston, M. Baskaran, T. Henretty, R. Lethin, et al.

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

  N. Vasilache, M. Baskaran, T. Henretty, B. Meister, M.H. Langston, S. Tavarageri, R. Lethin

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

  J. Ros-Giralt, A. Commike, R. Rotsted, P. Clancy, A. Johnson, R. Lethin

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

  M. Baskaran, B. Meister, R. Lethin

  IEEE HPEC 2014 doi:10.1109/hpec.2014.7041006
• 2014
  Top Ten Exascale Research Challenges

  R. Lucas, J. Ang, K. Bergman, S. Borkar, W. Carlson, L. Carrington, G. Chiu, R. Lethin, et al.

  DOE ASCAC Subcommittee Report PDF OSTI
• 2013
  Runnemede: An Architecture for Ubiquitous High-Performance Computing

  N.P. Carter, A. Agrawal, S. Borkar, R. Cledat, H. David, D. Dunning, et al., R. Lethin, et al.

  IEEE HPCA-19 doi:10.1109/hpca.2013.6522319
• 2012
  Efficient and Scalable Computations with Sparse Tensors

  M. Baskaran, B. Meister, N. Vasilache, R. Lethin

  IEEE HPEC 2012 doi:10.1109/hpec.2012.6408676
• 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)
• 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

  S. Booth, D. Campbell, A. Chien, R. Lethin, L. Mullin, A. Rodrigues, R. Sass, et al.

  Report of the 2011 DOE Workshop on Architectures II PDF OSTI
• 2008
  Tera-Op Reliable Intelligently Adaptive Processing System (TRIPS) Implementation

  S.W. Keckler, D. Burger, K.S. McKinley, S. Crago, R. Lethin

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

  Lockheed Martin Corporation

  AFRL-RI-RS-TR-2008-137, Final Report PDF DTIC
• 2006
  Enabling Cognitive Architectures for UAV Mission Planning

  J. Russo, M. Amduka, K. Pedersen, R. Lethin, R. Manohar, R. Melhem

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

  E. Schweitz, R. Lethin, A. Leung, B. Meister

  IEEE HPEC 2006
• 2006
  Runtime Verification of Cognitive Applications

  J. Springer, D. Nguyen, R. Lethin

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

  R. Lethin, J. Ezick, S. Luckenbill, D. Nguyen, J. Starks, P. Szilagyi

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

  J. Ezick, S. Luckenbill, D. Nguyen, P. Szilagyi, R. Lethin

  ACM/IEEE Supercomputing 2006 (poster) doi:10.1145/1188455.1188640
• 2004
  R-Stream 3.0: Technologies for High Level Embedded Application Mapping

  R. Lethin

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

  R. Lethin

  Communications of the ACM (guest-editor introduction) 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

  J. Bank, C. Garrett, R. 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

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

  ISCA (25 Years Retrospective) 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

  R.P. Colwell, R.A. Lethin

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

  W.J. Dally, D.S. Wills, R. 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

  R.A. Lethin, W.J. Dally

  IEEE ICCD doi:10.1109/iccd.1992.276306
• 1992
  The Message-Driven Processor: A Multicomputer Processing Node with Efficient Mechanisms

  W.J. Dally, J.A.S. Fiske, J.S. Keen, R.A. Lethin, M.D. Noakes, P.R. Nuth, et al.

  IEEE Micro 12(2) doi:10.1109/40.127581
• 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