{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"DynaPyt","owner":"sola-st","isFork":false,"description":"Dynamic analysis framework for Python","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":7,"starsCount":56,"forksCount":14,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-11T21:01:41.663Z"}},{"type":"Public","name":"wasm-r3","owner":"sola-st","isFork":false,"description":"Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":20,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-03T11:39:08.471Z"}},{"type":"Public","name":"Nalin","owner":"sola-st","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-02T21:38:58.464Z"}},{"type":"Public","name":"RepairAgent","owner":"sola-st","isFork":false,"description":"RepairAgent is an autonomous LLM-based agent for software repair. ","allTopics":["agent","autonomous","automated-program-repair","ai4se","llms","llm-agent"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":17,"forksCount":6,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T11:54:18.808Z"}},{"type":"Public","name":"MorphQ-Quantum-Qiskit-Testing-ICSE-23","owner":"sola-st","isFork":false,"description":"Companion website of \"MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform\", accepted at ICSE 23","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-13T13:00:26.236Z"}},{"type":"Public","name":"LintQ","owner":"sola-st","isFork":false,"description":"LintQ: A Static Analysis Framework for Qiskit Quantum Programs","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-13T12:56:36.261Z"}},{"type":"Public","name":"DyPyBench","owner":"sola-st","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T09:55:29.826Z"}},{"type":"Public","name":"PyTy","owner":"sola-st","isFork":false,"description":"Automated program repair of Python type errors","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-17T13:02:21.650Z"}},{"type":"Public","name":"DiffSearch","owner":"sola-st","isFork":false,"description":"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.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":6,"starsCount":18,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-09T08:22:04.126Z"}},{"type":"Public","name":"github-workflow-resource-optimization","owner":"sola-st","isFork":false,"description":"Artifact for \"Resource Usage and Optimization Opportunities in Workflows of GitHub Actions\" (ICSE'24)","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-05T04:30:21.249Z"}},{"type":"Public","name":"PythonTypeAnnotationStudy","owner":"sola-st","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-09T12:34:03.430Z"}},{"type":"Public","name":"wasm-call-graphs","owner":"sola-st","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":1,"starsCount":13,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-01T11:57:30.001Z"}},{"type":"Public","name":"DiffSearch-UI","owner":"sola-st","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-28T08:42:51.665Z"}},{"type":"Public","name":"fluffy","owner":"sola-st","isFork":false,"description":"Fluffy: Bimodal Taint Analysis using CodeQL","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-23T12:07:44.010Z"}},{"type":"Public","name":"CMI-Finder","owner":"sola-st","isFork":false,"description":"CMI-Finder is a deep learning-based framework to detect inconsistent condition-message statements in Python code","allTopics":["deep-learning","software-engineering","inconsistency-detection"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-10T10:07:02.641Z"}},{"type":"Public","name":"crystalbleu","owner":"sola-st","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":22,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-22T11:05:56.990Z"}},{"type":"Public","name":"WasmBench","owner":"sola-st","isFork":false,"description":"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.","allTopics":["webassembly","dataset"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":50,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-20T07:00:37.641Z"}},{"type":"Public","name":"wasm-binary-security","owner":"sola-st","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"WebAssembly","color":"#04133b"},"pullRequestCount":0,"issueCount":0,"starsCount":75,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-13T10:34:25.489Z"}},{"type":"Public","name":"wasm-type-prediction","owner":"sola-st","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-22T21:05:31.845Z"}},{"type":"Public","name":"MetaCodeSum","owner":"sola-st","isFork":false,"description":"A meta learning based apporach for code summarization","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-03T10:37:53.784Z"}},{"type":"Public","name":"IdBench","owner":"sola-st","isFork":false,"description":"A benchmark for evaluating embeddings of identifiers in source code.","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":22,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-23T12:58:22.657Z"}},{"type":"Public","name":"SemSeed","owner":"sola-st","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":25,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-17T17:40:59.407Z"}},{"type":"Public","name":"string-bugs","owner":"sola-st","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-28T17:22:01.220Z"}}],"repositoryCount":23,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"sola-st repositories"}