UCLA Software Engineering Analysis Laboratory (SEAL)

Professor Miryung Kim's Research Group on Software Engineering

United States of America

Pinned Repositories

BigDebug
BigDebug: Debugging Primitives for Interactive Big Data Processing in Spark (ICSE 2016)
Language:Scala3 0 02
BigFuzz
BigFuzz: Efficient Fuzz Testing for Data Analytics using Framework Abstraction (ASE 2020)
Language:Java6 0 01
BigTest
White-Box Testing of Big Data Analytics with Complex User-Defined Function (FSE 2019)
Language:Java2 0 00
DeepLearningTest
Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)
Language:Jupyter Notebook9 0 04
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:Java5 0 00
HeteroFuzz
Fuzz Testing to Detect Platform Dependent Divergence for Heterogeneous Application (FSE 2021)
Language:C3 0 01
HeteroGen
HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair (ASPLOS 2022)
Language:Python16 1 05
HeteroRefactor
HeteroRefactor: Refactoring for Heterogeneous Computing with FPGA (ICSE 2020)
1 0 00
Semeru
Semeru: A Memory-Disaggregated Managed Runtime (OSDI 2020)
5 0 10
Titian
Titian: Data Provenance Support in Spark (VLDB 2016) / Adding Data Provenance Support to Apache Spark (VLDB Journal)
Language:Scala3 0 00

UCLA Software Engineering Analysis Laboratory (SEAL) 's Repositories

UCLA-SEAL/HeteroGen
HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair (ASPLOS 2022)
Language:Python16 1 05
UCLA-SEAL/BigFuzz
BigFuzz: Efficient Fuzz Testing for Data Analytics using Framework Abstraction (ASE 2020)
Language:Java6 0 01
UCLA-SEAL/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:Java5 0 00
UCLA-SEAL/BigDebug
BigDebug: Debugging Primitives for Interactive Big Data Processing in Spark (ICSE 2016)
Language:Scala3 0 02
UCLA-SEAL/HeteroFuzz
Fuzz Testing to Detect Platform Dependent Divergence for Heterogeneous Application (FSE 2021)
Language:C3 0 01
UCLA-SEAL/Titian
Titian: Data Provenance Support in Spark (VLDB 2016) / Adding Data Provenance Support to Apache Spark (VLDB Journal)
Language:Scala3 0 00
UCLA-SEAL/BigTest
White-Box Testing of Big Data Analytics with Complex User-Defined Function (FSE 2019)
Language:Java2 0 00
UCLA-SEAL/Examplore
Visualizing API Usage Examples at Scale (CHI 2018)
Language:JavaScript2 0 10
UCLA-SEAL/HFuzz
FSE 2023 Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications
Language:SystemVerilog2
UCLA-SEAL/JShrink
JShrink: In-depth Investigation into Debloating Modern Java Applications (FSE 2020)
Language:Java2 0 01
UCLA-SEAL/ALICE
Active Inductive Logic Programming for Code Search (ICSE 2019)
Language:Java1 0 0
UCLA-SEAL/Grafter
Automated Transplantation and Differential Testing for Clones (ICSE 2017)
Language:Java1 0 01
UCLA-SEAL/HeteroRefactor
HeteroRefactor: Refactoring for Heterogeneous Computing with FPGA (ICSE 2020)
1 0 00
UCLA-SEAL/NaturalSym
Language:Java1
UCLA-SEAL/RefFinder
Template-based Reconstruction of Complex Refactorings (ICSME 2010, Most Influential Paper Award
Language:Java1 0 0
UCLA-SEAL/APIMatching
Automatic Inference of Structural Changes for Matching across Program Versions (ICSE 2007)
UCLA-SEAL/BigSift
Automated Debugging in Data-Intensive Scalable Computing (SoCC 2017)
Language:Shell0 0
UCLA-SEAL/canvas
Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory
UCLA-SEAL/ExampleStack
Analyzing and Supporting Adaptation of Online Code Examples (ICSE 2019)
Language:Java0 0
UCLA-SEAL/FlowDebug
Influence-Based Provenance for Dataflow Applications with Taint Propagation (SoCC 2020)
Language:Scala0 0
UCLA-SEAL/hermit
Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony
UCLA-SEAL/LSDiff
Discovering and Representing Systematic Code Changes (ICSE 2009)
Language:Java
UCLA-SEAL/Mako
Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
UCLA-SEAL/Midas
UCLA-SEAL/NLP-Provenance
Sibylvariant Transformations for Robust Text Classification
1 0
UCLA-SEAL/OptDebug
OptDebug: OptDebug: Fault-Inducing Operation Isolation for Dataflow Applications (SoCC 2021)
0 0
UCLA-SEAL/PerfDebug
PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems (SoCC 2019)
Language:Scala0 01
UCLA-SEAL/ProvenanceInspector
Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking
Language:Jupyter Notebook
UCLA-SEAL/Sibyl
Sibylvariant testing for NLP
Language:Python
UCLA-SEAL/SURF
Language:Java