Skip to content

@sola-st sola-st

Change the repository type filter

All

    Repositories list

    23 repositories

    • PyTy

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

    • DynaPyt

      Public
      Dynamic analysis framework for Python
      Python
      •
      MIT License
      •14•56•5•0•Updated Oct 18, 2024Oct 18, 2024

    • wasm-r3

      Public
      Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
      Jupyter Notebook
      •
      MIT License
      •3•23•0•0•Updated Sep 3, 2024Sep 3, 2024

    • Nalin

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

    • RepairAgent

      Public
      RepairAgent is an autonomous LLM-based agent for software repair.
      agentautonomousautomated-program-repairai4sellmsllm-agent
      Python
      •
      Other
      •6•18•0•0•Updated Jul 10, 2024Jul 10, 2024

    • 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
      •4•6•0•0•Updated Jun 13, 2024Jun 13, 2024

    • LintQ

      Public
      LintQ: A Static Analysis Framework for Qiskit Quantum Programs
      Jupyter Notebook
      •
      MIT License
      •1•1•0•1•Updated Jun 13, 2024Jun 13, 2024

    • DyPyBench

      Public
      Jupyter Notebook
      •
      MIT License
      •1•9•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
      •4•18•6•0•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•2•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•13•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•6•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•22•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•52•1•0•Updated Jul 20, 2022Jul 20, 2022

    • wasm-binary-security

      Public
      WebAssembly
      •4•75•0•0•Updated Jun 13, 2022Jun 13, 2022

    • wasm-type-prediction

      Public
      Rust
      •
      MIT License
      •1•9•0•0•Updated Mar 22, 2022Mar 22, 2022

    • MetaCodeSum

      Public
      A meta learning based apporach for code summarization
      Python
      •0•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