Ryan Beckett
Chercheur principal
Nouvelles et reportages
Chargement
Prix | IETF News
Siva Karkala awarded 2023 IRTF Applied Networking Research Prize
Siva Kakarla has been awarded one of six IETF Applied Networking Research Prizes for 2023, for his work on “SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers”. Kakarla and his colleagues, Ryan Beckett, George Varghese and Todd Millstein, introduce…
Prix | PLDI'22
PLDI’22 Distinguished Paper Award
Ryan Beckett (Microsoft), along with coauthors Michael Greenberg (Stevens Institute of Tech) and Eric Campbell (Cornell) received the Distinguished Paper Award at PLDI'22 for their publication Kleene Algebra Modulo Theories: A Framework for Concrete KATs.