Theodoros Kasampalis

According to our database1, Theodoros Kasampalis authored at least 5 papers between 2013 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
A complete formal semantics of x86-64 user-level instruction set architecture.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2015
Efficient disk-to-disk sorting: a case study in the decoupled execution paradigm.
Proceedings of the 2015 International Workshop on Data-Intensive Scalable Computing Systems, 2015

Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2013
A GPU implementation of tiled belief propagation on Markov Random Fields.
Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013


  Loading...