Travelled to:1 × France
2 × China
2 × USA
Collaborated with:V.Sarkar Z.Budimlic R.Lublinerman S.Chaudhuri M.G.Burke R.Surendran R.Barik E.M.Westbrook R.Raman M.T.Vechev E.Yahav
Talks about:parallel (4) isol (2) structur (1) scalabl (1) practic (1) permiss (1) datarac (1) analysi (1) sensit (1) scalar (1)
Person: Jisheng Zhao
DBLP: Zhao:Jisheng
Contributed to:
2014
2013
2012
201220112018Wrote 6 papers:
- CC-2014-SurendranBZS #array #using
- Inter-iteration Scalar Replacement Using Array SSA Form (RS, RB, JZ, VS), pp. 40–60.
- OOPSLA-2013-ZhaoLBCS #parallel
- Isolation for nested task parallelism (JZ, RL, ZB, SC, VS), pp. 571–588.
- ECOOP-2012-WestbrookZBS #parallel
- Practical Permissions for Race-Free Parallelism (EMW, JZ, ZB, VS), pp. 614–639.
- PLDI-2012-RamanZSVY #concurrent #detection #parallel #precise #scalability
- Scalable and precise dynamic datarace detection for structured parallelism (RR, JZ, VS, MTV, EY), pp. 531–542.
- OOPSLA-2011-LublinermanZBCS
- Delegated isolation (RL, JZ, ZB, SC, VS), pp. 885–902.
- CC-2018-ZhaoBS #analysis #parallel #points-to
- Parallel sparse flow-sensitive points-to analysis (JZ, MGB, VS), pp. 59–70.