A PLT Redex implementation of Featherweight Java

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.

A GraphQL-like query language. Preliminary experiments.

Course notes

personal notes about graphql

Developing a type system for a minimal reversible functional language.

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 Lazy Desugaring System for Evaluating Programs with Sugars

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

Executable operational semantics to prototype programming languages

HIBOU for typed message passing

Pure Demand Operational Semantics

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

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.