Theodoros Kasampalis

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 5

Top Topics

Operating System

Belief Propagation

Formal Semantics

Top Venues

Publications

Theodoros Kasampalis, Daejun Park, Zhengyao Lin, Vikram S. Adve, Grigore Rosu
Language-parametric compiler validation with application to LLVM. ASPLOS (2021)
Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu
A complete formal semantics of x86-64 user-level instruction set architecture. PLDI (2019)
Theodoros Kasampalis, Dwight Guth, Brandon M. Moore, Traian-Florin Serbanuta, Yi Zhang, Daniele Filaretti, Virgil Nicolae Serbanuta, Ralph Johnson, Grigore Rosu
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain. FM (2019)
Hassan Eslami, Anthony Kougkas, Maria Kotsifakou, Theodoros Kasampalis, Kun Feng, Yin Lu, William Gropp, Xian-He Sun, Yong Chen, Rajeev Thakur
Efficient disk-to-disk sorting: a case study in the decoupled execution paradigm. DISCS@SC (2015)
Nathan Dautenhahn, Theodoros Kasampalis, Will Dietz, John Criswell, Vikram S. Adve
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation. ASPLOS (2015)
Hassan Eslami, Theodoros Kasampalis, Maria Kotsifakou
A GPU implementation of tiled belief propagation on Markov Random Fields. MEMOCODE (2013)