Author of the publication

An Integrated Framework for Checking Concurrency-Related Programming Errors.

, and . COMPSAC (1), page 676-679. IEEE Computer Society, (2009)

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

Atomicity and provenance support for pipelined scientific workflows., , , , , and . Future Gener. Comput. Syst., 25 (5): 568-576 (2009)Interaction of neuronal and network mechanisms on firing propagation in a feedforward network., and . Neurocomputing, (2020)Ranking Neural Checkpoints., , , , , , and . CoRR, (2020)Improving Object Detection with Selective Self-supervised Self-training., , , , and . ECCV (29), volume 12374 of Lecture Notes in Computer Science, page 589-607. Springer, (2020)Runtime Analysis of Atomicity for Multithreaded Programs., and . IEEE Trans. Software Eng., 32 (2): 93-110 (2006)On complementing unsupervised learning with uncertainty quantification., , and . Pattern Recognit. Lett., (December 2023)Efficient zeroth-order proximal stochastic method for nonconvex nonsmooth black-box problems., and . Mach. Learn., 113 (1): 97-120 (January 2024)An optimized parallel LSQR algorithm for seismic tomography., , , , and . Comput. Geosci., (2013)Anthropomorphic diagnosis of runtime hidden behaviors in OpenMP multi-threaded applications., , , , and . J. Parallel Distributed Comput., (July 2023)SD-GIS-based temporal-spatial simulation of water quality in sudden water pollution accidents., , , , , , and . Comput. Geosci., 37 (7): 874-882 (2011)