18
Publications
1K
Citations
14
H-Index
2013
Active since
Mukund Raghothaman is an author at California University of Pennsylvania specializing in formal methods, engineering, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationData ScienceSoftware EngineeringVerification
Publications per year
2013–2022
18
18
Rajeev Alur, Rastislav Bodík, Garvit Juniwal et al. · 2013 · 512 citations
Regular Functions and Cost Register Automata
Rajeev Alur, Loris D’Antoni, Jyotirmoy V. Deshmukh et al. · 2013 · 75 citations
Learning Loop Invariants for Program Verification
Xujie Si, Hanjun Dai, Mukund Raghothaman et al. · Neural Information Processing Systems · 2018 · 54 citations
User-guided program reasoning using Bayesian inference
Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo et al. · 2018 · 45 citations · Full text
Rows per page
1–5 of 18