Software maintained by members of the group
Tools for Analysis, Testing and Verification of Erlang Programs
- Concuerror: A stateless model checking tool for systematically exploring all process interleaving of an Erlang program.
- Dialyzer: A static analysis tool that automatically detects discrepancies (many of which are bugs) in Erlang programs.
Locking Libraries
- Queue Delegation Locking: C and C++ libraries for QD Locking.
Concurrent Data Structures
- Contention Adapting Binary Search Trees: offering Java and C implementations.
- Contention Avoiding Priority Queue: offering C implementation.