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 6 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 17 5

  6. HeteroRefactor HeteroRefactor Public

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

    1

Repositories

Showing 10 of 38 repositories
  • 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 17 BSD-3-Clause 5 0 2 Updated Sep 25, 2024
  • SynthFuzz Public

    ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis

    UCLA-SEAL/SynthFuzz’s past year of commit activity
    Python 5 Apache-2.0 0 0 0 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
  • DRust Public

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

    UCLA-SEAL/DRust’s past year of commit activity
    0 0 0 0 Updated Jul 16, 2024
  • ProvenanceInspector Public

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

    UCLA-SEAL/ProvenanceInspector’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Jun 25, 2024
  • Sibyl Public

    ACL 2022 Findings: Sibylvariant testing for NLP

    UCLA-SEAL/Sibyl’s past year of commit activity
    Python 0 BSD-3-Clause 0 0 0 Updated Jun 15, 2024
  • NaturalSym Public

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

    UCLA-SEAL/NaturalSym’s past year of commit activity
    Java 1 0 0 0 Updated May 3, 2024
  • Midas Public

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

    UCLA-SEAL/Midas’s past year of commit activity
    0 MIT 0 0 0 Updated Apr 29, 2024
  • HFuzz Public

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

    UCLA-SEAL/HFuzz’s past year of commit activity
    SystemVerilog 2 BSD-3-Clause 0 0 0 Updated Aug 26, 2023
  • hermit Public

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

    UCLA-SEAL/hermit’s past year of commit activity
    0 MIT 0 0 0 Updated Apr 24, 2023
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…