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 × Hungary
1 × USA
Collaborated with:
P.Gardner J.F.Santos P.Maksimovic Thomas Wood 0001 M.Botincan D.Distefano M.Dodds R.Grigore M.J.Parkinson M.Bodin A.Charguéraud D.Filaretti S.Maffeis A.Schmitt G.Smith
Talks about:
verif (3) javascript (2) program (2) java (2) toolchain (1) mechanis (1) toward (1) specif (1) eclips (1) trust (1)

Person: Daiva Naudziuniene

DBLP DBLP: Naudziuniene:Daiva

Contributed to:

POPL 20142014
ESEC/FSE 20112011
CADE 20172017
POPL 20182018

Wrote 4 papers:

POPL-2014-BodinCFGMNSS #specification
A trusted mechanised JavaSript specification (MB, AC, DF, PG, SM, DN, AS, GS), pp. 87–100.
ESEC-FSE-2011-NaudziunieneBDDGP #automation #ide #java #named #source code #verification
jStar-eclipse: an IDE for automated verification of Java programs (DN, MB, DD, MD, RG, MJP), pp. 428–431.
CADE-2017-SantosGMN #javascript #source code #towards #verification
Towards Logic-Based Verification of JavaScript Programs (JFS, PG, PM, DN), pp. 8–25.
POPL-2018-SantosMNWG #javascript #named #verification
JaVerT: JavaScript verification toolchain (JFS, PM, DN, TW0, PG), p. 33.

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.