Skip to content

@sola-st sola-st

Change the repository type filter

All

    Repositories list

    29 repositories

    • RepairAgent

      Public
      RepairAgent is an autonomous LLM-based agent for software repair.
      agentautonomousautomated-program-repairai4sellmsllm-agent
      Python
      •
      Other
      •14•59•1•3•Updated Jul 24, 2025Jul 24, 2025

    • Treefix

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Jul 8, 2025Jul 8, 2025

    • DynaPyt

      Public
      Dynamic analysis framework for Python
      Python
      •
      MIT License
      •15•76•8•0•Updated Jul 7, 2025Jul 7, 2025

    • ExecutionAgent

      Public
      LLM agent to automatically set up arbitrary projects and run their test suites
      Python
      •
      Other
      •20•45•1•0•Updated Jul 7, 2025Jul 7, 2025

    • DyLin

      Public
      Dynamic Linter for Python
      Python
      •
      MIT License
      •1•7•1•0•Updated Jul 2, 2025Jul 2, 2025

    • suppression_study

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Jun 13, 2025Jun 13, 2025

    • wasm-r3

      Public
      Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
      Jupyter Notebook
      •
      MIT License
      •4•33•2•0•Updated May 22, 2025May 22, 2025

    • ChangeGuard

      Public
      ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution
      Python
      •
      MIT License
      •1•1•0•0•Updated May 21, 2025May 21, 2025

    • qite-quantum-platform-testing

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Mar 14, 2025Mar 14, 2025

    • MorphQ-Quantum-Qiskit-Testing-ICSE-23

      Public
      Companion website of "MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform", accepted at ICSE 23
      Jupyter Notebook
      •
      MIT License
      •5•9•0•0•Updated Mar 12, 2025Mar 12, 2025

    • LintQ

      Public
      LintQ: A Static Analysis Framework for Qiskit Quantum Programs
      Jupyter Notebook
      •
      MIT License
      •2•5•0•1•Updated Feb 14, 2025Feb 14, 2025

    • PyTy

      Public
      Automated program repair of Python type errors
      Python
      •
      MIT License
      •6•7•0•0•Updated Oct 23, 2024Oct 23, 2024

    • Nalin

      Public
      Python
      •
      MIT License
      •1•3•0•0•Updated Aug 2, 2024Aug 2, 2024

    • DyPyBench

      Public
      Jupyter Notebook
      •
      MIT License
      •1•15•0•0•Updated May 1, 2024May 1, 2024

    • DiffSearch

      Public
      DiffSearch is a search engine for code changes. The input is a query that describes a code change and the output is a list of matching code changes. It is scalable and it retrieves the result in a few seconds.
      Java
      •
      MIT License
      •5•19•7•1•Updated Feb 9, 2024Feb 9, 2024

    • github-workflow-resource-optimization

      Public
      Artifact for "Resource Usage and Optimization Opportunities in Workflows of GitHub Actions" (ICSE'24)
      Jupyter Notebook
      •
      MIT License
      •0•3•0•0•Updated Jan 5, 2024Jan 5, 2024

    • PythonTypeAnnotationStudy

      Public
      Python
      •
      MIT License
      •4•9•0•0•Updated Oct 9, 2023Oct 9, 2023

    • wasm-call-graphs

      Public
      Rust
      •
      Apache License 2.0
      •5•17•1•0•Updated Sep 1, 2023Sep 1, 2023

    • DiffSearch-UI

      Public
      TypeScript
      •0•2•0•0•Updated Jun 28, 2023Jun 28, 2023

    • fluffy

      Public
      Fluffy: Bimodal Taint Analysis using CodeQL
      Python
      •
      MIT License
      •0•9•0•0•Updated May 23, 2023May 23, 2023

    • CMI-Finder

      Public
      CMI-Finder is a deep learning-based framework to detect inconsistent condition-message statements in Python code
      deep-learningsoftware-engineeringinconsistency-detection
      Python
      •
      MIT License
      •0•2•1•0•Updated Feb 10, 2023Feb 10, 2023

    • crystalbleu

      Public
      Python
      •
      Apache License 2.0
      •5•31•0•0•Updated Nov 22, 2022Nov 22, 2022

    • WasmBench

      Public
      A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study WebAssembly, for training machine learning models, and much more.
      webassemblydataset
      Python
      •
      MIT License
      •8•61•1•0•Updated Jul 20, 2022Jul 20, 2022

    • wasm-binary-security

      Public
      WebAssembly
      •5•79•0•0•Updated Jun 13, 2022Jun 13, 2022

    • wasm-type-prediction

      Public
      Rust
      •
      MIT License
      •3•11•0•0•Updated Mar 22, 2022Mar 22, 2022

    • MetaCodeSum

      Public
      A meta learning based apporach for code summarization
      Python
      •1•2•0•0•Updated Feb 3, 2022Feb 3, 2022

    • IdBench

      Public
      A benchmark for evaluating embeddings of identifiers in source code.
      JavaScript
      •8•22•0•0•Updated Aug 23, 2021Aug 23, 2021

    • SemSeed

      Public
      Jupyter Notebook
      •
      MIT License
      •4•25•0•0•Updated Jun 17, 2021Jun 17, 2021

    • string-bugs

      Public
      Python
      •1•6•0•0•Updated Aug 28, 2020Aug 28, 2020