Hazel Shackleton

Identifiers

• name variant Hazel Shackleton 0.60 · backfill

Papers (1)

1. FVSpec: Real-World Property-Based Tests as Lean Challenges cs.SE · 2026 · author #3

Mentions

• 2606.01008 #3 · arxiv_oai · confidence 0.70 Hazel Shackleton

Frequent Coauthors

• Max von Hippel 1 shared papers
• Mike Dodds 1 shared papers
• Quinn Dougherty 1 shared papers