Oopsla Oopsla

Oopsla Oopsla Information Guide

1. Overview to Oopsla Oopsla
2. Important Facts
3. Developments
4. Full Guide
5. Final Thoughts

Overview to Oopsla Oopsla

[Recorded on October 1998] From University Video Communications' catalog: "Over the last quarter-century Guy Steele has been ... What do you find when you clean the basement? Old talks! Dick Gabriel, who introduced me, invited me to keynote The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ... The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking ... A Unifying Approach to Product Constructions for Quantitative Temporal Inference (Video, OOPSLA1 2025) Kazuki Watanabe, ... Memory-Safety Verification of Open Programs with Angelic Assumptions (Video, OOPSLA2 2025) Gourav Takhar, Baldip Bijlani, ...

A Refinement Methodology for Distributed Programs in Rust (Video, OOPSLA2 2025) Aurel Bílý, João Pereira, and Peter Müller ... Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational ... Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types (Video, Talk Title: How Scale Affects Structure in Java Programs Presenter: Crista Lopes More Info: ... Laurel: Unblocking Automated Verification with Large Language Models (Video, OOPSLA1 2025) Eric Mugnier, Emmanuel Anaya ... Scheduling transformations reorder operations in a program to improve locality and/or parallelism. There are mature loop ...

Important Facts

Christopher Alexander's keynote speech at the ACM Convention on “Object Oriented Programs, Systems, Languages and ...

Developments

Alan Kay at OOPSLA 1997 - The computer revolution hasnt happened yet

[OOPSLA'25] The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…)

[OOPSLA'25] A Unifying Approach to Product Constructions for Quantitative Temporal Inference

[OOPSLA'25] Memory-Safety Verification of Open Programs With Angelic Assumptions

[OOPSLA'25] A Refinement Methodology for Distributed Programs in Rust

[OOPSLA'25] Modeling Reachability Types with Logical Relations -- Semantic Type Soundness,(…)

[OOPSLA24] Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types

[OOPSLA] How Scale Affects Structure in Java Programs

[SPLASH'24] IBR East - OOPSLA (Oct 24th)

[OOPSLA'25] Laurel: Unblocking Automated Verification with Large Language Models

[OOPSLA] UniRec: A Unimodular-Like Framework for Nested Recursions and Loops

OOPSLA

Full Guide

Data is compiled from public records and verified media reports.

Last Updated: June 20, 2026

Final Thoughts

Disclaimer: Disclaimer: Details estimates are based on publicly available data, media reports, and financial analysis. Actual numbers may vary.