Coder Social home page Coder Social logo

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

Matias Ezequiel Vara Larsen's Projects

bcool icon bcool

This repo contains some documentation about BCOoL

bcoolexamples icon bcoolexamples

This project contains BCOoL examples which includes the specification of a BCOoL operator plus a model. The BCOoL specification can be used to coordinate the models.

cca icon cca

Library for ARM CCA

demofordate21 icon demofordate21

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

echo-vsock icon echo-vsock

This is a simple echo over virtio-vsock to measure latency

kvmtest icon kvmtest

This sample demonstrates KVM API to manage VMs from FreePascal.

leetcodechallenges icon leetcodechallenges

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

myphdthesis icon myphdthesis

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

pve-virtiofsqemu icon pve-virtiofsqemu

This repo contains the patches that allow virtiofs qemu to run in Proxmox.

toronetperf icon toronetperf

This repo contains performance tests of the Toro's network stack

tute icon tute

Tute is a bot which is based on https://core.telegram.org/bots/api. Please check details of installation in https://github.com/python-telegram-bot/python-telegram-bot.

unikraft icon unikraft

Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)

virtioml icon virtioml

This repository contains VIRTIO Modeling Language, which is a set of tools to model devices that conform to VirtIO specification

xen icon xen

Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    šŸ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. šŸ“ŠšŸ“ˆšŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ā¤ļø Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.