Max von Hippel

Identifiers

• name variant Max von Hippel 0.60 · backfill

Papers (2)

1. FVSpec: Real-World Property-Based Tests as Lean Challenges cs.SE · 2026 · author #2
2. Automated Channel Fault Analysis with Tofu cs.CR · 2026 · author #2

Mentions

• 2606.01008 #2 · arxiv_oai · confidence 0.70 Max von Hippel

Frequent Coauthors

• Cristina Nita-Rotaru 1 shared papers
• Hazel Shackleton 1 shared papers
• Jacob Ginesin 1 shared papers
• Mike Dodds 1 shared papers
• Quinn Dougherty 1 shared papers