Repositories list

• ProfileResidualRisk

  Public
  Accurate and Low-Cost Residual Risk Assessment via Sampled Profiling and Structure-Aware Coverage Amplification (ASE 2026)

  C

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 24, 2026Aug 24, 2026

• SWIRL

  Public
  Jupyter Notebook

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 22, 2026Jun 22, 2026

• PALM

  Public
  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 12, 2026Apr 12, 2026

• WhyFlow

  Public
  WhyFlow: Interrogative Debugger for Sensemaking Static Taint Analysis

  Java

  •

  MIT License

  •00 forks•11 star•11 issue•00 pull requests•Updated Apr 2, 2026Apr 2, 2026

• Change-Cover

  Public
  Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation

  Jupyter Notebook

  •

  MIT License

  •11 fork•11 star•00 issues•00 pull requests•Updated Jan 16, 2026Jan 16, 2026

• DuoReduce

  Public
  DuoReduce: Bug Isolation for Multi-Layer Extensible Compilation (FSE 2025)

  Rust

  •

  Apache License 2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Sep 2, 2025Sep 2, 2025

• SynthFuzz

  Public
  ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis

  Python

  •

  Apache License 2.0

  •33 forks•1515 stars•11 issue•00 pull requests•Updated Jul 22, 2025Jul 22, 2025

• NaturalSym

  Public
  FSE 2024: Natural Symbolic Execution-based Testing for Big Data Analytics

  testingapache-sparksymbolic-execution

  testingapache-sparksymbolic-execution

  Java

  •

  Other

  •00 forks•66 stars•00 issues•00 pull requests•Updated Feb 15, 2025Feb 15, 2025

• HeteroGen

  Public
  HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair (ASPLOS 2022)

  fpgacompilationhigh-level-synthesis+ 1

  fpgacompilationhigh-level-synthesisheterogeneous-computing

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •55 forks•1616 stars•00 issues•22 pull requests•Updated Sep 25, 2024Sep 25, 2024

• SURF

  Public
  ICSE 2024: Scaling Code Pattern Inference with Interactive What-If Analysis, 46th International Conference on Software Engineering

  Java

  •

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Sep 25, 2024Sep 25, 2024

• DRust

  Public
  OSDI 2024 DRust: Language-Guided Distributed Shared Memory with Fine Granularity

  00 forks•00 stars•00 issues•00 pull requests•Updated Jul 16, 2024Jul 16, 2024

• ProvenanceInspector

  Public
  NAACL 2024 Findings: Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking

  Jupyter Notebook

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 25, 2024Jun 25, 2024

• Sibyl

  Public
  ACL 2022 Findings: Sibylvariant testing for NLP

  testingnlp-machine-learning

  testingnlp-machine-learning

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 15, 2024Jun 15, 2024

• Midas

  Public
  NSDI 2024: Harvesting Idle Memory for Application-managed Soft State with Midas

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 29, 2024Apr 29, 2024

• HFuzz

  Public
  FSE 2023 Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications

  SystemVerilog

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•22 stars•00 issues•00 pull requests•Updated Aug 26, 2023Aug 26, 2023

• hermit

  Public
  NSDI 2023 Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 24, 2023Apr 24, 2023

• canvas

  Public
  NSDI 2023 Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 24, 2023Apr 24, 2023

• Mako

  Public
  PLDI 2022 Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters

  00 forks•00 stars•00 issues•00 pull requests•Updated Jul 30, 2022Jul 30, 2022

• NLP-Provenance

  Public
  Sibylvariant Transformations for Robust Text Classification

  00 forks•00 stars•00 issues•00 pull requests•Updated Jul 25, 2022Jul 25, 2022

• FlowDebug

  Public
  Influence-Based Provenance for Dataflow Applications with Taint Propagation (SoCC 2020)

  big-dataapache-sparktaint-analysis+ 1

  big-dataapache-sparktaint-analysisautomated-debugging

  Scala

  •

  BSD 2-Clause "Simplified" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 3, 2022Jun 3, 2022

• Examplore

  Public
  Visualizing API Usage Examples at Scale (CHI 2018)

  code-navigationcode-visualizationmining-software-repositories+ 1

  code-navigationcode-visualizationmining-software-repositoriesapi-usage-mining

  JavaScript

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•22 stars•11 issue•00 pull requests•Updated Dec 13, 2021Dec 13, 2021

• APIMatching

  Public
  Automatic Inference of Structural Changes for Matching across Program Versions (ICSE 2007)

  program-differencinglogic-rulesapi-matching

  program-differencinglogic-rulesapi-matching

  BSD 3-Clause "New" or "Revised" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 22, 2021Oct 22, 2021

• OptDebug

  Public
  OptDebug: OptDebug: Fault-Inducing Operation Isolation for Dataflow Applications (SoCC 2021)

  00 forks•00 stars•00 issues•00 pull requests•Updated Oct 15, 2021Oct 15, 2021

• HeteroRefactor

  Public
  HeteroRefactor: Refactoring for Heterogeneous Computing with FPGA (ICSE 2020)

  refactoringfpga

  refactoringfpga

  BSD 3-Clause "New" or "Revised" License

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 12, 2021Oct 12, 2021

• BigSift

  Public
  Automated Debugging in Data-Intensive Scalable Computing (SoCC 2017)

  sparkprovenancedelta-debugging+ 2

  sparkprovenancedelta-debuggingbig-data-analysisautomated-debugging

  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 29, 2021Sep 29, 2021

• RefFinder

  Public
  Template-based Reconstruction of Complex Refactorings (ICSME 2010, Most Influential Paper Award

  logic-queryrefactoring-reconstruction

  logic-queryrefactoring-reconstruction

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•11 star•00 issues•00 pull requests•Updated Sep 29, 2021Sep 29, 2021

• LSDiff

  Public
  Discovering and Representing Systematic Code Changes (ICSE 2009)

  program-differencinglogic-rules

  program-differencinglogic-rules

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •11 fork•11 star•00 issues•00 pull requests•Updated Sep 29, 2021Sep 29, 2021

• ExampleCheck

  Public
  Are Code Examples on an Online Q&A Forum Reliable? A Study of API Misuse on Stack Overflow (ICSE 2018) Augmenting Stack Overflow with API Usage Patterns Mined f…

  chrome-extensionapi-usage-miningcode-example-search

  chrome-extensionapi-usage-miningcode-example-search

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•55 stars•00 issues•00 pull requests•Updated Sep 27, 2021Sep 27, 2021

• BigFuzz

  Public
  BigFuzz: Efficient Fuzz Testing for Data Analytics using Framework Abstraction (ASE 2020)

  apache-sparkfuzzingautomated-testing+ 1

  apache-sparkfuzzingautomated-testingbig-data-analytics

  Java

  •

  BSD 2-Clause "Simplified" License

  •11 fork•77 stars•00 issues•00 pull requests•Updated Sep 27, 2021Sep 27, 2021

• JShrink

  Public
  JShrink: In-depth Investigation into Debloating Modern Java Applications (FSE 2020)

  static-analysisjava-bytecodedynamic-analysis+ 2

  static-analysisjava-bytecodedynamic-analysisprogram-analysisdebloating

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •11 fork•33 stars•00 issues•00 pull requests•Updated Sep 27, 2021Sep 27, 2021