Ryan Beckett
Principal Researcher
新闻与深度文章
加载中
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…
奖项 | 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.