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: Raza:Mohammad
Contributed to:
2015
2009
2008Wrote 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.