Author of the publication

Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.

, , , , and . OSDI, page 281-294. USENIX Association, (2008)

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

Discovery of new multifunctional selective acetylcholinesterase inhibitors: structure-based virtual screening and biological evaluation., , , , , , and . Journal of Computer-Aided Molecular Design, 33 (5): 521-530 (2019)Theoretical Analysis of Performance Degradation Due to Phase Noise and I/Q Imbalance in MQAM-OFDM Systems., , and . ICC, page 3627-3631. IEEE, (2008)A convex optimization approach to semi-supervised identification of switched ARX systems., , and . CDC, page 2573-2578. IEEE, (2014)Sixth order compact scheme combined with multigrid method and extrapolation technique for 2D poisson equation., and . J. Comput. Physics, 228 (1): 137-146 (2009)Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software., , , , and . IEEE Trans. Automat. Contr., 58 (5): 1123-1138 (2013)Mining Large-Scale GPS Streams for Connectivity Refinement of Road Maps., , , and . Comput. J., 58 (9): 2109-2119 (2015)Frobenius norm minimization and probing for preconditioning., , and . Int. J. Comput. Math., 84 (8): 1211-1223 (2007)On the Optimal Petri Net Representation for Service Composition., , and . ICWS, page 235-242. IEEE Computer Society, (2011)Adding Multi-Class Routing into the DiffServ Architecture., , and . Systems Communications, page 326-334. IEEE Computer Society, (2005)A model for estimating the out-degree of nodes in associated semantic network from semantic feature view., , , and . Concurrency and Computation: Practice and Experience, 28 (15): 4177-4193 (2016)