sessionc/mpi-pabble-extractor
An application which can extract parameterised protocol from MPI C source code
Developer Profile
sessionc
Discovered public repositories for sessionc in the GitHub catalog.
sessionc/MPI-Type-checker
A program build as a clang plugin in order to enhance communication safety of MPI programs. This is performed by extracting the MPI primitives and the language constructs from a given source code. Following that a global protocol given to the program will be projected into local protocols. The type checker checks the conformance between the trees generated from the extractor and the trees representing their corresponding local protocols. If type checking is successful then the communication safety is preserved. Otherwise, the type checker will print the trees showing the errors found.
sessionc/sessc-typechecker
Session C typechecker
sessionc/sessc-mpi
Session C runtime in MPI
sessionc/sessc-common
Common module for Session C runtime
sessionc/libscribble
Parameterised Scribble protocol descripton language support library
sessionc/libsesstype
Session Types programming library for C/C++