Giters
UCLA Software Engineering Analysis Laboratory (SEAL) (UCLA-SEAL)

UCLA Software Engineering Analysis Laboratory (SEAL)

UCLA-SEAL

Organization data from Github https://github.com/UCLA-SEAL

Professor Miryung Kim's Research Group on Software Engineering

Location:United States of America

Home Page:http://web.cs.ucla.edu/~miryung/

GitHub:@UCLA-SEAL

UCLA Software Engineering Analysis Laboratory (SEAL) 's repositories

HeteroGen

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

Language:PythonLicense:BSD-3-ClauseStargazers:17Issues:1Issues:0

BigFuzz

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

Language:JavaLicense:BSD-2-ClauseStargazers:7Issues:0Issues:0

ExampleCheck

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)

Language:JavaLicense:BSD-3-ClauseStargazers:5Issues:0Issues:0

SynthFuzz

ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis

Language:PythonLicense:Apache-2.0Stargazers:5Issues:0Issues:0

BigDebug

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

Language:ScalaLicense:Apache-2.0Stargazers:4Issues:0Issues:0

NaturalSym

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

Language:JavaLicense:NOASSERTIONStargazers:4Issues:0Issues:0

Examplore

Visualizing API Usage Examples at Scale (CHI 2018)

Language:JavaScriptLicense:BSD-3-ClauseStargazers:3Issues:0Issues:1

JShrink

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

Language:JavaLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0

Titian

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

Language:ScalaLicense:Apache-2.0Stargazers:3Issues:0Issues:0

HFuzz

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

Language:SystemVerilogLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

ALICE

Active Inductive Logic Programming for Code Search (ICSE 2019)

Language:JavaLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

canvas

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

License:MITStargazers:1Issues:1Issues:0

Grafter

Automated Transplantation and Differential Testing for Clones (ICSE 2017)

Language:JavaLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

HeteroRefactor

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

License:BSD-3-ClauseStargazers:1Issues:0Issues:0

RefFinder

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

Language:JavaLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

SURF

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

Language:JavaLicense:Apache-2.0Stargazers:1Issues:1Issues:0

APIMatching

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

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

BigSift

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

Language:ShellStargazers:0Issues:0Issues:0

DRust

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

Stargazers:0Issues:0Issues:0

DuoReduce

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

Language:RustStargazers:0Issues:0Issues:0

FlowDebug

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

Language:ScalaLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

hermit

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

License:MITStargazers:0Issues:1Issues:0

LSDiff

Discovering and Representing Systematic Code Changes (ICSE 2009)

Language:JavaLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

Mako

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

Stargazers:0Issues:0Issues:0

Midas

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

License:MITStargazers:0Issues:0Issues:0

NLP-Provenance

Sibylvariant Transformations for Robust Text Classification

Stargazers:0Issues:1Issues:0

OptDebug

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

Stargazers:0Issues:0Issues:0

PerfDebug

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

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ProvenanceInspector

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

Language:Jupyter NotebookStargazers:0Issues:1Issues:0

Sibyl

ACL 2022 Findings: Sibylvariant testing for NLP

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0