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 × Denmark
1 × France
1 × India
1 × Spain
1 × Turkey
Collaborated with:
L.Beringer A.W.Appel A.Banerjee A.Nanevski G.R.Crane A.Babeu S.Cuellar R.Dockins M.Gowda G.Mainland B.Radunovic D.Vytiniotis C.L.Agullo
Talks about:
corpora (2) verifi (2) paramodul (1) heterogen (1) wireless (1) structur (1) composit (1) theorem (1) textual (1) program (1)

Person: Gordon Stewart

DBLP DBLP: Stewart:Gordon

Contributed to:

ASPLOS 20152015
POPL 20152015
ESOP 20142014
PPDP 20132013
ICFP 20122012
JCDL 20072007

Wrote 6 papers:

ASPLOS-2015-StewartGMRVA #domain-specific language #named #programming
Ziria: A DSL for Wireless Systems Programming (GS, MG, GM, BR, DV, CLA), pp. 415–428.
POPL-2015-StewartBCA #composition
Compositional CompCert (GS, LB, SC, AWA), pp. 275–287.
ESOP-2014-BeringerSDA #c #compilation
Verified Compilation for Shared-Memory C (LB, GS, RD, AWA), pp. 107–127.
PPDP-2013-StewartBN #data flow #data type #dependent type #policy #semistructured data
Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures (GS, AB, AN), pp. 145–156.
ICFP-2012-StewartBA #proving #theorem proving
Verified heap theorem prover by paramodulation (GS, LB, AWA), pp. 3–14.
JCDL-2007-StewartCB #corpus #generative #mining #scalability
A new generation of textual corpora: mining corpora from very large collections (GS, GRC, AB), pp. 356–365.

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.