Oopsla C To Checked C

Media Summary: Multi-execution memory models, such as Promising and Weakestmo, are an advanced class of weak memory consistency models ... Fat Pointers for Temporal Memory Safety of What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Video, OOPSLA2 2025) Yichen Xu, ...

Oopsla C To Checked C - Detailed Analysis & Overview

Multi-execution memory models, such as Promising and Weakestmo, are an advanced class of weak memory consistency models ... Fat Pointers for Temporal Memory Safety of What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Video, OOPSLA2 2025) Yichen Xu, ... An Empirical Study of Bugs in the rustc Compiler (Video, OOPSLA2 2025) Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, ... Solving Conditional Linear Recurrences for Program Verification: The Periodic Case (Video, OOPSLA1 2023) Chenglin Wang ... Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge (Video, OOPSLA2 2025) John

Photo Gallery

[OOPSLA] C to checked C by 3c

Checked C -- A Better C Programming Language?

[POPL'25] Model Checking C/C++ with Mixed-Size Accesses

[OOPSLA] Model Checking for a Multi-Execution Memory Model

[OOPSLA23] Fat Pointers for Temporal Memory Safety of C

[OOPSLA'25] What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data(…)

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

[OOPSLA23] Melocoton: A Program Logic for Verified Interoperability Between OCaml and C

[OOPSLA23] Solving Conditional Linear Recurrences for Program Verification: The Periodic C...

[OOPSLA24] Fully Verified Instruction Scheduling

CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files

[OOPSLA'25] TraceLinking Implementations with their Verified Designs

View Detailed Profile

[OOPSLA] C to checked C by 3c

[OOPSLA] C to checked C by 3c

Owing to the continued use of

Checked C -- A Better C Programming Language?

Checked C -- A Better C Programming Language?

Checked C

[POPL'25] Model Checking C/C++ with Mixed-Size Accesses

[POPL'25] Model Checking C/C++ with Mixed-Size Accesses

Model

[OOPSLA] Model Checking for a Multi-Execution Memory Model

[OOPSLA] Model Checking for a Multi-Execution Memory Model

Multi-execution memory models, such as Promising and Weakestmo, are an advanced class of weak memory consistency models ...

[OOPSLA23] Fat Pointers for Temporal Memory Safety of C

[OOPSLA23] Fat Pointers for Temporal Memory Safety of C

Fat Pointers for Temporal Memory Safety of

[OOPSLA'25] What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data(…)

[OOPSLA'25] What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data(…)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Video, OOPSLA2 2025) Yichen Xu, ...

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

[OOPSLA23] Melocoton: A Program Logic for Verified Interoperability Between OCaml and C

[OOPSLA23] Melocoton: A Program Logic for Verified Interoperability Between OCaml and C

Melocoton: A Program Logic for

[OOPSLA23] Solving Conditional Linear Recurrences for Program Verification: The Periodic C...

[OOPSLA23] Solving Conditional Linear Recurrences for Program Verification: The Periodic C...

Solving Conditional Linear Recurrences for Program Verification: The Periodic Case (Video, OOPSLA1 2023) Chenglin Wang ...

[OOPSLA24] Fully Verified Instruction Scheduling

[OOPSLA24] Fully Verified Instruction Scheduling

Fully

CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files

CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files

Hi, this is Yuting (@yvw_). Our

[OOPSLA'25] TraceLinking Implementations with their Verified Designs

[OOPSLA'25] TraceLinking Implementations with their Verified Designs

TraceLinking Implementations with Their

[OOPSLA'25] Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge

[OOPSLA'25] Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge (Video, OOPSLA2 2025) John