Benjamin Kimock

Orcid: 0000-0002-3160-7679

According to our database¹, Benjamin Kimock authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Miri: Practical Undefined Behavior Detection for Rust.

[DOI]

Proc. ACM Program. Lang., 2026

2025

Artifact for Miri: Practical Undefined Behavior Detection for Rust.

[DOI]

Dataset, October, 2025