Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kasampalis, Theodoros
9  Ergebnisse:
Personensuche X
?
1

Language-parametric compiler validation with application to..:

, In: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,
Kasampalis, Theodoros ; Park, Daejun ; Lin, Zhengyao.. - p. 1004-1019 , 2021
Link: https://dl.acm.org/doi/1..
 
?
2

IELE: A Rigorously Designed Language and Tool Ecosystem for..:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,
Kasampalis, Theodoros ; Guth, Dwight ; Moore, Brandon... - p. 593-610 , 2019
Link: https://doi.org/10.1007/..
 
?
3

A complete formal semantics of x86-64 user-level instructio..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Dasgupta, Sandeep ; Park, Daejun ; Kasampalis, Theodoros.. - p. 1133-1148 , 2019
Link: https://dl.acm.org/doi/1..
 
?
4

Nested Kernel: An Operating System Architecture for Intra-K..:

Dautenhahn, Nathan ; Kasampalis, Theodoros ; Dietz, Will..
ACM SIGARCH Computer Architecture News.  43 (2015)  1 - p. 191-206 , 2015
Link: https://doi.org/10.1145/..
 
?
5

Efficient disk-to-disk sorting : a case study in the dec..:

, In: Proceedings of the 2015 International Workshop on Data-Intensive Scalable Computing Systems,
Eslami, Hassan ; Kougkas, Anthony ; Kotsifakou, Maria... - p. 1-8 , 2015
Link: https://dl.acm.org/doi/1..
 
?
6

Nested Kernel: An Operating System Architecture for Intra-K..:

Dautenhahn, Nathan ; Kasampalis, Theodoros ; Dietz, Will..
ACM SIGPLAN Notices.  50 (2015)  4 - p. 191-206 , 2015
Link: https://doi.org/10.1145/..
 
?
7

Nested Kernel : An Operating System Architecture for Int..:

, In: Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems,
Dautenhahn, Nathan ; Kasampalis, Theodoros ; Dietz, Will.. - p. 191-206 , 2015
Link: https://dl.acm.org/doi/1..
 
?
8

Language-Parametric Compiler Validation with Application to..:

Kasampalis, Theodoros ; Park, Daejun ; Lin, Zhengyao..
doi:10.5281/zenodo.4321676.  , 2020
Link: https://zenodo.org/recor..
 
?
9

Language-Parametric Compiler Validation with Application to..:

Kasampalis, Theodoros ; Park, Daejun ; Lin, Zhengyao..
doi:10.5281/zenodo.4321676.  , 2020
Link: https://zenodo.org/recor..
 
1-9