Verifying Data Integrity for Multi-Threaded Programs

Imran Pinjari, Michael Shin, Pushkar Ogale. Verifying Data Integrity for Multi-Threaded Programs. In Hans-Georg Fill, Francisco José Domínguez-Mayo, Marten van Sinderen, Leszek A. Maciaszek, editors, Proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, Rome, Italy, July 10-12, 2023. pages 588-595, SCITEPRESS, 2023. [doi]

Authors

Imran Pinjari

This author has not been identified. Look up 'Imran Pinjari' in Google

Michael Shin

This author has not been identified. Look up 'Michael Shin' in Google

Pushkar Ogale

This author has not been identified. Look up 'Pushkar Ogale' in Google