Khedker, Uday P.
- Interprocedural Data Flow Analysis in Soot using Value Contexts
2013/04/23 by Rohan Padhye, Padhye, Rohan, Uday P. Khedker +1 · 2 citations
Computer Science · #Distributed systems and fault tolerance #F.3.2 #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
- Generalizing the Liveness Based Points-to Analysis
2014/11/19 by Khedker, Uday P., Kanvar, Vini · 1 citation
#D.2.4 #D.3.4 #F.3.1 #F.3.2 #FOS: Computer and information sciences #Programming Languages (cs.PL)