| Nested kernel: An operating system architecture for intra-kernel privilege separation N Dautenhahn, T Kasampalis, W Dietz, J Criswell, V Adve Proceedings of the Twentieth International Conference on Architectural …, 2015 | 181 | 2015 |
| A complete formal semantics of x86-64 user-level instruction set architecture S Dasgupta, D Park, T Kasampalis, VS Adve, G Roşu Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 86 | 2019 |
| Iele: An intermediate-level blockchain language designed and implemented using formal semantics T Kasampalis, D Guth, B Moore, T Serbanuta, V Serbanuta, D Filaretti, ... | 24 | 2018 |
| IELE: A rigorously designed language and tool ecosystem for the blockchain T Kasampalis, D Guth, B Moore, TF Șerbănuță, Y Zhang, D Filaretti, ... Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 18 | 2019 |
| Language-parametric compiler validation with application to LLVM T Kasampalis, D Park, Z Lin, VS Adve, G Roşu Proceedings of the 26th ACM International Conference on Architectural …, 2021 | 16 | 2021 |
| A GPU implementation of tiled belief propagation on markov random fields H Eslami, T Kasampalis, M Kotsifakou 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models …, 2013 | 8 | 2013 |
| Efficient disk-to-disk sorting: a case study in the decoupled execution paradigm H Eslami, A Kougkas, M Kotsifakou, T Kasampalis, K Feng, Y Lu, W Gropp, ... Proceedings of the 2015 International Workshop on Data-Intensive Scalable …, 2015 | 5 | 2015 |
| Translation validation for compilation verification T Kasampalis University of Illinois at Urbana-Champaign, 2021 | 1 | 2021 |
| Cut-Bisimulation and Program Equivalence D Park, G Rosu, VS Adve, T Kasampalis Unpublished manuscript, University of Illinois at Urbana-Champaign, 2020 | 1 | 2020 |
| A Translation Validation Algorithm for LLVM Register Allocators Z Lin, T Kasampalis, V Adve | | 2021 |
