Repositories list

• codesparks-framework

  Public
  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.

  visualizationideprogram-analysis+ 4software-frameworksoftware-maintenancesource-code-augmentationcodesparks-framework

  Java

  •

  Apache License 2.0

  •0•2•0•0•Updated Dec 14, 2024Dec 14, 2024

• codesparks-pmd-demo

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

  visualizationideprogram-analysis+ 4idea-pluginsoftware-maintenancesource-code-augmentationcodesparks-framework

  Java

  •

  Apache License 2.0

  •0•2•2•0•Updated Dec 14, 2024Dec 14, 2024

• marytts

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

  Java

  •

  Other

  •741•0•0•0•Updated Nov 25, 2021Nov 25, 2021

• tandem

  Public
  1•0•0•0•Updated May 19, 2020May 19, 2020

• async-profiler

  Public
  Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

  C++

  •

  Apache License 2.0

  •860•0•0•0•Updated Feb 28, 2020Feb 28, 2020

• jpf-core

  Public
  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.

  Java

  •344•0•0•0•Updated Feb 23, 2020Feb 23, 2020

• renaissance

  Public
  The Renaissance Benchmark Suite

  Scala

  •

  GNU General Public License v3.0

  •59•0•0•0•Updated Feb 18, 2020Feb 18, 2020

• honest-profiler

  Public
  A sampling JVM profiler without the safepoint sample bias

  Java

  •

  MIT License

  •145•0•0•0•Updated Nov 13, 2019Nov 13, 2019

• java-fork-join-example

  Public
  Java Creed - Java Fork Join Example

  Java

  •

  Apache License 2.0

  •25•0•0•0•Updated Nov 27, 2018Nov 27, 2018

• chapters

  Public
  Perspectives on Data Science for Software Engineering

  Makefile

  •34•0•0•0•Updated Sep 7, 2018Sep 7, 2018

• FixExamples

  Public
  Java

  •4•0•0•0•Updated Aug 28, 2018Aug 28, 2018

• ComRaDe

  Public
  ComRade: A Tool For Evaluating Race Detectors

  Java

  •4•0•0•0•Updated Jun 27, 2018Jun 27, 2018

• collectionSwitch

  Public
  A runtime framework for efficient selection of Java collections

  Java

  •6•0•0•0•Updated Jun 20, 2018Jun 20, 2018

• cortex-tool

  Public
  Cortex -- Production-guided Concurrency Debugging

  Java

  •5•0•0•0•Updated Feb 22, 2018Feb 22, 2018

• Multithreaded-Simulations

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

  Java

  •3•0•0•0•Updated Jan 20, 2018Jan 20, 2018

• concurrencytest-simple

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

  Java

  •1•0•0•0•Updated Nov 25, 2017Nov 25, 2017

• SDRaytracer

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

  Java

  •19•1•0•0•Updated Nov 13, 2017Nov 13, 2017

• symbiosis

  Public
  Symbiosis - Concurrency Debugging via Differential Schedule Projections

  Java

  •7•0•0•0•Updated Apr 22, 2017Apr 22, 2017

• concurrency-bugs

  Public
  Java

  •1•0•0•0•Updated Nov 18, 2016Nov 18, 2016

• calfuzzer

  Public
  Java

  •9•0•0•0•Updated Mar 13, 2015Mar 13, 2015

• concBugsFinder

  Public
  Concurrency Bugs Finder, continue to develop from findthread project

  Java

  •1•0•0•0•Updated Oct 24, 2014Oct 24, 2014

• concurrency_bug_subjects

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

  Java

  •4•0•0•0•Updated Mar 15, 2014Mar 15, 2014