Grzegorz Szubzda

According to our database, Grzegorz Szubzda authored at least 3 papers between 2009 and 2010.

Collaborative distances:

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

2010

Dynamic Verification of Hybrid Programs.

Wei-Fan Chiang, Grzegorz Szubzda, Ganesh Gopalakrishnan, Rajeev Thakur

Proceedings of the Recent Advances in the Message Passing Interface, 2010

2009

Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract).

Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

Some resources for teaching concurrency.

Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009