Author Info
Name
Affiliation
Papers
THEODOROS KASAMPALIS
University of Illinois at Urbana-Champaign, Urbana, IL, USA
4
Collaborators
Citations 
PageRank 
18
24
1.84
Referers 
Referees 
References 
96
276
54
Search Limit
100276
Title
Citations
PageRank
Year
Language-parametric compiler validation with application to LLVM00.342021
A complete formal semantics of x86-64 user-level instruction set architecture10.482019
Efficient disk-to-disk sorting: a case study in the decoupled execution paradigm.00.342015
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation230.682015