Pinned Repositories
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.
Software-Engineering Group at the University of Trier's Repositories
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