Theodoros Kasampalis

A complete formal semantics of x86-64 user-level instruction set architecture

Grigore Rosu, Sandeep Dasgupta, Vikram S. Adve, 2019, PLDI.

IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

Grigore Rosu, Daniele Filaretti, Theodoros Kasampalis, 2018 .

A GPU implementation of tiled belief propagation on Markov Random Fields

Maria Kotsifakou, Theodoros Kasampalis, Hassan Eslami, 2013, 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).

Efficient disk-to-disk sorting: a case study in the decoupled execution paradigm

Rajeev Thakur, William Gropp, Xian-He Sun, 2015, DISCS '15.

IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain

Grigore Rosu, Daniele Filaretti, Theodoros Kasampalis, 2019, FM.

Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation

Will Dietz, Vikram S. Adve, John Criswell, 2015, ASPLOS.

Language-parametric compiler validation with application to LLVM

Vikram S. Adve, Daejun Park, Theodoros Kasampalis, 2021, ASPLOS.