Oopsla24 Higher Order Model Checking

Media Summary: Semantics of Remote Direct Memory Access: Operational and Declarative Statically Contextualizing Large Language Mechanizing the CMP Abstraction for Parameterized

Oopsla24 Higher Order Model Checking - Detailed Analysis & Overview

Semantics of Remote Direct Memory Access: Operational and Declarative Statically Contextualizing Large Language Mechanizing the CMP Abstraction for Parameterized Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs (Video, OOPSLA 2024) Dennis Liew, Tiago ... WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language A Learning-Based Approach to Static Program Slicing (Video, OOPSLA 2024) Aashish Yadavally, Yi Li, Shaohua Wang, and Tien ...

Photo Gallery

[OOPSLA24] Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification

[OOPSLA24] Model Checking Distributed Protocols in Must

[OOPSLA24] Quantum Probabilistic Model Checking for Time-Bounded Properties

[OOPSLA24] Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA(…)

Creating and model-checking the PlusCal spec

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

[OOPSLA24] Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs

[OOPSLA24] Statically Contextualizing Large Language Models with Typed Holes

[OOPSLA24] SMT2Test: From SMT Formulas to Effective Test Cases

[OOPSLA24] Mechanizing the CMP Abstraction for Parameterized Verification

[OOPSLA24] Sound and partially-complete static analysis of data-races in GPU programs

[OOPSLA24] WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models

View Detailed Profile

[OOPSLA24] Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification

[OOPSLA24] Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification

Higher

[OOPSLA24] Model Checking Distributed Protocols in Must

[OOPSLA24] Model Checking Distributed Protocols in Must

Model Checking

[OOPSLA24] Quantum Probabilistic Model Checking for Time-Bounded Properties

[OOPSLA24] Quantum Probabilistic Model Checking for Time-Bounded Properties

Quantum Probabilistic

[OOPSLA24] Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA(…)

[OOPSLA24] Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA(…)

Semantics of Remote Direct Memory Access: Operational and Declarative

Creating and model-checking the PlusCal spec

Creating and model-checking the PlusCal spec

Creating and

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

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

Model Checking

[OOPSLA24] Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs

[OOPSLA24] Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs

Knowledge Transfer from

[OOPSLA24] Statically Contextualizing Large Language Models with Typed Holes

[OOPSLA24] Statically Contextualizing Large Language Models with Typed Holes

Statically Contextualizing Large Language

[OOPSLA24] SMT2Test: From SMT Formulas to Effective Test Cases

[OOPSLA24] SMT2Test: From SMT Formulas to Effective Test Cases

SMT2Test: From SMT Formulas to Effective

[OOPSLA24] Mechanizing the CMP Abstraction for Parameterized Verification

[OOPSLA24] Mechanizing the CMP Abstraction for Parameterized Verification

Mechanizing the CMP Abstraction for Parameterized

[OOPSLA24] Sound and partially-complete static analysis of data-races in GPU programs

[OOPSLA24] Sound and partially-complete static analysis of data-races in GPU programs

Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs (Video, OOPSLA 2024) Dennis Liew, Tiago ...

[OOPSLA24] WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models

[OOPSLA24] WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language

[OOPSLA24] A Learning-Based Approach to Static Program Slicing

[OOPSLA24] A Learning-Based Approach to Static Program Slicing

A Learning-Based Approach to Static Program Slicing (Video, OOPSLA 2024) Aashish Yadavally, Yi Li, Shaohua Wang, and Tien ...