Media Summary: Talk Title: A Sound and Optimal Incremental Build System with Dynamic Dependencies Presenter: Sebastian Erdweg More Info: ... Talk Title: How Dart Learned From Past Object-Oriented Systems Presenter: Lars Bak More Info: ... Reasoning about the use of external resources is an important aspect of many practical applications. Effect systems enable ...
Oopsla Rate Types - Detailed Analysis & Overview
Talk Title: A Sound and Optimal Incremental Build System with Dynamic Dependencies Presenter: Sebastian Erdweg More Info: ... Talk Title: How Dart Learned From Past Object-Oriented Systems Presenter: Lars Bak More Info: ... Reasoning about the use of external resources is an important aspect of many practical applications. Effect systems enable ... The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ... Abstract Interpretation of Temporal Safety Effects of Higher Order Programs (Video, OOPSLA2 2025) Mihai Nicola, Chaitanya ... Incorrectness Logic (IL) has recently been advanced as a logical theory for compositionally proving the presence of bugs—dual to ...
Talk Title: Cross-Layer Memory Management for Managed Language Applications Presenter: Michael Jantz More Info: ... Liberating Merges via Apartness and Guarded Subtyping (Video, OOPSLA2 2025) Han Xu, Xuejing Huang, and Bruno C. d. Talk Title: Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine ...
![[OOPSLA23] Validating IoT Devices with Rate-Based Session Types](https://i.ytimg.com/vi/rpTAH3R8lvM/mqdefault.jpg)
![[OOPSLA] A Sound and Optimal Incremental Build System with Dynamic Dependencies](https://i.ytimg.com/vi/QsgLSDMLLTo/mqdefault.jpg)
![[OOPSLA Keynote] How Dart Learned From Past Object-Oriented Systems](https://i.ytimg.com/vi/h6z-5d-OlcQ/mqdefault.jpg)
![[OOPSLA] Effects,capabilities,and boxes: from scope-based reasoning to type-based reasoning and back](https://i.ytimg.com/vi/P7X5Qy9KYLU/mqdefault.jpg)
![[OOPSLA24] A modal type-theory of expected cost in higher-order probabilistic programs](https://i.ytimg.com/vi/1sQva1msG8E/mqdefault.jpg)
![[OOPSLA] Probability Type Inference for Flexible Approximate Programming](https://i.ytimg.com/vi/XKlEu5RTnuI/mqdefault.jpg)
![[OOPSLA'25] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/mqdefault.jpg)
![[OOPSLA'25] Abstract Interpretation of Temporal Safety Effects of Higher Order Programs](https://i.ytimg.com/vi/SzZXk95zzwY/mqdefault.jpg)
![[OOPSLA] Finding real bugs in big programs with incorrectness logic](https://i.ytimg.com/vi/HwIzhtfs6Oo/mqdefault.jpg)
![[OOPSLA] Cross-Layer Memory Management for Managed Language Applications](https://i.ytimg.com/vi/kdkbEoNB53Y/mqdefault.jpg)
![[OOPSLA'25] Liberating Merges via Apartness and Guarded Subtyping](https://i.ytimg.com/vi/eTQNks4koI4/mqdefault.jpg)
![[OOPSLA] Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency on the JVM](https://i.ytimg.com/vi/3hUJk6VRnyA/mqdefault.jpg)