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 × Canada
4 × USA
Collaborated with:
P.Gardner J.O'Brien J.Trevor T.Rodden C.Watt T.Wood M.J.Wheelhouse U.Zarfaty M.Bodin A.Charguéraud D.Filaretti S.Maffeis D.Naudziuniene A.Schmitt
Talks about:
mechanis (2) interfac (2) specif (2) trust (2) user (2) architectur (1) javascript (1) heterogen (1) landscap (1) electron (1)

Person: Gareth Smith

DBLP DBLP: Smith:Gareth

Contributed to:

CAV 20152015
POPL 20142014
PODS 20082008
CSCW 19981998
CSCW 19961996

Wrote 6 papers:

CAV-2015-GardnerSWW #javascript #specification
A Trusted Mechanised Specification of JavaScript: One Year On (PG, GS, CW, TW), pp. 3–10.
POPL-2014-BodinCFGMNSS #specification
A trusted mechanised JavaSript specification (MB, AC, DF, PG, SM, DN, AS, GS), pp. 87–100.
PODS-2008-GardnerSWZ #hoare #reasoning
Local Hoare reasoning about DOM (PG, GS, MJW, UZ), pp. 261–270.
CSCW-1998-SmithO #user interface
Re-coupling Tailored User Interfaces (GS, JO), pp. 237–246.
CSCW-1998-TrevorRS #architecture
Out of this World: An Extensible Session Architecture for Heterogeneous Electronic Landscapes (JT, TR, GS), pp. 119–128.
CSCW-1996-Smith #2d #lessons learnt #multi #user interface
Cooperative Virtual Environments: Lessons from 2D Multi User Interfaces (GS), pp. 390–398.

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.