Theodoros Kasampalis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2013–2021
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ASPLOS | Language-parametric compiler validation with application to LLVM. | Theodoros Kasampalis, Daejun Park, Zhengyao Lin, Vikram S. Adve, Grigore Rosu |
| 2019 | FM | IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain. | Theodoros Kasampalis, Dwight Guth, Brandon M. Moore, Traian-Florin Serbanuta, Yi Zhang, Daniele Filaretti, Virgil Nicolae Serbanuta, Ralph Johnson, Grigore Rosu |
| 2019 | PLDI | A complete formal semantics of x86-64 user-level instruction set architecture. | Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu |
| 2015 | ASPLOS | Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation. | Nathan Dautenhahn, Theodoros Kasampalis, Will Dietz, John Criswell, Vikram S. Adve |
| 2015 | SC | Efficient disk-to-disk sorting: a case study in the decoupled execution paradigm. | Hassan Eslami, Anthony Kougkas, Maria Kotsifakou, Theodoros Kasampalis, Kun Feng, Yin Lu, William Gropp, Xian-He Sun, Yong Chen, Rajeev Thakur |
| 2013 | MEMOCODE | A GPU implementation of tiled belief propagation on Markov Random Fields. | Hassan Eslami, Theodoros Kasampalis, Maria Kotsifakou |