Skip to content

@itu-square Software Quality Research Group (SQUARE)

Change the repository type filter

All

    Repositories list

    27 repositories

    • privugger

      Public
      Privugger (/prɪvʌɡə(r)/) is a privacy risk analysis library for python programs. Docs and tutorials: https://itu-square.github.io/privugger/
      privacydata-analyticsquantitative-information-flow
      Python
      •
      Apache License 2.0
      •2•3•20•1•Updated Jul 10, 2025Jul 10, 2025

    • sat-metropolis

      Public
      Python library using SAT/SMT samplers in MCMC algos
      Jupyter Notebook
      •
      Apache License 2.0
      •0•2•0•0•Updated Jun 9, 2025Jun 9, 2025

    • codeql-concurrency

      Public
      Analysis of thread-safety in Java classes with CodeQL
      CodeQL
      •
      Other
      •0•0•0•0•Updated May 29, 2025May 29, 2025

    • probros

      Public
      Jupyter Notebook
      •
      Apache License 2.0
      •0•0•2•2•Updated Apr 13, 2024Apr 13, 2024

    • symsim

      Public
      SQUARE Symsim is a test-bed for implementing reinforcement learning algorithms, formalizing their correctness properties, and testing them. It is implemented in Scala 3, in purely functional style, and uses property-based testing.
      testingreinforcement-learningscala
      Scala
      •
      Apache License 2.0
      •0•3•80•10•Updated Mar 5, 2024Mar 5, 2024

    • gauss-privug

      Public
      Proof of concept implementation of a Privug backend featuring an exact Bayesian inference engine based on multivariate Gaussian distributions.
      Jupyter Notebook
      •0•0•0•0•Updated Feb 21, 2024Feb 21, 2024

    • causalgraphicalmodels

      Public
      Causal Graphical Models in Python (a fork to fix an incompatibility issue, and obtain a stable repo)
      Jupyter Notebook
      •
      MIT License
      •47•0•0•0•Updated Nov 15, 2023Nov 15, 2023

    • 2023-foundations-of-probabilistic-programming

      Public
      Website of the PhD course on Foundations of Probabilistic Programming
      0•5•0•0•Updated May 16, 2023May 16, 2023

    • padlock-examples

      Public
      HTML
      •
      Other
      •0•0•0•0•Updated Mar 9, 2023Mar 9, 2023

    • padlock

      Public
      Scala
      •
      Other
      •0•0•0•0•Updated Jan 3, 2023Jan 3, 2023

    • privug-genetic-privacy

      Public
      Accompanying notebook of the paper "Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores"
      Jupyter Notebook
      •0•0•0•0•Updated Jun 25, 2022Jun 25, 2022

    • statistical-analysis-foss-governance-styles

      Public
      Notebook with Bayesian analysis of PR handling data in different FOSS communities
      HTML
      •0•0•0•0•Updated Oct 1, 2021Oct 1, 2021

    • ROS-Dependency-Checkers

      Public
      Static bug checkers for ROS packages developed as part of SQUARE research at the IT University of Copenhagen.
      Python
      •2•0•0•0•Updated Dec 9, 2020Dec 9, 2020

    • eba-kernel-bugs

      Public
      Submission to VMCAI 2017.
      SWIG
      •1•0•0•0•Updated Nov 17, 2020Nov 17, 2020

    • eba-legacy

      Public
      SWIG
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Sep 17, 2020Sep 17, 2020

    • Rascal-Light

      Public
      Scala
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Oct 13, 2018Oct 13, 2018

    • quad-ropes

      Public
      Ropes meet quad trees on .Net
      F#
      •
      MIT License
      •2•0•0•0•Updated Oct 4, 2017Oct 4, 2017

    • c-reconfigurator

      Public
      Tool accompanying "Effective Analysis of C Programs by Rewriting Variability" ‹Programming› 2017 paper
      Xtend
      •2•2•4•0•Updated Apr 28, 2017Apr 28, 2017

    • 2017-ioannis-ros-bug-database

      Public
      2•0•0•0•Updated Mar 3, 2017Mar 3, 2017

    • c-reconfigurator-linux-test

      Public
      C
      •1•0•0•0•Updated Feb 27, 2017Feb 27, 2017

    • c-reconfigurator-test

      Public
      C
      •1•0•1•0•Updated Jan 9, 2017Jan 9, 2017

    • xtc

      Public
      The xtc project including SuperC and Kmax
      Java
      •7•0•0•0•Updated Nov 25, 2016Nov 25, 2016

    • SymexTRON

      Public
      Symbolic Executor for the High-Level Transformation Language TRON
      scalatransformationssymbolic-executionmodel-transformationsprogram-transformationstron
      Scala
      •
      GNU General Public License v3.0
      •2•1•1•0•Updated Oct 31, 2016Oct 31, 2016

    • p3-tool

      Public
      A reconfigurator tool for fPromela with support for variability abstractions.
      abstractionpromelamodel-checkingvariability-analysisspinhaskell
      Haskell
      •
      GNU General Public License v3.0
      •2•4•1•0•Updated Sep 30, 2016Sep 30, 2016

    • FeatherweightVML_Coq

      Public
      Formalization of Featherweight VML in Coq
      Coq
      •1•0•0•0•Updated Nov 19, 2015Nov 19, 2015

    • quantify_linux_errors

      Public
      Quantifying Errors in Linux Kernel
      HTML
      •2•1•0•0•Updated Sep 22, 2015Sep 22, 2015

    • p3-benchmarks

      Public
      Benchmarks for `p3-tool`
      GNU General Public License v3.0
      •2•0•0•0•Updated May 4, 2015May 4, 2015