Pinned

1. buildfs Public

   A dynamic method for detecting faults in incremental and parallel builds.

   OCaml 9 1

2. cynthia Public

   Data-Oriented Differential Testing of ORM Systems.

   Scala 9 1

3. AUEB-BALab/fsmove Public

   A command-line tool that detects missing ordering relationships and missing notifiers in Puppet programs.

   OCaml 3

4. StefanosChaliasos/types-bug-study-artifact Public

   Replication package for the OOPSLA 2021 paper titled "Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers".

   Python 3

5. async-tajs Public

   Static Analysis for Asynchronous JavaScript Programs.

   Java 4 1

6. buildfs-gradle-plugin Public

   A plugin that instruments a Gradle project and dumps the dependencies, inputs, and outputs of every Gradle task.

   Kotlin