Raghothaman, Mukund

1. The SyGuS Language Standard Version 2.1
   2023/12/10 by Saswat Padhi, Padhi, Saswat, Elizabeth Polgreen +7 · 2 citations
   Computer Science · #Formal Methods in Verification #Advanced Software Engineering Methodologies #Software Engineering Research
2. Synthesizing Datalog Programs Using Numerical Relaxation
   2019/06/01 by Si, Xujie, Raghothaman, Mukund, Heo, Kihong +1 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
3. Data-Driven Synthesis of Provably Sound Side Channel Analyses
   2021/02/12 by Wang, Jingbo, Sung, Chungha, Raghothaman, Mukund +1 · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)