Stelios Tsampas

Orcid: 0000-0001-8981-2328

Affiliations:
  • University of Erlangen-Nuremberg, Germany
  • KU Leuven, Department of Computer Science, Belgium (former)


According to our database1, Stelios Tsampas authored at least 14 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Higher-Order Mathematical Operational Semantics.
CoRR, 2024

Bialgebraic Reasoning on Higher-order Program Equivalence.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Logical Predicates in Higher-Order Mathematical Operational Semantics.
Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023
Towards a Higher-Order Mathematical Operational Semantics.
Proc. ACM Program. Lang., January, 2023

Weak Similarity in Higher-Order Mathematical Operational Semantics.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

CRDTs, Coalgebraically (Early Ideas).
Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

Higher-Order Mathematical Operational Semantics (Early Ideas).
Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022
Stateful Structural Operational Semantics.
Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021
Abstract Congruence Criteria for Weak Bisimilarity.
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle.
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly.
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020
Abstract Congruence Criteria for Weak Bisimilarity.
CoRR, 2020

A Categorical Approach to Secure Compilation.
Proceedings of the Coalgebraic Methods in Computer Science, 2020

2019
Temporal Safety for Stack Allocated Memory on Capability Machines.
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019


  Loading...