{"payload":{"pageCount":4,"repositories":[{"type":"Public","name":"depclean","owner":"ASSERT-KTH","isFork":false,"description":"DepClean automatically detects and removes unused dependencies in Maven projects (<a href=\"https://dx.doi.org/10.1007/s10664-020-09914-8\" rel=\"nofollow\">https://dx.doi.org/10.1007/s10664-020-09914-8</a>)","allTopics":["bytecode","maven-plugin","dependencies","bloatware","debloating","java"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":5,"issueCount":9,"starsCount":235,"forksCount":27,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-05T18:37:16.004Z"}},{"type":"Public","name":"toady","owner":"ASSERT-KTH","isFork":false,"description":"research project about the importance of humor in science","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-05T18:17:41.584Z"}},{"type":"Public","name":"deptrim","owner":"ASSERT-KTH","isFork":false,"description":"DepTrim automatically specializes the software supply chain of dependencies in Maven projects <a href=\"https://arxiv.org/pdf/2302.08370\" rel=\"nofollow\">https://arxiv.org/pdf/2302.08370</a>","allTopics":["bytecode","maven-plugin","dependencies","specialization","java"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":10,"issueCount":1,"starsCount":10,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-05T17:24:03.210Z"}},{"type":"Public","name":"proze","owner":"ASSERT-KTH","isFork":false,"description":"proze is short for PROduction + parameteriZE","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-05T14:44:14.825Z"}},{"type":"Public","name":"Vecogen","owner":"ASSERT-KTH","isFork":false,"description":"generating formally verified C code with LLMs (thesis Merlijn Sevenhuijsen)","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-05T06:04:03.447Z"}},{"type":"Public","name":"repairllama","owner":"ASSERT-KTH","isFork":false,"description":"RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair","allTopics":["repair","llama","lora","apr","llms","codellama"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":22,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T12:42:14.119Z"}},{"type":"Public","name":"proze-experiments","owner":"ASSERT-KTH","isFork":false,"description":"Data and scripts for experiments with proze","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T11:45:42.885Z"}},{"type":"Public","name":"spork","owner":"ASSERT-KTH","isFork":false,"description":"AST-based structured merge tool for Java, fully Git compatible <a href=\"https://doi.org/10.1109/TSE.2022.3143766\" rel=\"nofollow\">https://doi.org/10.1109/TSE.2022.3143766</a>","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":5,"issueCount":23,"starsCount":48,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T06:37:55.185Z"}},{"type":"Public","name":"collector-sahab","owner":"ASSERT-KTH","isFork":false,"description":"Augmenting Diffs With Runtime Information, TSE 2023 <a href=\"http://arxiv.org/pdf/2212.11077\" rel=\"nofollow\">http://arxiv.org/pdf/2212.11077</a>","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":6,"issueCount":9,"starsCount":5,"forksCount":2,"license":"The Unlicense","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-01T01:57:43.928Z"}},{"type":"Public","name":"sorald","owner":"ASSERT-KTH","isFork":false,"description":"Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 <a href=\"http://arxiv.org/pdf/2103.12033\" rel=\"nofollow\">http://arxiv.org/pdf/2103.12033</a>","allTopics":["sonarqube","program-repair","kth","ssf","sonarjava"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":12,"issueCount":50,"starsCount":89,"forksCount":27,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T22:36:52.588Z"}},{"type":"Public","name":"Mokav","owner":"ASSERT-KTH","isFork":false,"description":"Generating difference exposing tests in Python","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T10:03:32.143Z"}},{"type":"Public","name":"sGuard","owner":"ASSERT-KTH","isFork":true,"description":"SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T16:41:54.461Z"}},{"type":"Public","name":"cigar","owner":"ASSERT-KTH","isFork":false,"description":"Efficient APR with LLMs <a href=\"http://arxiv.org/pdf/2402.06598\" rel=\"nofollow\">http://arxiv.org/pdf/2402.06598</a>","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T16:01:57.448Z"}},{"type":"Public","name":"TIPS","owner":"ASSERT-KTH","isFork":true,"description":"TIPS: automatically repair the smart contracts with vulnerabilities","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T12:59:00.258Z"}},{"type":"Public","name":"assert-gold-mine","owner":"ASSERT-KTH","isFork":false,"description":"This is an informal repo for ASSERT teammates to share awesome stuff.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":2,"starsCount":19,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T17:15:42.544Z"}},{"type":"Public","name":"DepPrune","owner":"ASSERT-KTH","isFork":false,"description":"DepPrune is a tool to debloat npm dependencies through dynamic analysis.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T14:09:41.363Z"}},{"type":"Public","name":"Smart-Contract-Dataset-Resource3","owner":"ASSERT-KTH","isFork":false,"description":"Githubification of <a href=\"https://drive.google.com/file/d/1iU2J-BIstCa3ooVhXu-GljOBzWi9gVrG/view\" rel=\"nofollow\">https://drive.google.com/file/d/1iU2J-BIstCa3ooVhXu-GljOBzWi9gVrG/view</a>","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T09:00:05.898Z"}},{"type":"Public","name":"ITER","owner":"ASSERT-KTH","isFork":false,"description":"ITER: Iterative Neural Repair for Multi-Location Patches, ICSE 2024, <a href=\"http://arxiv.org/pdf/2304.12015\" rel=\"nofollow\">http://arxiv.org/pdf/2304.12015</a>","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T17:30:23.559Z"}},{"type":"Public","name":"sGuardPlus","owner":"ASSERT-KTH","isFork":true,"description":"An automated smart contract vulnerability repair tool","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T15:27:40.823Z"}},{"type":"Public","name":"smartbugs-curated","owner":"ASSERT-KTH","isFork":true,"description":"SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate the accuracy of automated analysis tools.","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":17,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T12:17:22.935Z"}},{"type":"Public","name":"Elysium","owner":"ASSERT-KTH","isFork":true,"description":"A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T11:35:35.640Z"}},{"type":"Public","name":"stubbifier","owner":"ASSERT-KTH","isFork":true,"description":"A fork of the Stuffifier tool, adapted for the research work in the KTH ASSERT group.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T09:25:47.120Z"}},{"type":"Public","name":"SmartFix-Artifact","owner":"ASSERT-KTH","isFork":true,"description":"SmartFix is a tool for automatically fixing vulnerable smart contracts written in Solidity.","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-19T15:27:27.010Z"}},{"type":"Public","name":"InvConPlus-Tool","owner":"ASSERT-KTH","isFork":true,"description":"Fork of InvConPlus","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-02T10:33:25.611Z"}},{"type":"Public","name":"Supersonic","owner":"ASSERT-KTH","isFork":false,"description":"Neural optimization of C/C++ code <a href=\"http://arxiv.org/pdf/2309.14846\" rel=\"nofollow\">http://arxiv.org/pdf/2309.14846</a>","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-28T05:19:53.975Z"}},{"type":"Public","name":"megadiff","owner":"ASSERT-KTH","isFork":false,"description":"A Dataset of 600k Java Source Code Changes Categorized by Diff Size <a href=\"http://arxiv.org/pdf/2108.04631\" rel=\"nofollow\">http://arxiv.org/pdf/2108.04631</a>","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":22,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-22T09:33:41.848Z"}},{"type":"Public","name":"rickrolling","owner":"ASSERT-KTH","isFork":false,"description":"Exhaustive Survey of Rickrolling in Academic Literature, SIGBOVIK 2022 <a href=\"http://arxiv.org/pdf/2204.06826\" rel=\"nofollow\">http://arxiv.org/pdf/2204.06826</a>","allTopics":["rick","rickroll","rickrolling"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-15T08:51:06.472Z"}},{"type":"Public","name":"flacoco_experiment","owner":"ASSERT-KTH","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-13T13:38:41.215Z"}},{"type":"Public","name":"assert-kth.github.io","owner":"ASSERT-KTH","isFork":false,"description":"double u double u double u","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-10T11:50:09.834Z"}},{"type":"Public","name":"SelfAPR","owner":"ASSERT-KTH","isFork":false,"description":"repo of \"SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics\" (ASE 22) <a href=\"https://oadoi.org/10.1145/3551349.3556926\" rel=\"nofollow\">https://oadoi.org/10.1145/3551349.3556926</a>","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":22,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-04T05:41:11.495Z"}}],"repositoryCount":113,"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":"Repositories"}