Eduardo Sánchez Muñoz

According to our database, Eduardo Sánchez Muñoz authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Miri: Practical Undefined Behavior Detection for Rust.

Ralf Jung, Benjamin Kimock, Christian Poveda, Eduardo Sánchez Muñoz, Oli Scherer, Qian Wang

Proc. ACM Program. Lang., 2026

2025

Artifact for Miri: Practical Undefined Behavior Detection for Rust.

Ralf Jung, Benjamin Kimock, Christian Poveda, Eduardo Sánchez Muñoz, Oli Scherer, Qian Wang

Dataset, October, 2025