John Bender

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 5

Top Topics

Web Applications

Development Environment

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Shuyang Liu, John Bender, Jens Palsberg
Compiling Volatile Correctly in Java (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Shuyang Liu, John Bender, Jens Palsberg
Compiling Volatile Correctly in Java. ECOOP (2022)
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac
Q: A Sound Verification Framework for Statecharts and Their Implementations. FTSCS (2022)
John Bender, Jens Palsberg
A formalization of Java's concurrent access modes. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
John Bender, Mohsen Lesani, Jens Palsberg
Declarative fence insertion. OOPSLA (2015)
Ellen L. Holthoff, John Bender, Paul M. Pellegrino, Almon Fisher
Quantum Cascade Laser-Based Photoacoustic Spectroscopy for Trace Vapor Detection and Molecular Discrimination. Sensors 10 (3) (2010)