| Project Name | Description |
|---|---|
| Total | 4 projects |
| Inspect | Inspect is a tool used for verifying the correctness of multithreaded programs written in c with the pthreads library. There are a few examples of code that you may download. I haven't set up any tutorials for this program. |
| Microsoft CHESS | Microsoft CHESS is a tool used for verifying the correctness of multithreaded programs written in the .NET framework (specifically the C# language). There is a complete description of how to install and use CHESS with a few simple examples. |
| Teaching | Here I have a compilation of teaching resources that I have utilized, for example, I have some Linear Algebra lectures downloadable from here. |
| MPI | MPI is an API that specifies how to communicate between processes using messages. Here I have some notes on how to use the most common and most simple MPI calls in the C programming language. |
