Oopsla
Oopsla Information Guide
About on Oopsla
[Recorded on October 1998] From University Video Communications' catalog: "Over the last quarter-century Guy Steele has been ... 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 ... Incorrectness Logic (IL) has recently been advanced as a logical theory for compositionally proving the presence of bugs—dual to ... A Unifying Approach to Product Constructions for Quantitative Temporal Inference (Video, OOPSLA1 2025) Kazuki Watanabe, ... Christopher Alexander's keynote speech at the ACM Convention on “Object Oriented Programs, Systems, Languages and ...
A Complete Formal Semantics of eBPF Instruction Set Architecture for Solana (Video, OOPSLA1 2025) Shenghao Yuan, Zhuoruo ... A Refinement Methodology for Distributed Programs in Rust (Video, OOPSLA2 2025) Aurel Bílý, João Pereira, and Peter Müller ... Talk Title: How Dart Learned From Past Object-Oriented Systems Presenter: Lars Bak More Info: ...
Key Details
![[OOPSLA'25] The Simple Essence of Monomorphization Net Worth](https://i.ytimg.com/vi/xqoTzQ9b9S0/mqdefault.jpg)
Developments
![[OOPSLA'25] The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…) Profile](https://i.ytimg.com/vi/Z7SxbzFo55U/mqdefault.jpg)
Deep Dive
Data is compiled from public records and verified media reports.
Last Updated: June 19, 2026
Conclusion
![[SPLASH'24] IBR - OOPSLA Keynote (Oct 24th) Wealth](https://i.ytimg.com/vi/WjBDtrqFde4/mqdefault.jpg)
Disclaimer: Disclaimer: Details estimates are based on publicly available data, media reports, and financial analysis. Actual numbers may vary.
![[OOPSLA'25] The Simple Essence of Monomorphization](https://i0.wp.com/i.ytimg.com/vi/xqoTzQ9b9S0/mqdefault.jpg?resize=320,180)
![[OOPSLA'25] The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…)](https://i0.wp.com/i.ytimg.com/vi/Z7SxbzFo55U/mqdefault.jpg?resize=320,180)
![[SPLASH'24] IBR - OOPSLA Keynote (Oct 24th)](https://i0.wp.com/i.ytimg.com/vi/WjBDtrqFde4/mqdefault.jpg?resize=320,180)
![[OOPSLA] Finding real bugs in big programs with incorrectness logic](https://i0.wp.com/i.ytimg.com/vi/HwIzhtfs6Oo/mqdefault.jpg?resize=320,180)
![[OOPSLA'25] SPLASH Organisers Discussion and AMA](https://i0.wp.com/i.ytimg.com/vi/CxLyIqq3zyg/mqdefault.jpg?resize=320,180)
![[OOPSLA'25] A Unifying Approach to Product Constructions for Quantitative Temporal Inference](https://i0.wp.com/i.ytimg.com/vi/BzCPpBNBcOI/mqdefault.jpg?resize=320,180)
![[SPLASH'24] IBR East - OOPSLA (Oct 24th)](https://i0.wp.com/i.ytimg.com/vi/-DYe8Fi78sg/mqdefault.jpg?resize=320,180)
![[OOPSLA'25] A complete formal semantics of eBPF instruction set architecture for Solana](https://i0.wp.com/i.ytimg.com/vi/0Qo-qCIoTjA/mqdefault.jpg?resize=320,180)
![[OOPSLA'25] A Refinement Methodology for Distributed Programs in Rust](https://i0.wp.com/i.ytimg.com/vi/0Z_GAZzVCVA/mqdefault.jpg?resize=320,180)
![[OOPSLA Keynote] How Dart Learned From Past Object-Oriented Systems](https://i0.wp.com/i.ytimg.com/vi/h6z-5d-OlcQ/mqdefault.jpg?resize=320,180)
