FAU Erlangen-Nuremberg: Chair of Computer Science 2 (Programming Systems) (FAU-Inf2)

FAU Erlangen-Nuremberg: Chair of Computer Science 2 (Programming Systems)

FAU-Inf2

Geek Repo

Location:Erlangen, Germany

Home Page:https://www.ps.tf.fau.de/

Github PK Tool:Github PK Tool

FAU Erlangen-Nuremberg: Chair of Computer Science 2 (Programming Systems)'s repositories

Language:JavaLicense:LGPL-3.0Stargazers:12Issues:7Issues:0

StarSmith

This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Programs" published at ICST'20.

Language:JavaLicense:MITStargazers:10Issues:10Issues:0

godot-vive-pro-eye

Godot driver for the eye-tracking API of the HTC Vive Pro Eye

Language:C++Stargazers:9Issues:2Issues:0
Language:JavaLicense:Apache-2.0Stargazers:6Issues:18Issues:3

AuDoscore

AuDoscore is an extension of JUnit that is used to evaluate Java programming exercises.

Language:JavaLicense:Apache-2.0Stargazers:5Issues:8Issues:35

sesame

Repository accompanying the paper "SeSaMe: A Data Set of Semantically Similar Java Methods"

Language:PythonStargazers:5Issues:0Issues:0
Language:JavaLicense:CC0-1.0Stargazers:5Issues:7Issues:0
Language:JavaLicense:Apache-2.0Stargazers:4Issues:9Issues:0
Language:JavaLicense:Apache-2.0Stargazers:2Issues:9Issues:0

FuzzPEG

FuzzPEG: A Context-Free Random Program Generator

Language:JavaLicense:MITStargazers:2Issues:0Issues:0

j-PEG

j-PEG: A PEG parsing framework for Java

Language:JavaLicense:MITStargazers:2Issues:0Issues:0
Language:JavaScriptStargazers:2Issues:16Issues:0

llvm-examples

A simple example that shows how to build an LLVM pass as a dynamic library as well as a stand-alone application

Language:C++License:MITStargazers:1Issues:9Issues:0

RedBench

This repository accompanies the research paper "P. Kreutzer, T. Kunze, M. Philippsen: Test Case Reduction: A Framework, Benchmark, and Comparative Study" published at ICSME'21.

Language:CLicense:MITStargazers:1Issues:11Issues:0

RedPEG

This repository accompanies the research paper "P. Kreutzer, T. Kunze, M. Philippsen: Test Case Reduction: A Framework, Benchmark, and Comparative Study" published at ICSME'21.

Language:JavaLicense:MITStargazers:1Issues:0Issues:0

bitdep

Repository for the research paper "Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible"

Language:JavaLicense:GPL-3.0Stargazers:0Issues:11Issues:0
Language:JavaLicense:MITStargazers:0Issues:13Issues:0
Language:LLVMStargazers:0Issues:10Issues:1

debugger

A sample implementation of a very basic debugger for x86-64/Linux.

Language:CLicense:NOASSERTIONStargazers:0Issues:9Issues:0

IMPACT24RP

This repository accompanies the research paper "Employing polyhedral methods to optimize stencils on FPGAs with stencil-specific caches, data reuse, and wide data bursts" published at IMPACT'24.

Language:C++License:MITStargazers:0Issues:8Issues:0
Stargazers:0Issues:10Issues:0

MiniC

MiniC: A Toy SUT for Compiler Testing Techniques

Language:JavaLicense:MITStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:9Issues:0
Language:CStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0
Stargazers:0Issues:9Issues:0
Language:JavaStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0