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)
BigFuzz
BigFuzz: Efficient Fuzz Testing for Data Analytics using Framework Abstraction (ASE 2020)
BigTest
White-Box Testing of Big Data Analytics with Complex User-Defined Function (FSE 2019)
DeepLearningTest
Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)
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)
HeteroFuzz
Fuzz Testing to Detect Platform Dependent Divergence for Heterogeneous Application (FSE 2021)
HeteroGen
HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair (ASPLOS 2022)
HeteroRefactor
HeteroRefactor: Refactoring for Heterogeneous Computing with FPGA (ICSE 2020)
Semeru
Semeru: A Memory-Disaggregated Managed Runtime (OSDI 2020)
Titian
Titian: Data Provenance Support in Spark (VLDB 2016) / Adding Data Provenance Support to Apache Spark (VLDB Journal)
UCLA Software Engineering Analysis Laboratory (SEAL) 's Repositories
UCLA-SEAL/DeepLearningTest
Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)
UCLA-SEAL/Semeru
Semeru: A Memory-Disaggregated Managed Runtime (OSDI 2020)
UCLA-SEAL/HeteroFuzz
Fuzz Testing to Detect Platform Dependent Divergence for Heterogeneous Application (FSE 2021)
UCLA-SEAL/QDiff
QDiff: Differential Testing of Quantum Software Stacks (ASE 2021)
UCLA-SEAL/Dorylus
Dorylus: Affordable, Scalable, and Accurate GNN Training over Billion-Edge Graphs (OSDI 2021)
UCLA-SEAL/ExampleStack
Analyzing and Supporting Adaptation of Online Code Examples (ICSE 2019)
UCLA-SEAL/RefDistiller
Refactoring Inspection Support for Manual Refactoring Edits (TSE 2017)
UCLA-SEAL/WebJShrink
WebJShrink: A Web Service for Debloating Java Bytecode (FSE 2020 Demo)