Media Summary: Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Random Variate Generation with Formal Guarantees (Video, Task-Based Tensor Computations on Modern GPUs (Video,

Pldi 25 Pointer Analysis For - Detailed Analysis & Overview

Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Random Variate Generation with Formal Guarantees (Video, Task-Based Tensor Computations on Modern GPUs (Video, Verified Foundations for Differential Privacy (Video, [TOPLAS] A Modular Approach to Metatheoretic Reasoning for Extensible Languages (Video, Correctly Rounded Math Libraries without Worrying about the Application's Rounding Mode (Video,

Spineless Traversal for Layout Invalidation (Video,

Photo Gallery

[PLDI'25] Pointer Analysis for Database-Backed Applications
[PLDI'25] Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
[PLDI'25] Solving Floating-Point Constraints with Continuous Optimization
[PLDI'25] Random Variate Generation with Formal Guarantees
[PLDI'25] Task-Based Tensor Computations on Modern GPUs
[PLDI'25] Verified Foundations for Differential Privacy
[PLDI'25] [TOPLAS] A Modular Approach to Metatheoretic Reasoning for Extensible Languages
[PLDI'25] Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode
[PLDI'25] Programming by Navigation
[Week 6, W22] ECE 750-T5 Static Analysis for Software Engineering: Pointer Analysis
[PLDI'25] Bean: A Language for Backward Error Analysis
[PLDI'25] Spineless Traversal for Layout Invalidation
View Detailed Profile
[PLDI'25] Pointer Analysis for Database-Backed Applications

[PLDI'25] Pointer Analysis for Database-Backed Applications

Pointer Analysis for

[PLDI'25] Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses

[PLDI'25] Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses

Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static

[PLDI'25] Solving Floating-Point Constraints with Continuous Optimization

[PLDI'25] Solving Floating-Point Constraints with Continuous Optimization

Solving Floating-

[PLDI'25] Random Variate Generation with Formal Guarantees

[PLDI'25] Random Variate Generation with Formal Guarantees

Random Variate Generation with Formal Guarantees (Video,

[PLDI'25] Task-Based Tensor Computations on Modern GPUs

[PLDI'25] Task-Based Tensor Computations on Modern GPUs

Task-Based Tensor Computations on Modern GPUs (Video,

[PLDI'25] Verified Foundations for Differential Privacy

[PLDI'25] Verified Foundations for Differential Privacy

Verified Foundations for Differential Privacy (Video,

[PLDI'25] [TOPLAS] A Modular Approach to Metatheoretic Reasoning for Extensible Languages

[PLDI'25] [TOPLAS] A Modular Approach to Metatheoretic Reasoning for Extensible Languages

[TOPLAS] A Modular Approach to Metatheoretic Reasoning for Extensible Languages (Video,

[PLDI'25] Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode

[PLDI'25] Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode

Correctly Rounded Math Libraries without Worrying about the Application's Rounding Mode (Video,

[PLDI'25] Programming by Navigation

[PLDI'25] Programming by Navigation

Programming by Navigation (Video,

[Week 6, W22] ECE 750-T5 Static Analysis for Software Engineering: Pointer Analysis

[Week 6, W22] ECE 750-T5 Static Analysis for Software Engineering: Pointer Analysis

We have two papers talking about

[PLDI'25] Bean: A Language for Backward Error Analysis

[PLDI'25] Bean: A Language for Backward Error Analysis

Bean: A Language for Backward Error

[PLDI'25] Spineless Traversal for Layout Invalidation

[PLDI'25] Spineless Traversal for Layout Invalidation

Spineless Traversal for Layout Invalidation (Video,

[PLDI'25] Cosmos, Violet & Tulip - PLDI Research Papers (Jun 19th)

[PLDI'25] Cosmos, Violet & Tulip - PLDI Research Papers (Jun 19th)

Full program: https://pldi25.sigplan.org/program/program-