John Hawthorn

Publication Activity (10 Years)

Years Active: 1990-2021
Publications (10 Years): 1

Top Topics

Java Virtual Machine

Highly Optimized

Program Execution

Top Venues

Publications

Maxime Chevalier-Boisvert, Noah Gibbs, Jean Boussier, Si Xing (Alan) Wu, Aaron Patterson, Kevin Newton, John Hawthorn
YJIT: a basic block versioning JIT compiler for CRuby. VMIL@SPLASH (2021)
John Hawthorn
Natural Deduction in Normal Modal Logic. Notre Dame J. Formal Log. 31 (2) (1990)