Travelled to:1 × India
2 × USA
Collaborated with: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
Talks about:verif (2) approach (1) untrust (1) toolset (1) program (1) practic (1) execut (1) applic (1) optim (1) model (1)
Person: V. N. Venkatakrishnan
DBLP: Venkatakrishnan:V=_N=
Contributed to:
2015
2003
2000Wrote 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.