Charly

PhD candidate @EPFL, I design and build systems we can trust.

[Charly @CharlyCastes]

@MarcJBrooker Those kinds of projects are what we need for the second category to flourish.

I have built a similar tool, with JavaScript instead of Lua support: https://t.co/1DayhTJacf

[Charly @CharlyCastes]

@MarcJBrooker Very cool project, especially the integration with Lua for scripting!
I think we are going to see two kinds of agents: back-end agents with access to a full VM (coding agents or OpenClaw), and front-end agents embedded directly inside the application (like Blender or Photoshop).

[Charly @CharlyCastes]

To be fair, Zurich does have mountain view too.

[Charly @CharlyCastes]

It is funny how bad LLMs are at working with out-of-distribution data.

I asked Claude to convert my CV from #latex to #typst, and it silently converted "Google, Zurich, Switzerland" to "Google, Mountain View, CA".

[Charly @CharlyCastes]

HotOS'25 retrospective

https://t.co/RYdlLExT15

[Charly @CharlyCastes]

Of course, the same technique can be applied to other (non-Rust) hypervisors. The details and theory behind are in the paper: https://t.co/Pdxp1fA6Xk

See you in Banff!

[Charly @CharlyCastes]

Tomorrow I am flying to Alberta to attend HotOS, I will be presenting our work on lightweight hypervisor verification.

In a nutshell, we translated the RISC-V spec to Rust (with an in-house Sail-to-Rust transpiler), and used the Kani model checker to verify key parts of Miralis.

[Charly @CharlyCastes]

We will try to run Miralis on it, which is an M-mode software-based hypervisor. The H extension adds hardware support for S-mode virtualization. In theory both are orthogonal, which means that we should be able to run an H-mode hypervisor on top of a virtual M-mode.

[Charly @CharlyCastes]

We just received the new HiFive P550, a tiny bit too late for Christmas.
Time to try out this H extension!

[Charly @CharlyCastes]

Miralis progress report: https://t.co/gpM96EpQ5B

Over the summer we reached two major milestones: running unmodified Linux with a virtualized OpenSBI on QEMU, and porting Miralis to the VisionFive 2.

[Charly @CharlyCastes]

@osfc_io OSFC has been a great experience, lot and friendly people and very interesting talks and discussions.

[Charly @CharlyCastes]

My @osfc_io talk on virtualizing firmware on RISC-V is now online: https://t.co/BsEP3fmehb

[Open Source Firmware Conference @osfc_io]

Excited for #OSFC2024 Talks!

🔹 Oliver Brewka, @9eSec : OpenBMC: Multi-Host Platform Support

🔹 @vejmarie , @HPE : Flash-Less Firmware Infrastructure

🔹 @CharlyCastes , @EPFL_en : Virtualizing Firmware on RISC-V

👉 https://t.co/EgD7o5aIwX
👉 https://t.co/ZJk75TEBFw

[Charly @CharlyCastes]

Announcement blog post: https://t.co/gKGiXnqRyu

[Charly @CharlyCastes]

For the last few months I have been working on a RISC-V security monitor that virtualizes M-mode, we just open-sourced our prototype at https://t.co/YCkdynT8ty. I'm looking forward to see how far we can go and what kind of interesting use cases we can build on top.

[jsysresearch @jsysresearch]

🚨 Call for Papers 🚨

https://t.co/zBfC8FpSqR

Next deadline: March 1st
Notification: April 15th 🚀

Each area welcomes up to four types of papers, each with specific acceptance criteria.
- Systemization of Knowledge (SoK)
- Tool/benchmark
- Problem
- Solution

[Marios Kogias @MariosKogias]

Charly telling us how to abolish the trust hierarchy at #hotos23

@CharlyCastes @ebugnion @AdrienGhosn

[Charly @CharlyCastes]

Bound checks in C, Rust 1.70, the revolution of SAT and HotOS'23

https://t.co/RM4XeDFaIQ

[Charly @CharlyCastes]

The paper is already public: Creating Trust by Abolishing Hierarchies

https://t.co/j0AIG53RkQ

[Charly @CharlyCastes]

I will present our work on isolation monitors at HotOS next Saturday, remote attendance is free for those interested!

https://t.co/K3TWjlE4sG