|
Search the dblp DataBase
Anh Vo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
Reduced Execution Semantics of MPI: From Theory to Practice. [Citation Graph (, )][DBLP]
Some resources for teaching concurrency. [Citation Graph (, )][DBLP]
Formal verification of practical MPI programs. [Citation Graph (, )][DBLP]
Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. [Citation Graph (, )][DBLP]
How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. [Citation Graph (, )][DBLP]
Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|