squaresLab

All

86 repositories

Aidan_Proposal
Public
Aidan's Proposal Document
0•0•0•0•Updated Oct 31, 2024Oct 31, 2024
BugZoo
Public
Keep your bugs contained. A platform for studying historical software bugs.
testing benchmarks automated-repair docker dataset bugzoo
Python
•
MIT License
•12•67•45•1•Updated Oct 26, 2024Oct 26, 2024
genprog4java
Public
Java
•
Other
•11•17•2•3•Updated Oct 3, 2024Oct 3, 2024
MultiEdit_Experiments
Public
What are multiedit bugs?
Java
•0•2•14•2•Updated Sep 10, 2024Sep 10, 2024
PyMigBench
Public
A benchmark of Python Library Migration
Python
•
MIT License
•3•0•0•0•Updated Sep 5, 2024Sep 5, 2024
MELT
Public
Python
•
MIT License
•4•7•0•0•Updated Aug 23, 2024Aug 23, 2024
BatFix
Public
C++
•
MIT License
•1•5•0•0•Updated Aug 22, 2024Aug 22, 2024
melt_action
Public
Shell
•
MIT License
•0•4•0•0•Updated Aug 15, 2024Aug 15, 2024
Kaskara
Public
A simple API frontend for various static analysers (e.g., Clang)
python analysis clang
Python
•
Apache License 2.0
•0•3•16•2•Updated Jul 14, 2024Jul 14, 2024
Darjeeling
Public
Language-independent, search-based program repair -- just your cup of tea! ☕
search bug program genetic bugzoo defect genprog repair
Python
•
Apache License 2.0
•10•28•68•4•Updated Jul 9, 2024Jul 9, 2024
squaresLab.github.io
Public
squaresLab webpage
CSS
•
GNU General Public License v2.0
•1•2•9•0•Updated May 30, 2024May 30, 2024
MFTCoder
Public
High Accuracy and efficiency multi-task fine-tuning framework for Code LLMs
Python
•
Other
•67•0•0•0•Updated May 24, 2024May 24, 2024
obfuscator
Public
1.2k•0•0•0•Updated May 14, 2024May 14, 2024
TBar
Public
Template-based Automated Program Repair
Java
•23•0•1•0•Updated Mar 19, 2024Mar 19, 2024
LLMAO
Public
Java
•6•23•0•0•Updated Jan 27, 2024Jan 27, 2024
MOBSTA
Public
MOBSTA: Mutation Based Safety Testing for Autonomy. Robustness testing for your ROS robots.
Other
•0•33•0•0•Updated Oct 18, 2023Oct 18, 2023
piranha
Public
A tool for refactoring code related to feature flag APIs
Java
•
Apache License 2.0
•199•1•0•0•Updated Jul 31, 2023Jul 31, 2023
comby-jedi
Public
A code rewrite tool for structural search and replace that supports ~every language.
OCaml
•
Apache License 2.0
•62•2•0•0•Updated Apr 14, 2023Apr 14, 2023
ros-answers-miner
Public
A web scraper for ROS Answers
Python
•
Apache License 2.0
•2•2•5•1•Updated Apr 6, 2023Apr 6, 2023
VarCLR
Public
VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning
embeddings source-code pre-training contrastive-learning icse2022
Python
•
MIT License
•5•38•2•0•Updated Jan 4, 2023Jan 4, 2023
website-experiment
Public
HTML
•
MIT License
•0•0•0•17•Updated Dec 3, 2022Dec 3, 2022
inCoder-test
Public
initial test of inCoder
Python
•0•0•0•0•Updated Sep 22, 2022Sep 22, 2022
physfix
Public
Automatically fixing unit inconsistencies detected by Phys
Python
•
Apache License 2.0
•0•2•0•0•Updated Aug 19, 2022Aug 19, 2022
llvm-supermutate
Public
LLVM supermutation
mutation-testing llvm program-repair
C++
•
Apache License 2.0
•0•0•9•0•Updated Aug 12, 2022Aug 12, 2022
phys
Public
C++
•2•0•2•0•Updated Aug 8, 2022Aug 8, 2022
ghcc
Public
GitHub Cloner & Compiler
Python
•15•0•0•0•Updated Jun 15, 2022Jun 15, 2022
blameandshame
Public
Python
•0•3•16•5•Updated Jun 13, 2022Jun 13, 2022
CodeGen
Public
Reference implementation of code generation projects from Facebook AI Research. General toolkit to apply machine learning to code, from dataset creation to model training and evaluation. Comes with pretrained models.
Python
•
MIT License
•145•1•0•0•Updated Jun 8, 2022Jun 8, 2022
SOAR
Public
Synthesis API Refactor
Python
•
BSD 3-Clause Clear License
•4•11•0•0•Updated May 17, 2022May 17, 2022
RepairThemAll
Public
Automatic Repair Framework that abstract repair tools and bug benchmarks
Python
•
MIT License
•23•2•0•0•Updated Apr 27, 2022Apr 27, 2022