activity
20112026
most citedContext-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads

47 citations · 134 across the 31 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Govind Rajanbabu +1

Remote Direct Memory Access (RDMA) is a technology that allows direct memory access from the memory of one computer into that of another without involving either one's operating sy…