Author of the publication

DSGEN: concolic testing GPU implementations of concurrent dynamic data structures.

, and . ICS, page 75-87. ACM, (2021)

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

Parallelizing Data Flow Analysis, , and . (May 1990)Automatic Generation of a Compact Test Suit., and . IFIP Congress (1), volume A-12 of IFIP Transactions, page 237-243. North-Holland, (1992)A Demand-Driven Analyzer for Data Flow Testing at the Integration Level., , and . ICSE, page 575-584. IEEE Computer Society, (1996)Computing matched-epipolar projections., and . CVPR, page 549-555. IEEE, (1993)Support for symmetric shadow memory in multiprocessors., and . PADTAD, page 5. ACM, (2008)Register Pressure Sensitive Redundancy Elimination., and . CC, volume 1575 of Lecture Notes in Computer Science, page 107-121. Springer, (1999)Towards a Non-Intrusive Approach for Monitoring Distributed Computations through Perturbation Analysis., and . LCPC, volume 768 of Lecture Notes in Computer Science, page 586-601. Springer, (1993)Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables., , and . CC, volume 641 of Lecture Notes in Computer Science, page 192-206. Springer, (1992)Learning universal probabilistic models for fault localization., and . PASTE, page 81-88. ACM, (2010)Address-aware fences., , and . ICS, page 313-324. ACM, (2013)