marco-vassena
Assistant professor interested in programming languages and security
Utrecht UniversityUtrecht, Netherlands
Pinned Repositories
agda-mac
coq-course
Coq course at Chalmers CSE
fdat085.github.io
gdiff-ig
Repository for the gdiff-ig Haskell package
gdiff3
A data type generic diff3 algorithm
granularity
Mechanized proofs for the paper "From Fine- to Coarse-Grained Dynamic Information Flow Control and Back" at POPL 2019
granularity-fs-refs
Mechanized proofs for the paper "From Fine- to Coarse-Grained Dynamic Information Flow Control and Back" extended with flow-sensitive references
hls-verification
Verification of Vivado HLS compiler from C++ to Verilog
How-To-Write-An-LLVM-Register-Allocator
This repository contains a tutorial for a quick start in how to write a register allocator using LLVM
svc
A minimal Structure-aware Version Control system.
marco-vassena's Repositories
marco-vassena/gdiff3
A data type generic diff3 algorithm
marco-vassena/lazy-mac
MAC extended with an unsharing primitive to close the lazy covert channel.
marco-vassena/svc
A minimal Structure-aware Version Control system.
marco-vassena/agda-mac
marco-vassena/coq-course
Coq course at Chalmers CSE
marco-vassena/fdat085.github.io
marco-vassena/gdiff-ig
Repository for the gdiff-ig Haskell package
marco-vassena/granularity
Mechanized proofs for the paper "From Fine- to Coarse-Grained Dynamic Information Flow Control and Back" at POPL 2019
marco-vassena/granularity-fs-refs
Mechanized proofs for the paper "From Fine- to Coarse-Grained Dynamic Information Flow Control and Back" extended with flow-sensitive references
marco-vassena/hls-verification
Verification of Vivado HLS compiler from C++ to Verilog
marco-vassena/How-To-Write-An-LLVM-Register-Allocator
This repository contains a tutorial for a quick start in how to write a register allocator using LLVM
marco-vassena/Rust_C_FFI_Test
Some tests about Rust C FFI in the context of in internship about this subject.
marco-vassena/scheduling
Generate schedules for courses from ics calendar.
marco-vassena/svc-paper
Paper about SVC
marco-vassena/svc-thesis
M.Sc Thesis: SVC - A prototype of a Structured-aware Version Control system
marco-vassena/testing-agda
Experimentation Project, Utrecht University 2013/2014