Jasper Geer

According to our database, Jasper Geer authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

Mason: Type- and Name-Guided Program Synthesis.

Jasper Geer, Fox Huston, Jeffrey S. Foster

CoRR, February, 2026

2025

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees.

Zachary Grannan, Aurel Bílý, Jonás Fiala, Jasper Geer, Markus de Medeiros, Peter Müller, Alexander J. Summers

Proc. ACM Program. Lang., 2025