sola-st

Pinned Repositories

crystalbleu
Language:Python26 3 15
DiffSearch
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.
Language:Java19 3 164
DynaPyt
Dynamic analysis framework for Python
Language:Python66 3 4416
IdBench
A benchmark for evaluating embeddings of identifiers in source code.
Language:JavaScript22 2 38
RepairAgent
RepairAgent is an autonomous LLM-based agent for software repair.
Language:Python33 4 39
SemSeed
Language:Jupyter Notebook25 3 24
wasm-binary-security
Language:WebAssembly75 2 14
wasm-call-graphs
Language:Rust17 3 25
wasm-r3
Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Language:Jupyter Notebook26 4 14
WasmBench
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.
Language:Python57 5 18

sola-st's Repositories

sola-st/wasm-binary-security
Language:WebAssembly75 2 14
sola-st/DynaPyt
Dynamic analysis framework for Python
Language:Python66 3 4416
sola-st/WasmBench
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.
Language:Python57 5 18
sola-st/RepairAgent
RepairAgent is an autonomous LLM-based agent for software repair.
Language:Python33 4 39
sola-st/crystalbleu
Language:Python26 3 15
sola-st/wasm-r3
Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Language:Jupyter Notebook26 4 14
sola-st/SemSeed
Language:Jupyter Notebook25 3 24
sola-st/IdBench
A benchmark for evaluating embeddings of identifiers in source code.
Language:JavaScript22 2 38
sola-st/ExecutionAgent
LLM agent to automatically set up arbitrary projects and run their test suites
Language:Python21 4 110
sola-st/DiffSearch
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.
Language:Java19 3 164
sola-st/wasm-call-graphs
Language:Rust17 3 25
sola-st/DyPyBench
Language:Jupyter Notebook13 1 01
sola-st/PythonTypeAnnotationStudy
Language:Python9 4 04
sola-st/wasm-type-prediction
Language:Rust9 1 03
sola-st/MorphQ-Quantum-Qiskit-Testing-ICSE-23
Companion website of "MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform", accepted at ICSE 23
Language:Jupyter Notebook8 1 04
sola-st/fluffy
Fluffy: Bimodal Taint Analysis using CodeQL
Language:Python6 3 0
sola-st/PyTy
Automated program repair of Python type errors
Language:Python6 3 25
sola-st/string-bugs
Language:Python6 3 01
sola-st/LintQ
LintQ: A Static Analysis Framework for Qiskit Quantum Programs
Language:Jupyter Notebook5 3 01
sola-st/github-workflow-resource-optimization
Artifact for "Resource Usage and Optimization Opportunities in Workflows of GitHub Actions" (ICSE'24)
Language:Jupyter Notebook3 1 10
sola-st/Nalin
Language:Python3 2 01
sola-st/CMI-Finder
CMI-Finder is a deep learning-based framework to detect inconsistent condition-message statements in Python code
Language:Python2 2 10
sola-st/DiffSearch-UI
Language:TypeScript2 1 00
sola-st/MetaCodeSum
A meta learning based apporach for code summarization
Language:Python2 2 01
sola-st/ChangeGuard
ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution
Language:Python
sola-st/suppression_study
Language:Python
sola-st/Treefix
Language:Python