IdrissRio

RNB-Compiler

Compiler for the language RNB to Three-Address-Code.

DucktypeSystem

A distributed DucktypeSystem 🦆

Thesis

This repository contains my Licentiate Thesis

CallgraphExplorer

cat

Java Class Hierarchy Analysis

SX2PH

SX2PH: Hybrid Automata translator.

BetaReg

Progetto di Statistica Applicata UNIUD

commons-httpclient-3.1

Copy of commons-httpclient-3.1

IdrissRio

idrissrio.github.io

Improver

ExtendJ skeleton with MagpieBridge integration

IntraJ-LSP

jastadd

Mirror. The original is hosted on bitbucket.

MagpieBridge

MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration

presentations

Collection of all my presentaions

RS-SLE2024-Artifact

Artifact related to the paper "Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis"

Thanatos

Implementazione di un attacco a Forza Bruta sul Crittosistema D.E.S. tramite un’infrastruttura di calcolo distribuito e parallelo

Thesis-Template-Lund-University

UniPlaceUNIUD

UniPlace è un progetto universitario il cui scopo è quello di studiare il pattern Model View Controller e il linguaggio di programmazione Objective-c di Apple.