Skip to content
View MatiasVara's full-sized avatar
😀
Focusing
😀
Focusing
38 followers · 50 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2
BetaSend feedback
Block or Report

Block or report MatiasVara

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
MatiasVara/README.md

Hi there 👋

Github Linkedin Gmail

I am Matias from Argentina and I live in France since 2011. I enjoy programming and designing software systems. My main project is Toro that I have started in 2003. This is a unikernel written in Freepascal. General speaking, I enjoy working on operating system development in which I have to write software that interacts with the hardware. Also, I like to try new things.

  • 🔭 I’m currently working on development of Toro unikernel
  • 🌱 I’m currently learning how to leverage on formal methods to improve software development
  • 🤔 I’m looking for help with Toro
  • Some of my contributions

I enjoy writing articles, making videos and giving talks about different subjects. Those activities help me to understand better why and what I am doing something. This is a non-exhastuive list of articles and talks:

Talks

Running MPI applications on Toro unikernel

Improving the Querying of VCPU Statistics in Xen

Verifying the Conformance of a Driver Implementation to the VirtIO Specification

ToroV, a kernel in user-space, or sort of

Building a Cloud Infrastructure to Deploy Microservices as Microvm Guests

Leveraging virtiofs and vsocket in toro unikernel

Speeding up the Booting Time of a Toro Appliance

ToroKernel at FaMAF

Reducing CPU usage of a Toro Appliance

Articles

Running MPI applications as an unikernel

Profiling and Optimizing Toro unikernel with Qprofiler

Debugging by using QEMU trace-events

Pinned

  1. torokernel/torokernel torokernel/torokernel Public

    This repository contains the source code of toro unikernel

    Pascal 146 27

  2. torokernel/ToroOS torokernel/ToroOS Public

    This repository contains the source code of the Toro Operating System.

    Pascal 27 8

  3. MyPhdThesis MyPhdThesis Public

    This repository contains my PhD thesis named "BCOoL: the Behavioural Coordination Operator Language". Find latest version in the releases section.

    TeX 2

  4. demofordate21 demofordate21 Public

    This repository contains the demo for the industrial track at DATE'21

    Java

  5. kvmtest kvmtest Public

    This sample demonstrates KVM API to manage VMs from FreePascal.

    Pascal 6 1

  6. leetcodechallenges leetcodechallenges Public

    This repository contains some of the solutions for the leetcode challenge of the day

    C