Skip to content
@UCLA-SEAL

UCLA Software Engineering Analysis Laboratory (SEAL)

Professor Miryung Kim's Research Group on Software Engineering

Pinned Loading

  1. HeteroFuzz HeteroFuzz Public

    Fuzz Testing to Detect Platform Dependent Divergence for Heterogeneous Application (FSE 2021)

    C 3 1

  2. BigDebug BigDebug Public

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

    Scala 4 2

  3. BigFuzz BigFuzz Public

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

    Java 7 1

  4. BigTest BigTest Public

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

    Java 2

  5. HeteroGen HeteroGen Public

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

    Python 16 5

  6. HeteroRefactor HeteroRefactor Public

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

    1

Repositories

Showing 10 of 44 repositories
  • ProfileResidualRisk Public

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

    UCLA-SEAL/ProfileResidualRisk's past year of commit activity
    C 0 MIT 0 0 0 Updated Aug 24, 2026
  • SWIRL Public
    UCLA-SEAL/SWIRL's past year of commit activity
    Jupyter Notebook 0 BSD-3-Clause 0 0 0 Updated Jun 22, 2026
  • PALM Public
    UCLA-SEAL/PALM's past year of commit activity
    Java 1 0 0 0 Updated Apr 12, 2026
  • WhyFlow Public

    WhyFlow: Interrogative Debugger for Sensemaking Static Taint Analysis

    UCLA-SEAL/WhyFlow's past year of commit activity
    Java 1 MIT 0 1 0 Updated Apr 2, 2026
  • Change-Cover Public

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

    UCLA-SEAL/Change-Cover's past year of commit activity
    Jupyter Notebook 1 MIT 1 0 0 Updated Jan 16, 2026
  • DuoReduce Public

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

    UCLA-SEAL/DuoReduce's past year of commit activity
    Rust 0 Apache-2.0 1 0 0 Updated Sep 2, 2025
  • SynthFuzz Public

    ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis

    UCLA-SEAL/SynthFuzz's past year of commit activity
    Python 15 Apache-2.0 3 1 0 Updated Jul 22, 2025
  • NaturalSym Public

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

    UCLA-SEAL/NaturalSym's past year of commit activity
    Java 6 0 0 0 Updated Feb 15, 2025
  • HeteroGen Public

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

    UCLA-SEAL/HeteroGen's past year of commit activity
    Python 16 BSD-3-Clause 5 0 2 Updated Sep 25, 2024
  • SURF Public

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

    UCLA-SEAL/SURF's past year of commit activity
    Java 1 Apache-2.0 0 0 0 Updated Sep 25, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…