Stelios Tsampas

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 21

Top Topics

Model Theoretic

Operational Semantics

Top Venues

Publications

Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
Logical Predicates in Higher-Order Mathematical Operational Semantics. FoSSaCS (2) (2024)
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
Bialgebraic Reasoning on Higher-order Program Equivalence. LICS (2024)
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
Logical Predicates in Higher-Order Mathematical Operational Semantics. CoRR (2024)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Higher-Order Mathematical Operational Semantics. CoRR (2024)
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
Bialgebraic Reasoning on Higher-Order Program Equivalence. CoRR (2024)
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
Weak Similarity in Higher-Order Mathematical Operational Semantics. CoRR (2023)
Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, Lindsey Kuper
CRDTs, Coalgebraically (Early Ideas). CALCO (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Higher-Order Mathematical Operational Semantics (Early Ideas). CALCO (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Towards a Higher-Order Mathematical Operational Semantics. Proc. ACM Program. Lang. 7 (POPL) (2023)
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
Weak Similarity in Higher-Order Mathematical Operational Semantics. LICS (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Stateful Structural Operational Semantics. CoRR (2022)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Towards a Higher-Order Mathematical Operational Semantics. CoRR (2022)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Stateful Structural Operational Semantics. FSCD (2022)
Carmine Abate, Matteo Busi, Stelios Tsampas
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly. APLAS (2021)
Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. CSF (2021)
Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens
Abstract Congruence Criteria for Weak Bisimilarity. MFCS (2021)
Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
A categorical approach to secure compilation. CoRR (2020)
Stelios Tsampas, Christian Williams, Dominique Devriese, Frank Piessens
Abstract Congruence Criteria for Weak Bisimilarity. CoRR (2020)
Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens
CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle. CoRR (2020)
Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
A Categorical Approach to Secure Compilation. CMCS (2020)
Stelios Tsampas, Dominique Devriese, Frank Piessens
Temporal Safety for Stack Allocated Memory on Capability Machines. CSF (2019)