Artifacts

This page contains a list of artifacts produced by research from DISCO.

Voyager Voyager is a multiverse debugger probe-effect free implemented on top of the AmbientTalk operational semantics.
Guardia Guardia is an internal DSL for expressing application-specific declarative access control policies.
Kómpos Kómpos is a multiparadigm concurrent debugger for applications implemented in the SOMns programming language.
Apgar Apgar is an online message-oriented debugger for actor-based applications implemented for the SOMns programming language.
IDRA IDRA is an out-of-place debugger for Pharo Smalltalk.
Spa/Port Spa and Port are Big Data parallel execution frameworks for Pharo Smalltalk.
Flec Flec is an extensible programming framework for CRDTs written in TypeScript.
SECROs Strong Eventually Consistent Replicated Objects (SECROs) let programmers replicate sequential data types by declaring application-level invariants.
UTAFITILOG UtafitiLog is an artifact demonstrating the use of visual and dataflow programming in the implementation of distributed applications.