BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Venkatakrishnan:V=_N=

Contributed to:

VMCAI 20152015
SOSP 20032003
CAV 20002000

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.