An Efficient Way to Find Side Effects of Procedure Calls and Aliases of Variables. - John Banning (POPL, 1979)

The XDOS binary code conversion system. - John Banning (COMPCON, 1989)

Comment on a Comment by Shibin Hu. - John Banning (ACM SIGPLAN Notices, 1993)

Monarch: Google's Planet-Scale In-Memory Time Series Database. - Colin Adams; Luis Alonso; Benjamin Atkin; John Banning; Sumeer Bhola; Rick Buskens; Ming Chen; Xi Chen; Yoo Chung; Qin Jia; Nick Sakharov; George Talbot; et al. (Proc. VLDB Endow., 2020)