Software-Engineering Group at the University of Trier

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

FixExamples

honest-profiler

A sampling JVM profiler without the safepoint sample bias

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.

segroup-uni-trier/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.

segroup-uni-trier/codesparks-pmd-demo

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

segroup-uni-trier/SDRaytracer

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

segroup-uni-trier/async-profiler

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

segroup-uni-trier/calfuzzer

segroup-uni-trier/chapters

Perspectives on Data Science for Software Engineering

segroup-uni-trier/collectionSwitch

A runtime framework for efficient selection of Java collections

segroup-uni-trier/ComRaDe

ComRade: A Tool For Evaluating Race Detectors

segroup-uni-trier/concurrencytest-simple

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

segroup-uni-trier/cortex-tool

Cortex -- Production-guided Concurrency Debugging

segroup-uni-trier/FixExamples

segroup-uni-trier/honest-profiler

A sampling JVM profiler without the safepoint sample bias

segroup-uni-trier/java-fork-join-example

Java Creed - Java Fork Join Example

segroup-uni-trier/marytts

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

segroup-uni-trier/Multithreaded-Simulations

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

segroup-uni-trier/renaissance

The Renaissance Benchmark Suite

segroup-uni-trier/concBugsFinder

Concurrency Bugs Finder, continue to develop from findthread project

segroup-uni-trier/concurrency-bugs

segroup-uni-trier/concurrency_bug_subjects

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

segroup-uni-trier/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.

segroup-uni-trier/symbiosis

Symbiosis - Concurrency Debugging via Differential Schedule Projections

segroup-uni-trier/tandem