A Formal Method Experience at Secure Computing Corporation. - John Hoffman; Charlie Payne (CAV, 1998)

Microsoft TerraServer - Tom Barclay; Robert Eberl; Jim Gray 001; John Nordlinger; Guru Raghavendran; Donald R. Slutz; Greg Smith; Phil Smoot; John Hoffman; Natt Robb III; Hedy Rossmeissl; Beth Duff; et al. (CoRR, 1998)

Rendezvous Planning for Multiple AUVs With Mobile Charging Stations in Dynamic Currents. - Bingxi Li; Brian R. Page; John Hoffman; Barzin Moridian; Nina Mahmoudian (IEEE Robotics Autom. Lett., 2019)

Dynamic Bidding Strategies with Multivariate Feedback Control for Multiple Goals in Display Advertising. - Michael Tashman; Jiayi Xie; John Hoffman; Lee Winikor; Rouzbeh Gerami (CoRR, 2020)

Online and Scalable Model Selection with Multi-Armed Bandits. - Jiayi Xie; Michael Tashman; John Hoffman; Lee Winikor; Rouzbeh Gerami (CoRR, 2021)

Techniques Toward Optimizing Viewability in RTB Ad Campaigns Using Reinforcement Learning. - Michael Tashman; John Hoffman; Jiayi Xie; Fengdan Ye; Atefeh Morsali; Lee Winikor; Rouzbeh Gerami (CoRR, 2021)

No Language Left Behind: Scaling Human-Centered Machine Translation. - Marta R. Costa-jussà; James Cross 003; Onur Çelebi; Maha Elbayad; Kenneth Heafield; Kevin Heffernan; Elahe Kalbassi; Janice Lam; Daniel Licht; Jean Maillard; Anna Y. Sun; Skyler Wang; et al. (CoRR, 2022)

SeamlessM4T-Massively Multilingual & Multimodal Machine Translation. - Seamless Communication; Loïc Barrault; Yu-An Chung; Mariano Coria Meglioli; David Dale; Ning Dong; Paul-Ambroise Duquenne; Hady Elsahar; Hongyu Gong; Kevin Heffernan; John Hoffman; Christopher Klaiber; et al. (CoRR, 2023)

Seamless: Multilingual Expressive and Streaming Speech Translation. - Loïc Barrault; Yu-An Chung; Mariano Coria Meglioli; David Dale; Ning Dong; Mark Duppenthaler; Paul-Ambroise Duquenne; Brian Ellis; Hady Elsahar; Justin Haaheim; John Hoffman; Min-Jae Hwang; et al. (CoRR, 2023)

Movie Gen: A Cast of Media Foundation Models. - Adam Polyak; Amit Zohar; Andrew Brown; Andros Tjandra; Animesh Sinha; Ann Lee 001; Apoorv Vyas; Bowen Shi; Chih-Yao Ma; Ching-Yao Chuang; David Yan; Dhruv Choudhary; et al. (CoRR, 2024)

Revisiting Reliability in Large-Scale Machine Learning Research Clusters. - Apostolos Kokolis; Michael Kuchnik; John Hoffman; Adithya Kumar; Parth Malani; Faye Ma; Zachary DeVito; Shubho Sengupta; Kalyan Saladi; Carole-Jean Wu (HPCA, 2025)

Meta Audiobox Aesthetics: Unified Automatic Quality Assessment for Speech, Music, and Sound. - Andros Tjandra; Yi-Chiao Wu; Baishan Guo; John Hoffman; Brian Ellis; Apoorv Vyas; Bowen Shi; Sanyuan Chen; Matt Le 001; Nick Zacharov; Carleigh Wood; Ann Lee 001; et al. (CoRR, 2025)