1 × India
2 × USA
R.Gjomemo K.S.Namjoshi P.H.Phung L.D.Zuck R.Sekar S.Basu S.Bhatkar D.C.DuVarney C.R.Ramakrishnan I.V.Ramakrishnan S.A.Smolka Y.Dong X.Du A.Roychoudhury
verif (2) approach (1) untrust (1) toolset (1) program (1) practic (1) execut (1) applic (1) optim (1) model (1)
Person: V. N. Venkatakrishnan
Wrote 3 papers:
- VMCAI-2015-GjomemoNPVZ #optimisation #verification
- From Verification to Optimizations (RG, KSN, PHP, VNV, LDZ), pp. 300–317.
- SOSP-2003-SekarVBBD #approach #execution
- Model-carrying code: a practical approach for safe execution of untrusted applications (RS, VNV, SB, SB, DCD), pp. 15–28.
- CAV-2000-RamakrishnanRSDDRV #named #tool support #verification
- XMC: A Logic-Programming-Based Verification Toolset (CRR, IVR, SAS, YD, XD, AR, VNV), pp. 576–580.