Timos Antonopoulos -

Registered user since Sat 20 Aug 2022

Name:Timos Antonopoulos

Country:United States

Affiliation:Yale University

Contributions

POPL 2023	Author of An Algebra of Alignment for Relational Verification within the POPL-track
ProLaLa 2023	Committee Member in Program Committee within the ProLaLa 2023-track
ProLaLa 2022	Committee Member in Program Committee within the ProLaLa Programming Languages and the Law-track
SPLASH 2021	Author of DynamiTe: Dynamic Termination and Non-termination Proofs within the SIGPLAN Papers-track
SPLASH 2020	Author of DynamiTe: Dynamic Termination and Non-termination Proofs within the OOPSLA-track
VMCAI 2020	PC Member in Program Committee within the VMCAI 2020-track
APLAS 2019	Ordinary PC member in Program Committee within the Research Papers-track
SPLASH 2019	Author of Specification and Inference of Trace Refinement Relations within the OOPSLA-track Author of Specification and Inference of Trace Refinement Relations within the OOPSLA Artifacts-track
POST 2019	Author of A Formal Analysis of Timing Channel Security via Bucketing within the POST 2019-track
VMCAI 2019	Committee Member in Program Committee within the VMCAI 2019-track
PLDI 2017	Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track