Skip to content

@ASSERT-KTH ASSERT

Change the repository type filter

All

    Repositories list

    189 repositories

    • agent-commits

      Public
      longitudinal study of agentic commits
      Shell
      •0•1•0•0•Updated Apr 26, 2026Apr 26, 2026

    • code-ptm-vuln-eval

      Public
      Study of code embeddings (thesis Ouday)
      Python
      •0•0•0•0•Updated Apr 26, 2026Apr 26, 2026

    • cwm

      Public
      Research code artifacts for Code World Model (CWM) including inference tools, reproducibility, and documentation.
      Python
      •
      Other
      •70•1•0•0•Updated Apr 24, 2026Apr 24, 2026

    • swebench-xl

      Public
      new, hard and non-saturated
      HTML
      •0•0•0•1•Updated Apr 24, 2026Apr 24, 2026

    • collector-sahab

      Public
      Augmenting Diffs With Runtime Information, TSE 2023 https://arxiv.org/pdf/2212.11077
      HTML
      •
      The Unlicense
      •2•10•9•10•Updated Apr 24, 2026Apr 24, 2026

    • repairbench-framework

      Public
      Automatic Repair Framework with LLMs ❤️ https://arxiv.org/pdf/2409.18952
      Python
      •10•23•12•15•Updated Apr 24, 2026Apr 24, 2026

    • flacoco

      Public
      FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
      javacoveragelocalization-tool
      javacoveragelocalization-toolhacktoberfestfault-localization
      Java
      •
      MIT License
      •15•35•31•12•Updated Apr 23, 2026Apr 23, 2026

    • InvCon-Tool

      Public
      InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!
      C
      •8•0•0•0•Updated Apr 23, 2026Apr 23, 2026

    • sorald

      Public
      Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
      sonarqubeprogram-repairkth
      sonarqubeprogram-repairkthssfsonarjava
      Java
      •
      MIT License
      •27•100•50•10•Updated Apr 23, 2026Apr 23, 2026

    • Knight-Leveson-Redux

      Public
      The Knight & Leveson Launch Interceptor Program, generated by AI coding agents.
      Python
      •0•0•0•0•Updated Apr 23, 2026Apr 23, 2026

    • ai-supply-chain

      Public
      Measurement and visualization of the AI supply chain.
      HTML
      •
      Other
      •0•0•0•0•Updated Apr 22, 2026Apr 22, 2026

    • independent-impact-factor

      Public
      Computing the impact factor of CS journals
      Python
      •0•0•0•0•Updated Apr 22, 2026Apr 22, 2026

    • depclean

      Public
      DepClean automatically detects and removes unused dependencies in Maven projects 🔗 https://dx.doi.org/10.1007/s10664-020-09914-8)
      javabytecodemaven-plugin
      javabytecodemaven-plugindependenciesbloatwaredebloating
      Java
      •
      MIT License
      •35•361•11•14•Updated Apr 22, 2026Apr 22, 2026

    • deptrim

      Public
      DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
      javabytecodemaven-plugin
      javabytecodemaven-plugindependenciesspecialization
      Java
      •
      MIT License
      •3•15•2•12•Updated Apr 22, 2026Apr 22, 2026

    • subleq-transformer

      Public
      A transformer that executes a one-instruction Turing-complete computer — two approaches: hand-coded weights (no training) and learned from data
      Python
      •
      MIT License
      •4•0•0•0•Updated Apr 21, 2026Apr 21, 2026

    • crypto-api-misuse-detectors-go

      Public
      Replication package of SVM'26 "Evaluating Cryptographic API Misuse Detectors for Go"
      Python
      •
      MIT License
      •0•0•0•0•Updated Apr 18, 2026Apr 18, 2026

    • InvConPlus

      Public
      InvCon+ : Automated Invariant Generation for Solidity Smart Contracts
      Python
      •
      Other
      •4•0•0•0•Updated Apr 16, 2026Apr 16, 2026

    • reproducible-trajectories

      Public
      agent trajectories you can verify by reapplying them
      Python
      •1•4•5•1•Updated Apr 15, 2026Apr 15, 2026

    • harvest

      Public
      harvesting papers to read. we live in abundance!
      Python
      •0•0•0•0•Updated Apr 14, 2026Apr 14, 2026

    • code-embedding-difference

      Public
      a patch is a move in the embedding space
      Jupyter Notebook
      •1•0•0•1•Updated Apr 14, 2026Apr 14, 2026

    • DeFiHackLabs

      Public
      Reproduce DeFi hacked incidents using Foundry.
      Solidity
      •1.4k•0•0•0•Updated Apr 11, 2026Apr 11, 2026

    • assert-kth.github.io

      Public
      double u double u double u https://assert-kth.github.io/
      HTML
      •
      Other
      •0•1•0•0•Updated Apr 9, 2026Apr 9, 2026

    • reimpl-ihr

      Public
      llm reimplementation Intelligent Harness Runtime (IHR)
      Python
      •0•3•0•0•Updated Mar 31, 2026Mar 31, 2026

    • SmartOracle

      Public
      Our fork of SmartOracle - ASSERT version
      Go
      •2•0•0•0•Updated Mar 30, 2026Mar 30, 2026

    • software-engineering-research

      Public
      Research material about software engineering at KTH
      Java
      •1•18•1•1•Updated Mar 27, 2026Mar 27, 2026

    • chainsaw

      Public
      code is timber
      TypeScript
      •
      MIT License
      •0•1•0•0•Updated Mar 27, 2026Mar 27, 2026

    • subleq

      Public
      python implementation of the subleq one-instruction Turing-complete language
      Python
      •0•0•0•0•Updated Mar 26, 2026Mar 26, 2026

    • opensage-replication

      Public
      trying an LLM replication of https://arxiv.org/pdf/2602.16891
      Python
      •0•0•0•0•Updated Mar 26, 2026Mar 26, 2026

    • meta-circular

      Public
      meta-circular coding agent http://arxiv.org/pdf/2603.17399
      Python
      •2•2•0•0•Updated Mar 25, 2026Mar 25, 2026

    • vestige

      Public
      AI agent trajectory analyzer tool
      Python
      •0•0•1•0•Updated Mar 23, 2026Mar 23, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.