Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Timos Antonopoulos
conf.researchr.org general profile
APLAS 2019 profile
ETAPS 2019 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2019 profile
POPL 2020 profile
POPL 2022 profile
POPL 2023 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
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
Share
x
Sat 10 Jun 21:08