Quantum Cascade Laser-Based Photoacoustic Spectroscopy for Trace Vapor Detection and Molecular Discrimination. - Ellen L. Holthoff; John Bender; Paul M. Pellegrino; Almon Fisher (Sensors, 2010)

Declarative fence insertion. - John Bender; Mohsen Lesani; Jens Palsberg (OOPSLA, 2015)

A formalization of Java's concurrent access modes. - John Bender; Jens Palsberg (Proc. ACM Program. Lang., 2019)

Prove Once, Run Efficiently Anywhere: Tools for Lock-free Concurrent Algorithms. - John Bender (2019)

Compiling Volatile Correctly in Java. - Shuyang Liu; John Bender; Jens Palsberg (ECOOP, 2022)

Q: A Sound Verification Framework for Statecharts and Their Implementations. - Samuel D. Pollard; Robert C. Armstrong; John Bender; Geoffrey C. Hulette; Raheel S. Mahmood; Karla Morris; Blake C. Rawlings; Jon M. Aytac (FTSCS, 2022)

Compiling Volatile Correctly in Java (Artifact). - Shuyang Liu; John Bender; Jens Palsberg (Dagstuhl Artifacts Ser., 2022)

Correct Compilation of Concurrent C Code. - John Bender (JENSFEST, 2024)