Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw

First Page		Document Content
Date: 2017-04-30 18:44:12 Software engineering Computer programming Computing Object-oriented programming languages KeY Symbolic execution Thread LLVM Parallel computing D Concolic testing		Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw Add to Reading List Source URL: www.ieee-security.org Download Document from Source Website File Size: 514,41 KB Share Document on Facebook

	Millisort: An Experiment in Granular Computing Seo Jin Park with Yilong Li, Collin Lee and John Ousterhout Massively Parallel Granular Computing DocID: 1xUyt - View Document
	arXiv:1803.04432v1 [cs.DC] 12 MarMemory Models for C/C++ Programmers Manuel P¨oter Jesper Larsson Tr¨aff Research Group Parallel Computing DocID: 1xTxL - View Document
	FEIIC International Journal of Engineering and Technology, Vol. 13, No.2, 2016, ppSURVEY ANALYSIS ON THE EMBEDDED TCPP CURRICULUM IN PARALLEL AND DISTRIBUTED COMPUTING COURSE DocID: 1vq34 - View Document
	Parallel Computing with IPython: an application to air pollution modeling DocID: 1vlLp - View Document
	Multi-EM Multi-Method Inversion to Determine the Electrical Conductivity Distribution of the Subsurface Using Parallel Computing Architectures Multi-EM DocID: 1uVPD - View Document