Giter Site home page Giter Site logo

UCLA Software Engineering Analysis Laboratory (SEAL) 's Projects

alice icon alice

Active Inductive Logic Programming for Code Search (ICSE 2019)

apimatching icon apimatching

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

bigdebug icon bigdebug

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

bigfuzz icon bigfuzz

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

bigsift icon bigsift

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

bigtest icon bigtest

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

canvas icon canvas

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

deeplearningtest icon deeplearningtest

Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)

dorylus icon dorylus

Dorylus: Affordable, Scalable, and Accurate GNN Training over Billion-Edge Graphs (OSDI 2021)

examplecheck icon 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)

examplestack icon examplestack

Analyzing and Supporting Adaptation of Online Code Examples (ICSE 2019)

examplore icon examplore

Visualizing API Usage Examples at Scale (CHI 2018)

flowdebug icon flowdebug

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

grafter icon grafter

Automated Transplantation and Differential Testing for Clones (ICSE 2017)

hermit icon hermit

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

heterofuzz icon heterofuzz

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

heterogen icon heterogen

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

heterorefactor icon heterorefactor

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

hfuzz icon hfuzz

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

jshrink icon jshrink

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

lsdiff icon lsdiff

Discovering and Representing Systematic Code Changes (ICSE 2009)

mako icon mako

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

optdebug icon optdebug

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

perfdebug icon perfdebug

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

qdiff icon qdiff

QDiff: Differential Testing of Quantum Software Stacks (ASE 2021)

refdistiller icon refdistiller

Refactoring Inspection Support for Manual Refactoring Edits (TSE 2017)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.