Software Quality Research Group (SQUARE)

All

25 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/
privacy data-analytics quantitative-information-flow
Python
•
Apache License 2.0
•2•3•20•1•Updated Sep 3, 2024Sep 3, 2024
probros
Public
Jupyter Notebook
•
Apache License 2.0
•1•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.
testing reinforcement-learning scala
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
•44•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
scala transformations symbolic-execution model-transformations program-transformations tron
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.
abstraction promela model-checking variability-analysis spin haskell
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