John Bender

According to our database, John Bender authored at least 8 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Correct Compilation of Concurrent C Code.

John Bender

Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday, 2024

2022

Compiling Volatile Correctly in Java (Artifact).

Shuyang Liu, John Bender, Jens Palsberg

Dagstuhl Artifacts Ser., 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

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

Compiling Volatile Correctly in Java.

Shuyang Liu, John Bender, Jens Palsberg

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2019

Prove Once, Run Efficiently Anywhere: Tools for Lock-free Concurrent Algorithms.

John Bender

PhD thesis, 2019

A formalization of Java's concurrent access modes.

John Bender, Jens Palsberg

Proc. ACM Program. Lang., 2019

2015

Declarative fence insertion.

John Bender, Mohsen Lesani, Jens Palsberg

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2010

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