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 × Hungary
1 × South Korea
1 × United Kingdom
Collaborated with:
P.Gardner C.Calcagno D.Edge S.Gulwani N.Milic-Frayling R.A.Saputra C.Wang K.Yatani
Talks about:
footprint (1) slidewar (1) parallel (1) approach (1) automat (1) reason (1) global (1) separ (1) logic (1) local (1)

Person: Mohammad Raza

DBLP DBLP: Raza:Mohammad

Contributed to:

CHI 20152015
ESOP 20092009
FoSSaCS 20082008

Wrote 3 papers:

CHI-2015-EdgeGMRSWY #editing
Mixed-Initiative Approaches to Global Editing in Slideware (DE, SG, NMF, MR, RAS, CW, KY), pp. 3503–3512.
ESOP-2009-RazaCG #automation #logic #parallel
Automatic Parallelization with Separation Logic (MR, CC, PG), pp. 348–362.
FoSSaCS-2008-RazaG #reasoning
Footprints in Local Reasoning (MR, PG), pp. 201–215.

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.