segroup-uni-trier Goto Github PK

async-profiler

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

calfuzzer

chapters

Perspectives on Data Science for Software Engineering

codesparks-framework

The CodeSparks framework aims to facilitate the integration of software analysis tools into the IDE such that their results are shown as glyph-based visualizations in the source code.

codesparks-pmd-demo

This is a demo implementation of a CodeSparks plugin for the IntelliJ IDEA.

collectionswitch

A runtime framework for efficient selection of Java collections

comrade

ComRade: A Tool For Evaluating Race Detectors

concbugsfinder

Concurrency Bugs Finder, continue to develop from findthread project

concurrency-bugs

concurrency_bug_subjects

Multi-threaded Java/C/C++ subject programs

concurrencytest-simple

Describes a bug in Cayenne that occurs when doing threaded stuff with a connection pool

cortex-tool

Cortex -- Production-guided Concurrency Debugging

fixexamples

honest-profiler

A sampling JVM profiler without the safepoint sample bias

java-fork-join-example

Java Creed - Java Fork Join Example

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

marytts

MARY TTS -- an open-source, multilingual text-to-speech synthesis system written in pure java

multithreaded-simulations

Academic assignments of the Foundations of Parallel, Concurrent, and Multithreaded Programming course

renaissance

The Renaissance Benchmark Suite

sdraytracer

Implementation of a very simple raytracer, used for teaching purposes in lectures of the software engineering group.

symbiosis

Symbiosis - Concurrency Debugging via Differential Schedule Projections

tandem