Media Summary: Towards a Theoretically-Backed and Practical Framework for Selective Object- A Sound Static Analysis Approach to I/O API Migration (Video, OOPSLA2 2025) Shangyu Li, Zhaoyang Zhang, Sizhe Zhong, Diyu ... The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ...
Oopsla 25 A Flow Sensitive - Detailed Analysis & Overview
Towards a Theoretically-Backed and Practical Framework for Selective Object- A Sound Static Analysis Approach to I/O API Migration (Video, OOPSLA2 2025) Shangyu Li, Zhaoyang Zhang, Sizhe Zhong, Diyu ... The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ... Talk Title: Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation Presenter: Hakjoo Oh More Info: ... CoSSJIT: Combining Static Analysis and Speculation in JIT Compilers (Video, OOPSLA2 2025) Aditya Anand, Vijay Sundaresan, ... Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-procedural
Shaking Up Quantum Simulators with Fuzzing and Rigour (Video, OOPSLA2 2025) Vasileios Klimis, Avner Bensoussan, Elena ...
![[OOPSLA'25] A Flow-Sensitive Refinement Type System for Verifying eBPF Programs](https://i.ytimg.com/vi/DsKDBZaw_eY/mqdefault.jpg)
![[OOPSLA'25] Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive(…)](https://i.ytimg.com/vi/8PDkGnOtit4/mqdefault.jpg)
![[OOPSLA'25] RestPi: Path-Sensitive Type Inference for REST APIs](https://i.ytimg.com/vi/uYWtdKdyxss/mqdefault.jpg)
![[OOPSLA'25] A Sound Static Analysis Approach to I/O API Migration](https://i.ytimg.com/vi/-o0iGgW4xl8/mqdefault.jpg)
![[OOPSLA'25] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/mqdefault.jpg)
![[OOPSLA] Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation](https://i.ytimg.com/vi/0UrIob78rH0/mqdefault.jpg)
![[OOPSLA'25] CoSSJIT: Combining Static Analysis and Speculation in JIT Compilers](https://i.ytimg.com/vi/rZl2BqnrXDo/mqdefault.jpg)
![[OOPSLA'25] Artemis: Toward Accurate Detection of Server-Side Request Forgeries through(…)](https://i.ytimg.com/vi/R63MNpKZ2Eg/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 18th)](https://i.ytimg.com/vi/wHAGmFT7tls/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/zoE2w2hueYQ/mqdefault.jpg)
![[OOPSLA'25] Shaking Up Quantum Simulators with Fuzzing and Rigour](https://i.ytimg.com/vi/Mj5wbnMGeps/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid Small - SPLASH OOPSLA (Oct 18th)](https://i.ytimg.com/vi/zre8qdh2AN8/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 16th)](https://i.ytimg.com/vi/bIaRdFHHnKg/mqdefault.jpg)