External Source
[oopsla'25] Tracing Just-in-time Compilation For Effects And Handlers
Synopsis
Tracing Just-in-Time Compilation for Effects and Handlers (Video, OOPSLA2 2025) Marcial Gaißert, CF Bolz-Tereick, and ...
You Might Also Like
![[OOPSLA'25] CoSSJIT: Combining Static Analysis and Speculation in JIT Compilers](https://i.ytimg.com/vi/rZl2BqnrXDo/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA8S8jyrb_NUpCbgnyyI_B9uilLqQ)
![[OOPSLA'25] Zero-Overhead Lexical Effect Handlers](https://i.ytimg.com/vi/Dz278N0NLBg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLC7LEoBaBb9HuxPFR5AvtqAsM7_bg)
![[OOPSLA'25] Non-interference Preserving Optimising Compilation](https://i.ytimg.com/vi/Ri8lmHRafUI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDm1wIeKaOo9ndYWvSyP13QPT55gQ)
![[OOPSLA'25] TraceLinking Implementations with their Verified Designs](https://i.ytimg.com/vi/lHPxUwz8Oc4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAd85JY7dSIMW7LAxw_D3P0-Mk0og)
![[OOPSLA'25] Dynamic Wind for Effect Handlers](https://i.ytimg.com/vi/6u9I4R7gYJI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAq3fqjlA9n__TWJUcyBIuL-dQu1g)
![[OOPSLA'25] Interleaving Large Language Models for Compiler Testing](https://i.ytimg.com/vi/mSvFKz2xuhA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCAoCB8d4q62i-3n0DQhWmSPadlwA)
![[OOPSLA'25] Fast Constraint Synthesis for C++ Function Templates](https://i.ytimg.com/vi/_6pxVhEi-bc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBN9KS4U7rkqTdMh8X29fwKBDYA6g)
![[OOPSLA'25] Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations](https://i.ytimg.com/vi/2ByF-98Fnm4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAMvSKquroawNijJEDttpKO_Hjl-A)
![[PLDI'25] Partial Evaluation, Whole-Program Compilation](https://i.ytimg.com/vi/S3ByUa1L5TM/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCklZoOH6fndRGikZz475YbT611yQ)
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.