Nathan Glover

According to our database, Nathan Glover authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

LFPL: Revisited and Mechanized.

Nathan Glover, Jan Hoffmann

CoRR, May, 2026

2025

Integrating Resource Analyses via Resource Decomposition.

Long Pham, Yue Niu, Nathan Glover, Feras Saad, Jan Hoffmann

Proc. ACM Program. Lang., 2025