Jeremy Ferguson

According to our database, Jeremy Ferguson authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Equivalence by Canonicalization for Synthesis-Backed Refactoring.

Justin Lubin, Jeremy Ferguson, Kevin Ye, Jacob Yim, Sarah E. Chasins

Proc. ACM Program. Lang., 2024