Media Summary: An Empirical Study of Bugs in the rustc Compiler (Video, OOPSLA2 2025) Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, ... The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking ... The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ...

Oopsla 25 Mini Batch Robustness - Detailed Analysis & Overview

An Empirical Study of Bugs in the rustc Compiler (Video, OOPSLA2 2025) Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, ... The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking ... The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ... The performance of stochastic gradient descent (SGD) can be improved by actively selecting Here's a photo of a panda. Here's the same photo after a change so small your eye can't see it. To you, identical. To your model ... Title: Pretraining Recurrent Networks without Recurrence (Jun 2026) Link: Date: June 2026 ...

What if your AI coding agent stopped overthinking and just got to work? In this video, we break down Qwopus-3.6-35B-A3B-Coder ...

Photo Gallery

[OOPSLA'25] Mini-Batch Robustness Verification of Deep Neural Networks
[OOPSLA'25] An Empirical Study of Bugs in the rustc Compiler
[OOPSLA'25] The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…)
[OOPSLA'25] The Simple Essence of Monomorphization
[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 17th)
[ICFP/SPLASH'25] Orchid Small - SPLASH OOPSLA (Oct 18th)
[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 18th)
Active Mini-Batch Sampling using Repulsive Point Processes
[SPLASH'24] IBR West - OOPSLA (Oct 25th)
Episode 02 02 — Adversarial examples one pixel flips the label
Robustness without Wrinkles: Parallel Simulation & Robust MPC for Certified Deformable Manipulation
Pretraining Recurrent Networks without Recurrence (Jun 2026)
View Detailed Profile
[OOPSLA'25] Mini-Batch Robustness Verification of Deep Neural Networks

[OOPSLA'25] Mini-Batch Robustness Verification of Deep Neural Networks

Mini

[OOPSLA'25] An Empirical Study of Bugs in the rustc Compiler

[OOPSLA'25] An Empirical Study of Bugs in the rustc Compiler

An Empirical Study of Bugs in the rustc Compiler (Video, OOPSLA2 2025) Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, ...

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

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

The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking ...

[OOPSLA'25] The Simple Essence of Monomorphization

[OOPSLA'25] The Simple Essence of Monomorphization

The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ...

[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 17th)

[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 17th)

Full program: https://conf.researchr.org/program/icfp-splash-2025/program-icfp-splash-2025/

[ICFP/SPLASH'25] Orchid Small - SPLASH OOPSLA (Oct 18th)

[ICFP/SPLASH'25] Orchid Small - SPLASH OOPSLA (Oct 18th)

Full program: https://conf.researchr.org/program/icfp-splash-2025/program-icfp-splash-2025/

[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 18th)

[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 18th)

Full program: https://conf.researchr.org/program/icfp-splash-2025/program-icfp-splash-2025/

Active Mini-Batch Sampling using Repulsive Point Processes

Active Mini-Batch Sampling using Repulsive Point Processes

The performance of stochastic gradient descent (SGD) can be improved by actively selecting

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

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

Full Program: https://icfp24.sigplan.org/home/ocaml-2024#program.

Episode 02 02 — Adversarial examples one pixel flips the label

Episode 02 02 — Adversarial examples one pixel flips the label

Here's a photo of a panda. Here's the same photo after a change so small your eye can't see it. To you, identical. To your model ...

Robustness without Wrinkles: Parallel Simulation & Robust MPC for Certified Deformable Manipulation

Robustness without Wrinkles: Parallel Simulation & Robust MPC for Certified Deformable Manipulation

Video accompanying the paper "

Pretraining Recurrent Networks without Recurrence (Jun 2026)

Pretraining Recurrent Networks without Recurrence (Jun 2026)

Title: Pretraining Recurrent Networks without Recurrence (Jun 2026) Link: http://arxiv.org/abs/2606.06479v1 Date: June 2026 ...

Qwopus 3.6 35B MTP Explained: Blazing Fast Local Coding Agents ⚡

Qwopus 3.6 35B MTP Explained: Blazing Fast Local Coding Agents ⚡

What if your AI coding agent stopped overthinking and just got to work? In this video, we break down Qwopus-3.6-35B-A3B-Coder ...