Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment. - Dennis Abts; Mike Roberts (DAC, 1999)

A Balanced Approach to High-Level Verification: Performance Trade-Offs in Verifying Large-Scale Multiprocessors. - Dennis Abts; Mike Roberts; David J. Lilja (ICPP, 2000)

So Many States, So Little Time: Verifying Memory Coherence in the Cray X1. - Dennis Abts; Steve Scott; David J. Lilja (IPDPS, 2003)

State Pruning for Test Vector Generation for a Multiprocessor Cache Coherence Protocol. - Ying Chen; Dennis Abts; David J. Lilja (IEEE International Workshop on Rapid System Prototyping, 2004)

Efficiently generating test vectors with state pruning. - Ying Chen; Dennis Abts; David J. Lilja (ASP-DAC, 2005)

The BlackWidow High-Radix Clos Network. - Steve Scott; Dennis Abts; John Kim 001; William J. Dally (ISCA, 2006)

Interconnect routing and scheduling - Adaptive routing in high-radix clos network. - John Kim 001; William J. Dally; Dennis Abts (SC, 2006)

Design of Interconnection Networks. - Dennis Abts; John Kim 001 (Hot Interconnects, 2007)

Flattened butterfly: a cost-efficient topology for high-radix networks. - John Kim 001; William J. Dally; Dennis Abts (ISCA, 2007)

The Cray BlackWidow: a highly scalable vector multiprocessor. - Dennis Abts; Abdulla Bataineh; Steve Scott; Greg Faanes; Jim Schwarzmeier; Eric Lundberg; Tim Johnson; Mike Bye; Gerald Schwoerer (SC, 2007)

Age-based packet arbitration in large-radix k-ary n-cubes. - Dennis Abts; Deborah K. Weisser (SC, 2007)

Technology-Driven, Highly-Scalable Dragonfly Topology. - John Kim 001; William J. Dally; Steve Scott; Dennis Abts (ISCA, 2008)

Achieving predictable performance through better memory controller placement in many-core CMPs. - Dennis Abts; Natalie D. Enright Jerger; John Kim 001; Dan Gibson; Mikko H. Lipasti (ISCA, 2009)

Cost-Efficient Dragonfly Topology for Large-Scale Systems. - John Kim 001; William J. Dally; Steve Scott; Dennis Abts (IEEE Micro, 2009)

Approximating age-based arbitration in on-chip networks. - Michael Mihn-Jong Lee; John Kim 001; Dennis Abts; Michael R. Marty; Jae W. Lee (PACT, 2010)

Energy proportional datacenter networks. - Dennis Abts; Michael R. Marty; Philip M. Wells; Peter Klausler; Hong Liu (ISCA, 2010)

Probabilistic Distance-Based Arbitration: Providing Equality of Service for Many-Core CMPs. - Michael Mihn-Jong Lee; John Kim 001; Dennis Abts; Michael R. Marty; Jae W. Lee (MICRO, 2010)

Cray XT4 and Seastar 3-D Torus Interconnect. - Dennis Abts (Encyclopedia of Parallel Computing, 2011)

High Performance Datacenter Networks: Architectures, Algorithms, and Opportunities - Dennis Abts; John Kim 001 (High Performance Datacenter Networks, 2011)

A guided tour of data-center networking. - Dennis Abts; Bob Felderman (Commun. ACM, 2012)

A Guided Tour through Data-center Networking. - Dennis Abts; Bob Felderman (ACM Queue, 2012)

Security Vulnerability in Processor-Interconnect Router Design. - WonJun Song; John Kim 001; Jae W. Lee; Dennis Abts (CCS, 2014)

Low-Overhead Network-on-Chip Support for Location-Oblivious Task Placement. - Gwangsun Kim; Michael Mihn-Jong Lee; John Kim 001; Jae W. Lee; Dennis Abts; Michael R. Marty (IEEE Trans. Computers, 2014)

Think Fast: A Tensor Streaming Processor (TSP) for Accelerating Deep Learning Workloads. - Dennis Abts; Jonathan Ross; Jonathan Sparling; Mark Wong-VanHaren; Max Baker; Tom Hawkins; Andrew Bell; John Thompson; Temesghen Kahsai; Garrin Kimmell; Jennifer Hwang; Rebekah Leslie-Hurd; et al. (ISCA, 2020)

Answer Fast: Accelerating BERT on the Tensor Streaming Processor. - Ibrahim Ahmed 007; Sahil Parmar; Matthew Boyd; Michael Beidler; Kris Kang; Bill Liu; Kyle Roach; John Kim 001; Dennis Abts (ASAP, 2022)

Challenges/Opportunities to Enable Dependable Scale-out System with Groq Deterministic Tensor-Streaming Processors. - Dennis Abts; Ibrahim Ahmed 007; Andrew Bitar; Matthew Boyd; John Kim 001; Garrin Kimmell; Andrew C. Ling (DSN (Supplements), 2022)

The Groq Software-defined Scale-out Tensor Streaming Multiprocessor : From chips-to-systems architectural overview. - Dennis Abts; John Kim 001; Garrin Kimmell; Matthew Boyd; Kris Kang; Sahil Parmar; Andrew C. Ling; Andrew Bitar; Ibrahim Ahmed 007; Jonathan Ross (HCS, 2022)

A software-defined tensor streaming multiprocessor for large-scale machine learning. - Dennis Abts; Garrin Kimmell; Andrew C. Ling; John Kim 001; Matthew Boyd; Andrew Bitar; Sahil Parmar; Ibrahim Ahmed 007; Roberto DiCecco; David Han; John Thompson; Michael Bye; et al. (ISCA, 2022)

The Case for Domain-Specific Networks. - Dennis Abts; John Kim 001 (HOTI, 2023)

Enabling Artificial Intelligence Supercomputers With Domain-Specific Networks. - Dennis Abts; John Kim 001 (IEEE Micro, 2024)