Daiva Naudžiūnienė -

Not registered as user

Name:Daiva Naudžiūnienė

Affiliation:Imperial College London

Personal website: http://www.doc.ic.ac.uk/~dn911/

Contributions

2018

POPL

Author of JaVerT: JavaScript Verification Toolchain within the Research Papers-track
Author of JaVerT: JavaScript Verification using Separation Logic within the Artifact Evaluation-track

2015

JSTools

Author of ES5strict -> IVL, Principled Translation using Operational Semantics within the JSTools-track

	
		OSZAR »