Oopsla Incremental Type Checking For

Media Summary: Fast analysis response times in IDEs are essential for a good editor experience. Reasoning about the use of external resources is an important aspect of many practical applications. Effect systems enable ... An Empirical Study of Bugs in the rustc Compiler (Video, OOPSLA2 2025) Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, ...

Oopsla Incremental Type Checking For - Detailed Analysis & Overview

Fast analysis response times in IDEs are essential for a good editor experience. Reasoning about the use of external resources is an important aspect of many practical applications. Effect systems enable ... An Empirical Study of Bugs in the rustc Compiler (Video, OOPSLA2 2025) Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, ... Talk Title: Partial Evaluation of Machine Code Presenter: Venkatesh Srinivasan More Info: ... The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ... Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala ...

Owing to the continued use of C (and C++), spatial safety violations (e.g., buffer overflows) still constitute one of today's most ...

Photo Gallery

[OOPSLA] Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers

[OOPSLA] Effects,capabilities,and boxes: from scope-based reasoning to type-based reasoning and back

A Systematic Approach to Deriving Incremental Type Checkers

[OOPSLA'25] Incremental Bidirectional Typing via Order Maintenance

[OOPSLA] A Sound and Optimal Incremental Build System with Dynamic Dependencies

[OOPSLA] SHARP: fast incremental context-sensitive pointer analysis for Java

[OOPSLA'25] Incremental Certified Programming

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

[OOPSLA] Partial Evaluation of Machine Code

[OOPSLA'25] The Simple Essence of Monomorphization

[OOPSLA] Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

[OOPSLA] C to checked C by 3c

View Detailed Profile

[OOPSLA] Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers

[OOPSLA] Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers

Fast analysis response times in IDEs are essential for a good editor experience.

[OOPSLA] Effects,capabilities,and boxes: from scope-based reasoning to type-based reasoning and back

[OOPSLA] Effects,capabilities,and boxes: from scope-based reasoning to type-based reasoning and back

Reasoning about the use of external resources is an important aspect of many practical applications. Effect systems enable ...

A Systematic Approach to Deriving Incremental Type Checkers

A Systematic Approach to Deriving Incremental Type Checkers

Therefore, all major IDEs incrementalize

[OOPSLA'25] Incremental Bidirectional Typing via Order Maintenance

[OOPSLA'25] Incremental Bidirectional Typing via Order Maintenance

... Video Tags:

[OOPSLA] A Sound and Optimal Incremental Build System with Dynamic Dependencies

[OOPSLA] A Sound and Optimal Incremental Build System with Dynamic Dependencies

Talk Title: A Sound and Optimal

[OOPSLA] SHARP: fast incremental context-sensitive pointer analysis for Java

[OOPSLA] SHARP: fast incremental context-sensitive pointer analysis for Java

We present SHARP, an

[OOPSLA'25] Incremental Certified Programming

[OOPSLA'25] Incremental Certified Programming

Incremental

[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] Partial Evaluation of Machine Code

[OOPSLA] Partial Evaluation of Machine Code

Talk Title: Partial Evaluation of Machine Code Presenter: Venkatesh Srinivasan More Info: ...

[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 ...

[OOPSLA] Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

[OOPSLA] Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala ...

[OOPSLA] C to checked C by 3c

[OOPSLA] C to checked C by 3c

Owing to the continued use of C (and C++), spatial safety violations (e.g., buffer overflows) still constitute one of today's most ...

[OOPSLA] Intrinsically-Typed Definitional Interpreters à la Carte

[OOPSLA] Intrinsically-Typed Definitional Interpreters à la Carte

Specifying and mechanically verifying