## Homepages 🌐

- https://martin.desharnais.me

## E-Mails 📧

- ed.gpm.fni-ipm @sianrahsed

## Entries

### 2023

##### A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic

by Martin Desharnais 📧
Apr 20

### 2020

##### Inline Caching and Unboxing Optimization for Interpreters

by Martin Desharnais 🌐
Dec 07

##### A Generic Framework for Verified Compilers

by Martin Desharnais 🌐
Feb 10