Stelios Tsampas

According to our database, Stelios Tsampas authored at least 15 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Abstract Operational Methods for Call-by-Push-Value.

Sergey Goncharov, Stelios Tsampas, Henning Urbat

CoRR, 2024

Higher-Order Mathematical Operational Semantics.

Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat

CoRR, 2024

Bialgebraic Reasoning on Higher-order Program Equivalence.

Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Logical Predicates in Higher-Order Mathematical Operational Semantics.

Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

Towards a Higher-Order Mathematical Operational Semantics.

Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat

Proc. ACM Program. Lang., January, 2023

Weak Similarity in Higher-Order Mathematical Operational Semantics.

Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

CRDTs, Coalgebraically (Early Ideas).

Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, Lindsey Kuper

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

Higher-Order Mathematical Operational Semantics (Early Ideas).

Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Stateful Structural Operational Semantics.

Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Abstract Congruence Criteria for Weak Bisimilarity.

Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle.

Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly.

Carmine Abate, Matteo Busi, Stelios Tsampas

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

Abstract Congruence Criteria for Weak Bisimilarity.

Stelios Tsampas, Christian Williams, Dominique Devriese, Frank Piessens

CoRR, 2020

A Categorical Approach to Secure Compilation.

Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens

Proceedings of the Coalgebraic Methods in Computer Science, 2020

2019

Temporal Safety for Stack Allocated Memory on Capability Machines.

Stelios Tsampas, Dominique Devriese, Frank Piessens

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019