Home

 

Sting is an optimizing session type compiler for Java from Purdue University.
Sting is an extension of sessionj from Imperial College London. This implementation uses Polyglot compiler framework and javaflow continuation library.


As failure handling and recovery represents a major task in the design and development of distributed systems, a new version of the STING compiler is being developed in order to support fault-tolerant protocol design and implementation. The upcoming features will include language and runtime support for the detection and handling of failures that arise in individual system components or in the underlying network.

The compiler and runtime system are also being benchmarked using a set of common distributed protocols such as x-phase-commit protocols and shibboleth, among others.