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 × France
1 × Sweden
1 × United Kingdom
3 × USA
Collaborated with:
D.Filaretti F.Levi P.Gardner C.Hothersall-Thomas C.Novakovic G.D.Smith C.Fournet A.D.Gordon M.Bodin A.Charguéraud D.Naudziuniene A.Schmitt G.Smith
Talks about:
browser (2) javascript (1) interpret (1) framework (1) disciplin (1) mechanis (1) abstract (1) program (1) ambient (1) toward (1)

Person: Sergio Maffeis

DBLP DBLP: Maffeis:Sergio

Contributed to:

ISSTA 20152015
ECOOP 20142014
POPL 20142014
POPL 20122012
ESOP 20052005
SAS 20012001

Wrote 6 papers:

ISSTA-2015-Hothersall-Thomas #automation #named #security #testing
BrowserAudit: automated testing of browser security features (CHT, SM, CN), pp. 37–47.
ECOOP-2014-FilarettiM #execution #php #semantics
An Executable Formal Semantics of PHP (DF, SM), pp. 567–592.
POPL-2014-BodinCFGMNSS #specification
A trusted mechanised JavaSript specification (MB, AC, DF, PG, SM, DN, AS, GS), pp. 87–100.
POPL-2012-GardnerMS #javascript #logic #towards
Towards a program logic for JavaScript (PG, SM, GDS), pp. 31–44.
ESOP-2005-FournetGM #policy
A Type Discipline for Authorization Policies (CF, ADG, SM), pp. 141–156.
SAS-2001-LeviM #abstract interpretation #framework #mobile
An Abstract Interpretation Framework for Analysing Mobile Ambients (FL, SM), pp. 395–411.

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.