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 × Portugal
Collaborated with:
P.Gardner J.F.Santos D.Naudziuniene C.Watt N.R.Krishnaswami Gabriela Sampaio G.N.Hoang L.Liquori V.Ciancaglini H.N.Chan Thomas Wood 0001 Théotime Grohens J.Dolby
Talks about:
javascript (4) program (2) symbol (2) execut (2) verif (2) logic (2) ver (2) toolchain (1) heterogen (1) protocol (1)

Person: Petar Maksimovic

DBLP DBLP: Maksimovic:Petar

Contributed to:

SAC 20132013
CADE 20172017
ECOOP 20192019
POPL 20182018
PPDP 20182018
POPL 20192019

Wrote 6 papers:

SAC-2013-HoangLCMC #network #protocol
A backward-compatible protocol for inter-routing over heterogeneous overlay networks (GNH, LL, VC, PM, HNC), pp. 649–651.
CADE-2017-SantosGMN #javascript #source code #towards #verification
Towards Logic-Based Verification of JavaScript Programs (JFS, PG, PM, DN), pp. 8–25.
ECOOP-2019-WattMKG #encapsulation #first-order #logic
A Program Logic for First-Order Encapsulated WebAssembly (CW, PM, NRK, PG), p. 30.
POPL-2018-SantosMNWG #javascript #named #verification
JaVerT: JavaScript verification toolchain (JFS, PM, DN, TW0, PG), p. 33.
PPDP-2018-SantosMGDG #execution #javascript #symbolic computation
Symbolic Execution for JavaScript (JFS, PM, TG, JD, PG), p. 14.
POPL-2019-SantosMSG #composition #execution #javascript #symbolic computation
JaVerT 2.0: compositional symbolic execution for JavaScript (JFS, PM, GS, PG), p. 31.

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.