Robuta

https://www.sivak.dev/projects/14-hotnets End-to-End Performance Analysis of Learning-enabled Systems » Siva Kakarla to performance siva kakarla end analysis learning https://www.sivak.dev/ Siva Kakarla siva kakarla https://www.sivak.dev/projects/19-eywa Eywa: Automating Model Based Testing using LLMs » Siva Kakarla using llms siva kakarla eywa automating model https://www.sivak.dev/projects/8-ferret SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers » Siva Kakarla rfc compliance siva kakarla scale automatically finding https://www.sivak.dev/projects/5-groot GRoot: Proactive Verification of DNS Configurations » Siva Kakarla siva kakarla groot proactive verification dns https://pldi24.sigplan.org/profile/sivakesavareddykakarla Siva Kesava Reddy Kakarla - PLDI 2024 Please find the schedule overview here. siva kesava reddy kakarla pldi https://www.microsoft.com/en-us/research/people/sivakakarla/ Siva Kesava Reddy Kakarla at Microsoft Research I am a senior researcher in the Networking Research Group at Microsoft Research, Redmond. I am interested in researching all aspects of the de… siva kesava reddy kakarla at microsoft research