An optimizing compiler for batches of temporal logic formulas. - James R. Ezick (ISSTA, 2004)

Resolving and applying constraint queries on context-sensitive analyses. - James R. Ezick (PASTE, 2004)

Poster reception - Alef parallel SAT solver for HPC hardware. - James R. Ezick; Samuel B. Luckenbill; Donald Nguyen; Péter Szilágyi; John Starks; Richard A. Lethin (SC, 2006)

Extreme SAT-based Constraint solving with R-Solve. - James R. Ezick; Jonathan Springer; Tom Henretty; Chanseok Oh (HPEC, 2014)

Accelerated low-rank updates to tensor decompositions. - Muthu Manikandan Baskaran; Matthew Harper Langston; Tahina Ramananandro; David Bruns-Smith; Tom Henretty; James R. Ezick; Richard Lethin (HPEC, 2016)

Memory-efficient parallel tensor decompositions. - Muthu Manikandan Baskaran; Tom Henretty; Benoît Pradelle; Matthew Harper Langston; David Bruns-Smith; James R. Ezick; Richard Lethin (HPEC, 2017)

A quantitative and qualitative analysis of tensor decompositions on spatiotemporal data. - Tom Henretty; Muthu Manikandan Baskaran; James R. Ezick; David Bruns-Smith; Tyler A. Simon (HPEC, 2017)

All-at-once Decomposition of Coupled Billion-scale Tensors in Apache Spark. - Aditya Gudibanda; Tom Henretty; Muthu Manikandan Baskaran; James R. Ezick; Richard Lethin (HPEC, 2018)

Computationally Efficient CP Tensor Decomposition Update Framework for Emerging Component Discovery in Streaming Data. - Pierre-David Letourneau; Muthu Manikandan Baskaran; Tom Henretty; James R. Ezick; Richard Lethin (HPEC, 2018)

Fast and Scalable Distributed Tensor Decompositions. - Muthu Manikandan Baskaran; Thomas Henretty; James R. Ezick (HPEC, 2019)

Combining Tensor Decompositions and Graph Analytics to Provide Cyber Situational Awareness at HPC Scale. - James R. Ezick; Ben Parsons; William Glodek; Tom Henretty; Muthu Manikandan Baskaran; Richard Lethin; John Feo; Tai-Ching Tuan; Christopher J. Coley; Leslie Leonard; Rajeev Agrawal (HPEC, 2019)

Fast Large-Scale Algorithm for Electromagnetic Wave Propagation in 3D Media. - Mitchell Tong Harris; Matthew Harper Langston; Pierre-David Létourneau; George Papanicolaou; James R. Ezick; Richard Lethin (HPEC, 2019)

Combinatorial Multigrid: Advanced Preconditioners For Ill-Conditioned Linear Systems. - Matthew Harper Langston; Mitchell Tong Harris; Pierre-David Letourneau; Richard Lethin; James R. Ezick (HPEC, 2019)

Enhancing Network Visibility and Security through Tensor Analysis. - Muthu Manikandan Baskaran; Thomas Henretty; James R. Ezick; Richard Lethin; David Bruns-Smith (Future Gener. Comput. Syst., 2019)

Multiscale Data Analysis Using Binning, Tensor Decompositions, and Backtracking. - Dimitri Leggas; Thomas Henretty; James R. Ezick; Muthu Manikandan Baskaran; Brendan von Hofe; Grace H. Cimaszewski; Harper Langston; Richard Lethin (HPEC, 2020)

Computing Bottleneck Structures at Scale for High-Precision Network Performance Analysis. - Noah Amsel; Jordi Ros-Giralt; Sruthi Yellamraju; James R. Ezick; Brendan von Hofe; Alison Ryan; Richard Lethin (INDIS@SC, 2020)

Filtered Tensor Construction and Decomposition for Drug Repositioning. - Dimitri Leggas; Muthu Manikandan Baskaran; James R. Ezick; Brendan von Hofe (HPEC, 2021)

Designing data center networks using bottleneck structures. - Jordi Ros-Giralt; Noah Amsel; Sruthi Yellamraju; James R. Ezick; Richard Lethin; Yuang Jiang; Aosong Feng; Leandros Tassiulas; Zhenguo Wu; Min Yee Teh; Keren Bergman (SIGCOMM, 2021)

A Quantitative Theory of Bottleneck Structures for Data Networks. - Jordi Ros-Giralt; Noah Amsel; Sruthi Yellamraju; James R. Ezick; Richard Lethin; Yuang Jiang; Aosong Feng; Leandros Tassiulas (CoRR, 2022)