Theodoros Kasampalis

Publications

223

Citations

H-Index

2015

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

University of Rochester

Runtime Verification (United States)

Theodoros Kasampalis is an author at University of Illinois Urbana-Champaign specializing in computer engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringComputer ArchitectureSystem SoftwareData SecurityHardware SecurityOperating Systems

Publications per year

2015–2021

Publications

Nested Kernel

Nathan Dautenhahn, Theodoros Kasampalis, Will Dietz et al. · 2015 · 117 citations

Engineering, Information Security, Computer Architecture +16

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

Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis et al. · 2019 · 55 citations · Full text

Engineering, Verification, Computer Architecture +21

Language-parametric compiler validation with application to LLVM

Theodoros Kasampalis, Daejun Park, Zhengyao Lin et al. · 2021 · 16 citations

New Design, Engineering, Compiler Technology +18

Nested Kernel

Nathan Dautenhahn, Theodoros Kasampalis, Will Dietz et al. · ACM SIGPLAN Notices · 2015 · 13 citations

Engineering, Information Security, Computer Architecture +16

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

Theodoros Kasampalis, Dwight Guth, Brandon Moore et al. · IDEALS (University of Illinois Urbana-Champaign) · 2018 · 11 citations · Full text

Rows per page

1–5 of 6