Skip to content

@ARiSE-Lab ARiSE Lab @ Columbia University

All

    Repositories list

    25 repositories

    • live-kbench

      Public
      Contamination-free Linux kernel crash benchmarks for all
      Python
      •1•7•0•0•Updated May 29, 2026May 29, 2026

    • understanding-apr-agents

      Public
      [ISSTA '26] Understanding APR Agents Through the Lens of Traceability
      Python
      •0•0•0•0•Updated May 26, 2026May 26, 2026

    • kGymSuite

      Public
      kGymSuite: Evaluating Linux Patches at Scale ⚡
      Python
      •
      Other
      •3•18•0•0•Updated May 8, 2026May 8, 2026

    • python-sdk

      Public
      codellm-devkit provides unified language to get off-the-shelf static analysis for multiple programming languages and support for applying those analyses for co…
      Python
      •
      Apache License 2.0
      •28•0•0•0•Updated Feb 3, 2025Feb 3, 2025

    • codellm-devkit

      Public
      codellm-devkit provides unified language to get off-the-shelf static analysis for multiple programming languages and support for applying those analyses for co…
      Python
      •
      Apache License 2.0
      •28•1•0•0•Updated Jan 29, 2025Jan 29, 2025

    • C2SafeRust-TSE

      Public
      Rust
      •0•1•0•0•Updated Jan 20, 2025Jan 20, 2025

    • cweval-bench

      Public
      JavaScript
      •0•0•0•0•Updated Jan 15, 2025Jan 15, 2025

    • SemCoder

      Public
      [NeurIPS'24] SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning
      Python
      •
      MIT License
      •3•32•0•0•Updated Nov 19, 2024Nov 19, 2024

    • sepl-seminar

      Public
      Website for Columbia SE/PL Seminar
      SCSS
      •
      MIT License
      •10•0•0•0•Updated Oct 4, 2024Oct 4, 2024

    • TRACED_ICSE_24

      Public
      Python
      •9•22•0•1•Updated Mar 21, 2024Mar 21, 2024

    • CYCLE_OOPSLA_24

      Public
      Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"
      Apache License 2.0
      •0•10•1•0•Updated Mar 8, 2024Mar 8, 2024

    • CONCORD_ISSTA_23

      Public
      Open-source repository for the ISSTA'23 paper "CONCORD: Clone-aware Contrastive Learning for Source Code"
      Python
      •
      Apache License 2.0
      •4•11•0•0•Updated Nov 10, 2023Nov 10, 2023

    • VELVET

      Public
      Python
      •
      MIT License
      •3•24•2•0•Updated Nov 10, 2023Nov 10, 2023

    • Patch-as-translation

      Public
      Python
      •
      MIT License
      •2•7•0•0•Updated Aug 30, 2020Aug 30, 2020

    • MTFuzz

      Public
      C
      •0•7•2•0•Updated Jun 22, 2020Jun 22, 2020

    • GitCommitActivityGraph

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Apr 7, 2020Apr 7, 2020

    • EPEx

      Public
      Tool for detecting error handling bugs
      C++
      •8•0•0•0•Updated Feb 16, 2020Feb 16, 2020

    • DeepInspect

      Public
      DeepInspect code release
      Python
      •
      MIT License
      •4•11•0•0•Updated Feb 11, 2020Feb 11, 2020

    • HiBench

      Public
      HiBench is a big data benchmark suite.
      Java
      •
      Other
      •765•0•0•0•Updated Jan 27, 2020Jan 27, 2020

    • deepTest

      Public
      A systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles
      Python
      •36•78•2•0•Updated Feb 12, 2019Feb 12, 2019

    • ErrDoc

      Public
      Tools for detecting, categorizing and repairing error handling bugs.
      C++
      •5•2•0•0•Updated Sep 9, 2018Sep 9, 2018

    • EntityNamedLanguageModel

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •483•0•0•0•Updated Jun 5, 2018Jun 5, 2018

    • APEx

      Public
      Tool for automatically generating error specifications of API functions.
      Python
      •1•0•0•0•Updated May 20, 2018May 20, 2018

    • gitcproc

      Public
      Tool for analyzing git log messages and diffs.
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •11•2•0•0•Updated Apr 12, 2018Apr 12, 2018

    • LanModeledProgramGeneartion-master

      Public
      Python
      •1•0•0•0•Updated Feb 18, 2018Feb 18, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.