miryung

Pinned Repositories

• grammars-v4

  Grammars written for ANTLR v4; expectation that the grammars are free of actions.

  Language:ANTLR10.2k2301.5k3.7k

• chapters

  Perspectives on Data Science for Software Engineering

  Language:Makefile605112034

• jdebloat

  We designed, implemented, and evaluated three static debloating and delayering functionalities for Java: (1) JShrink: statically remove the body of uninvoked methods through call graph analysis and dynamic profiling, (2)JReduce: reduce unused classes efficiently by taking into dependency based connected component structure for Delta Debugging and (3) JInline: statically inline the body of called methods aggressively

  Language:Python5030

• grammarinator

  ANTLR v4 grammar-based test generator

  Language:Python347135862

• BigFuzz

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

  Language:Java6001

• DeepLearningTest

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

  Language:Jupyter Notebook10004

• 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:Java5000

• HeteroGen

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

  Language:Python17105

• Semeru

  Semeru: A Memory-Disaggregated Managed Runtime (OSDI 2020)

  5010

• SynthFuzz

  ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis

  Language:Python5000

miryung's Repositories