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: Stewart:Gordon
Contributed to:
2015
2015
2014
2013
2012
2007Wrote 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.