Diogo Sousa

According to our database, Diogo Sousa authored at least 6 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Verifying Concurrent Programs Using Contracts.

Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2015

Preventing Atomicity Violations with Contracts.

Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira, João Lourenço

CoRR, 2015

2012

Using program closures to make an application programming interface (API) implementation thread safe.

Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa

Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012

2011

Detecting concurrency anomalies in transactional memory programs.

João Lourenço, Diogo Sousa, Bruno C. Teixeira, Ricardo J. Dias

Comput. Sci. Inf. Syst., 2011

Practical verification of high-level dataraces in transactional memory programs.

Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa

Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, 2011

2010

Detection of Transactional Memory anomalies using static analysis.

Bruno C. Teixeira, João Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo Sousa

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010