Browsing by Author "Zhang, Lu"
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Item Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis(Institute of electrical and electronics engineers, 2013) Wang, iaoyin; Zhang, Lu; Xie; Mei, Hong; Sun, JiasuItem Round-Up : Runtime Verification of Quasi Linearizability for Concurrent Data Structures(Institute of electrical and electronics engineers, 2015) Zhang, Lu; Chattopadhyay, Arijit; Wang, Chao