Stelios Tsampas

29 papers A* 2A 2B 5Journal 18Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Towards a Higher-Order Bialgebraic Denotational Semantics.
CoRR
Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, Stefano Volpe
2025 J jnl
Abstract Operational Methods for Call-by-Push-Value.
Proc. ACM Program. Lang.
Sergey Goncharov, Stelios Tsampas, Henning Urbat
2025 J jnl
Bialgebraic Reasoning on Stateful Languages.
CoRR
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2025 J jnl
Bialgebraic Reasoning on Stateful Languages.
Proc. ACM Program. Lang.
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2025 J jnl
Big Steps in Higher-Order Mathematical Operational Semantics.
CoRR
Sergey Goncharov, Pouya Partow, Stelios Tsampas
2025 J jnl
Big Steps in Higher-Order Mathematical Operational Semantics.
Proc. ACM Program. Lang.
Sergey Goncharov, Pouya Partow, Stelios Tsampas
2025 J jnl
CRDT Emulation, Simulation, and Representation Independence.
CoRR
Nathan Liittschwager, Jonathan Castello, Stelios Tsampas, Lindsey Kuper
2025 J jnl
CRDT Emulation, Simulation, and Representation Independence.
Proc. ACM Program. Lang.
Nathan Liittschwager, Jonathan Castello, Stelios Tsampas, Lindsey Kuper
2024 J jnl
Abstract Operational Methods for Call-by-Push-Value.
CoRR
Sergey Goncharov, Stelios Tsampas, Henning Urbat
2024 J jnl
Bialgebraic Reasoning on Higher-Order Program Equivalence.
CoRR
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
2024 A* conf
Bialgebraic Reasoning on Higher-order Program Equivalence.
LICS
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
2024 J jnl
Higher-Order Mathematical Operational Semantics.
CoRR
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2024 — conf
Logical Predicates in Higher-Order Mathematical Operational Semantics.
FoSSaCS (2)
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
2024 J jnl
Logical Predicates in Higher-Order Mathematical Operational Semantics.
CoRR
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
2023 B conf
CRDTs, Coalgebraically (Early Ideas).
CALCO
Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, Lindsey Kuper
2023 B conf
Higher-Order Mathematical Operational Semantics (Early Ideas).
CALCO
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2023 J jnl
Towards a Higher-Order Mathematical Operational Semantics.
Proc. ACM Program. Lang.
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2023 A* conf
Weak Similarity in Higher-Order Mathematical Operational Semantics.
LICS
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
2023 J jnl
Weak Similarity in Higher-Order Mathematical Operational Semantics.
CoRR
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
2022 B conf
Stateful Structural Operational Semantics.
FSCD
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2022 J jnl
Stateful Structural Operational Semantics.
CoRR
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2021 B conf
Abstract Congruence Criteria for Weak Bisimilarity.
MFCS
Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens
2021 A conf
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle.
CSF
Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens
2021 B conf
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly.
APLAS
Carmine Abate, Matteo Busi, Stelios Tsampas
2020 — conf
A Categorical Approach to Secure Compilation.
CMCS
Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
2020 J jnl
A categorical approach to secure compilation.
CoRR
Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
2020 J jnl
Abstract Congruence Criteria for Weak Bisimilarity.
CoRR
Stelios Tsampas, Christian Williams, Dominique Devriese, Frank Piessens
2020 J jnl
CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle.
CoRR
Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens
2019 A conf
Temporal Safety for Stack Allocated Memory on Capability Machines.
CSF
Stelios Tsampas, Dominique Devriese, Frank Piessens