Author of the publication

DFTinker: Detecting and Fixing Double-Fetch Bugs in an Automated Way.

, , , and . WASA, volume 10874 of Lecture Notes in Computer Science, page 780-785. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Evaluating OR/MS Journals via PageRank., , , and . Interfaces, 41 (4): 375-388 (2011)An Invariant Method of Fundamental Solutions for the Cauchy Problem in Two-Dimensional Isotropic Linear Elasticity., , and . J. Sci. Comput., 64 (1): 197-215 (2015)The freight allocation problem with lane cost balancing constraint., , and . European Journal of Operational Research, 217 (1): 26-35 (2012)A critical-shaking neighborhood search for the yard allocation problem., and . European Journal of Operational Research, 174 (2): 1247-1259 (2006)Thickness retrieval of dried dielectric layer in Lop Nur lake basin with PolInSAR data., , and . IGARSS, page 2750-2753. IEEE, (2014)Effective algorithms of the Moore-Penrose inverse matrices for extreme learning machine., , , and . Intell. Data Anal., 19 (4): 743-760 (2015)Fault-Tolerant Dynamic Rescheduling for Heterogeneous Computing Systems., , , and . J. Grid Comput., 13 (4): 507-525 (2015)Peer selection in mobile P2P networks based on AHP and GRA., , , , and . ICON, page 179-184. IEEE, (2012)Transportation Procurement with Seasonally Varying Shipper Demand and Volume Guarantees., , and . Operations Research, 56 (3): 758-771 (2008)Collaborative Technique for Concurrency Bug Detection., , , and . International Journal of Parallel Programming, 43 (2): 260-285 (2015)