[oopsla'25] Cossjit: Combining Static Analysis And Speculation In Jit Compilers
Synopsis
CoSSJIT: Combining Static Analysis and Speculation in JIT Compilers (Video, OOPSLA2 2025) Aditya Anand, Vijay Sundaresan, ...
You Might Also Like
![[SPLASH'25] The Quest Toward that Perfect Compiler](https://i.ytimg.com/vi/Af70DptYlYQ/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBKVfoXpYVE6JoadHoQihFoVbqMBw)
![[MPLR'25] Joy of Meta-Tracing Just-in-Time Compilation: More Than Just a VM Generator](https://i.ytimg.com/vi/E3qDfQrHXRw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCtW3PpbdI3p68cEMLYO9EVlXnf_Q)
![[OOPSLA'25] JavART: a Lightweight Rule-Based JIT Compiler Using Translation Rules Extracted from(…)](https://i.ytimg.com/vi/QlX_mI_DWzI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAS2tjc0XiI726yYwXTio6UX_r60g)
![[POPL 2021] Formally Verified Speculation and Deoptimization in a JIT Compiler (full)](https://i.ytimg.com/vi/1W1LQWBVfz4/hq720.jpg?sqp=-oaymwE2CNAFEJQDSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB1AaAAuADigIMCAAQARhgIGAoYDAP&rs=AOn4CLA-iu5-9vVTwPKfN5cABlDWfz02gw)
![[OOPSLA'25] (TOPLAS) Type-Safe Compilation of Dynamic Inheritance via Merging](https://i.ytimg.com/vi/B9-Lr_UYUcI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBM4P7dCtpfEg4r3a-cO13Ffl5Ogg)
![[OOPSLA'25] Fast Constraint Synthesis for C++ Function Templates](https://i.ytimg.com/vi/_6pxVhEi-bc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBN9KS4U7rkqTdMh8X29fwKBDYA6g)
![[OOPSLA'25] Tracing Just-in-time Compilation for Effects and Handlers](https://i.ytimg.com/vi/SgQekWMJTUM/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDB0HnQj4DVd9g_Z4mcR4DrA95E4w)
![[OOPSLA'25] Synchronized Behavior Checking: A Method for Finding Missed Compiler Optimizations](https://i.ytimg.com/vi/ov09dMiV-nE/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLD7HNaOaV5Rewlja13NxSWZMsk3ow)
![[OOPSLA'25] Two Approaches to Fast Bytecode Frontend for Static Analysis](https://i.ytimg.com/vi/NXInitLuKvo/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCxnuUSfNFsbVjlXUjHwIT8FV6WbA)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.