Skip to content
View jeho-oh's full-sized avatar
2 followers · 0 following
  • University of Texas at Austin
  • Austin, Texas

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report jeho-oh

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. Kclause_Smarch Kclause_Smarch Public

    This is the supplementary Web site to the paper "Uniform Random Sampling for Kconfig Based Systems"

    C 2

  2. HCS_Optimizer HCS_Optimizer Public

    Uniform sampling based optimization of highly configurable systems

    Python 2

  3. FSE2017 FSE2017 Public

    This is the code archive for the paper 'Finding Near-optimal Configuraitons in Product Lines by Random Sampling' published in FSE/ESEC 2017

    Java 1

  4. Smarch Smarch Public

    Smarch - An algorithm for uniform sampling solutions of a propositional formula

    Python 1 1

  5. Smarch_t_wise Smarch_t_wise Public

    Repository for SPLC 2019 Challenge Solution : t-wise Coverage by Uniform Sampling

    Python

  6. jeho-oh.github.io jeho-oh.github.io Public

    Forked from academicpages/academicpages.github.io

    Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

    JavaScript