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 13 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
Bialgebraic Reasoning on Higher-Order Program Equivalence.
CoRR, 2024

Logical Predicates in Higher-Order Mathematical Operational Semantics.
CoRR, 2024

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

Weak Similarity in Higher-Order Mathematical Operational Semantics.
LICS, 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...