A PLT Redex implementation of Featherweight Java

Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language

Developing a type system for a minimal reversible functional language.

A Lazy Desugaring System for Evaluating Programs with Sugars

Pure Demand Operational Semantics

Записки по курса ,,Семантика на езиците за програмиране"

Brenner is a calculus for reasoning about task parallelism and barrier synchronization. This calculus distils the semantics of phasers and unifies the synchronisation patterns of various abstractions.

personal notes about graphql

Ph.D dissertation website

HIBOU EFM implements a small-step operational semantics for interaction models with data and time as well as a trace and multi-trace analysis algorithm

A GraphQL-like query language. Preliminary experiments.

HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm

Executable operational semantics to prototype programming languages

HIBOU for typed message passing

Course notes

Explore dynamic code analysis in an interpreter for a language that allows on-the-fly customization of syntax rules, small-step operational semantics, and typing. This project facilitates real-time modifications to language interpretation, empowering users to adapt coding experiences according to specific needs.