Author of the publication

Data-race detection: the missing piece for an end-to-end semantic equivalence checker for parallelizing transformations of array-intensive programs.

, , and . ARRAY@PLDI, page 1-8. ACM, (2016)

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

Postulating Exoplanetary Habitability via a Novel Anomaly Detection Method., , , , and . CoRR, (2021)Factors Influencing Research Contributions and Researcher Interactions in Software Engineering: An Empirical Study., , , and . APSEC (1), page 34-41. IEEE Computer Society, (2013)978-1-4799-2143-0.Analyzing Risky Behavior in Traffic Accidents., , and . SMC, page 464-471. IEEE, (2020)An Empirical Study of Hadoop's Energy Efficiency on a HPC Cluster., , , and . ICCS, volume 29 of Procedia Computer Science, page 62-72. Elsevier, (2014)VLODS: a VLSI object oriented database system., , , and . Inf. Syst., 16 (1): 73-96 (1991)Secure the Cloud: From the Perspective of a Service-Oriented Organization., , , and . ACM Comput. Surv., 47 (3): 41:1-41:30 (2015)d-BTAI: The Dynamic-Binary Tree Based Anomaly Identification Algorithm for Industrial Systems., , , and . IEA/AIE (2), volume 12799 of Lecture Notes in Computer Science, page 519-532. Springer, (2021)Identifying hotspots in a program for data parallel architecture: an early experience., and . ISEC, page 131-137. ACM, (2012)Towards Transforming an Industrial Automation System from Monolithic to Microservices., , and . ETFA, page 1256-1259. IEEE, (2018)Mining Invariants from SaaS Application Logs (Practical Experience Report)., , , , , and . EDCC, page 50-57. IEEE Computer Society, (2014)