Software

Fixit (Meta open source) - a Python linting framework with support for auto-fixes, custom lint rules, and hierarchical configuration.

LibCST (Meta open source) - a Concrete Syntax Tree (CST) parser and serializer library for Python.

Mosaic (Meta open source) - a memory profiling and analysis tool for PyTorch that visualizes memory usage patterns and identifies memory peaks and bottlenecks.

SapientML (Fujitsu Research of America open source) - a generative AutoML technique that generates machine learning pipelines for predictive tasks on new datasets.

CompCheck - a client-specific Java library upgrade compatibility checking framework.

CompSuite - a Java third-party library incompatibility issue dataset with concrete reproducible test cases.

CSlicer/Definer - automatic semantic slicing tools for identifying a subset of change sets (commits) that implement a software functionality.

Diffbase - a toolset for extracting, storing, and supporting efficient querying and manipulation of differential facts to support various program analysis tasks.

DocCon - a Solidity smart contract API documentation error detector.

DoSC - a dataset for benchmarking software analysis techniques that dynamically discover semantic changes.

GenSlice - a generalized semantic history slicing framework that integrates several existing techniques and facilitates their comparisons and analyses.

MPChecker - a tool for identifying inconsistencies in multi-parameter constraints between documentation and code in Python data science libraries.

ODRepair - an automated tool that repairs order-dependent flaky tests.

Relancer - a tool for restoring the executability of broken Jupyter Notebooks by upgrading deprecated APIs.

RTSCheck - a framework for finding bugs in regression test selection tools.

SeaHorn - an automated verification and analysis framework for LLVM-based languages.