Scholar
Ryan Beckett
Google Scholar ID: SX3oGH4AAAAJ
Microsoft Research
networking
programming languages
formal methods
verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,659
H-index
20
i10-index
31
Publications
20
Co-authors
0
Publications
4 items
CornerCase: Automated Extremal Testing of Protocol Implementations using LLMs
2026
Cited
0
A Performance Analyzer for a Public Cloud's ML-Augmented VM Allocator
2025
Cited
0
Extremal Testing for Network Software using LLMs
2025
Cited
0
Oracle-based Protocol Testing with Eywa
arXiv.org · 2023
Cited
3
