Kevin Laeufer

Identifiers

• name variant Kevin Laeufer 0.60 · backfill

Papers (1)

1. Specifying Hardware Communication as Programs cs.PL · 2026 · author #5

Mentions

• 2606.13659 #5 · arxiv_oai · confidence 0.70 Kevin Laeufer

Frequent Coauthors

• Adrian Sampson 1 shared papers
• Ernest Ng 1 shared papers
• Francis Pham 1 shared papers
• Nikil Shyamsunder 1 shared papers