Repositories list

• HeteroGen

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

  fpgacompilationhigh-level-synthesis+ 1heterogeneous-computing

  Python

  •

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

  •5•17•0•2•Updated Sep 25, 2024Sep 25, 2024

• SynthFuzz

  Public
  ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis

  Python

  •

  Apache License 2.0

  •0•5•0•0•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

  •0•1•0•0•Updated Sep 25, 2024Sep 25, 2024

• DRust

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

  0•0•0•0•Updated Jul 16, 2024Jul 16, 2024

• ProvenanceInspector

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

  Jupyter Notebook

  •0•0•0•0•Updated Jun 25, 2024Jun 25, 2024

• Sibyl

  Public
  ACL 2022 Findings: Sibylvariant testing for NLP

  testingnlp-machine-learning

  Python

  •

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

  •0•0•0•0•Updated Jun 15, 2024Jun 15, 2024

• NaturalSym

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

  testingapache-sparksymbolic-execution

  Java

  •

  Other

  •0•1•0•0•Updated May 3, 2024May 3, 2024

• Midas

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

  MIT License

  •0•0•0•0•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

  •0•2•0•0•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

  •0•0•0•0•Updated Apr 24, 2023Apr 24, 2023

• canvas

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

  MIT License

  •0•1•0•0•Updated Apr 24, 2023Apr 24, 2023

• Mako

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

  0•0•0•0•Updated Jul 30, 2022Jul 30, 2022

• NLP-Provenance

  Public
  Sibylvariant Transformations for Robust Text Classification

  0•0•0•0•Updated Jul 25, 2022Jul 25, 2022

• FlowDebug

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

  big-dataapache-sparktaint-analysis+ 1automated-debugging

  Scala

  •

  BSD 2-Clause "Simplified" License

  •0•0•0•0•Updated Jun 3, 2022Jun 3, 2022

• Examplore

  Public
  Visualizing API Usage Examples at Scale (CHI 2018)

  code-navigationcode-visualizationmining-software-repositories+ 1api-usage-mining

  JavaScript

  •

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

  •0•2•1•0•Updated Dec 13, 2021Dec 13, 2021

• APIMatching

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

  program-differencinglogic-rulesapi-matching

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

  •0•0•0•0•Updated Oct 22, 2021Oct 22, 2021

• OptDebug

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

  0•0•0•0•Updated Oct 15, 2021Oct 15, 2021

• HeteroRefactor

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

  refactoringfpga

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

  •0•1•0•0•Updated Oct 12, 2021Oct 12, 2021

• BigSift

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

  provenancedelta-debuggingbig-data-analysis+ 2automated-debuggingspark

  Shell

  •0•0•0•0•Updated Sep 29, 2021Sep 29, 2021

• RefFinder

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

  logic-queryrefactoring-reconstruction

  Java

  •

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

  •0•1•0•0•Updated Sep 29, 2021Sep 29, 2021

• LSDiff

  Public
  Discovering and Representing Systematic Code Changes (ICSE 2009)

  program-differencinglogic-rules

  Java

  •

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

  •0•0•0•0•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 from GitHub (FSE 2018 Demo)

  chrome-extensionapi-usage-miningcode-example-search

  Java

  •

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

  •0•5•0•0•Updated Sep 27, 2021Sep 27, 2021

• BigFuzz

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

  apache-sparkautomated-testingbig-data-analytics+ 1fuzzing

  Java

  •

  BSD 2-Clause "Simplified" License

  •1•6•0•0•Updated Sep 27, 2021Sep 27, 2021

• JShrink

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

  java-bytecodedynamic-analysisprogram-analysis+ 2debloatingstatic-analysis

  Java

  •

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

  •1•2•0•0•Updated Sep 27, 2021Sep 27, 2021

• PerfDebug

  Public
  PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems (SoCC 2019)

  apache-sparkperformance-analysisdata-provenance+ 2debuggingperformance

  Scala

  •

  Apache License 2.0

  •1•0•0•0•Updated Sep 26, 2021Sep 26, 2021

• ALICE

  Public
  Active Inductive Logic Programming for Code Search (ICSE 2019)

  code-navigationprogram-synthesiscode-search+ 1inductive-logic-programming

  Java

  •

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

  •0•1•0•0•Updated Sep 26, 2021Sep 26, 2021

• Grafter

  Public
  Automated Transplantation and Differential Testing for Clones (ICSE 2017)

  automated-testingcode-clonesdifferential-testing+ 1code-transplantation

  Java

  •

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

  •0•1•0•0•Updated Sep 26, 2021Sep 26, 2021

• Titian

  Public
  Titian: Data Provenance Support in Spark (VLDB 2016) / Adding Data Provenance Support to Apache Spark (VLDB Journal)

  provenancetaint-analysisbig-data-analytics+ 2taint-trapache-spark

  Scala

  •

  Apache License 2.0

  •0•3•0•0•Updated Sep 26, 2021Sep 26, 2021

• BigDebug

  Public
  BigDebug: Debugging Primitives for Interactive Big Data Processing in Spark (ICSE 2016)

  debuggerdebuggingapache-spark+ 2debugger-visualizerautomated-debugging

  Scala

  •

  Apache License 2.0

  •2•4•0•0•Updated Sep 26, 2021Sep 26, 2021

• BigTest

  Public
  White-Box Testing of Big Data Analytics with Complex User-Defined Function (FSE 2019)

  sparkapacheautomated-testing+ 1big-data-analytics

  Java

  •0•2•0•0•Updated Sep 26, 2021Sep 26, 2021