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
2023
POPL
Author of An Algebra of Alignment for Relational Verification within the POPL-track
ProLaLa
Committee Member in Program Committee within the ProLaLa 2023-track
2022
ProLaLa
Committee Member in Program Committee within the ProLaLa Programming Languages and the Law-track
2021
SPLASH
Author of DynamiTe: Dynamic Termination and Non-termination Proofs within the SIGPLAN Papers-track
2020
SPLASH
Author of DynamiTe: Dynamic Termination and Non-termination Proofs within the OOPSLA-track
VMCAI
PC Member in Program Committee within the VMCAI 2020-track
2019
APLAS
Ordinary PC member in Program Committee within the Research Papers-track
SPLASH
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
Author of A Formal Analysis of Timing Channel Security via Bucketing within the POST 2019-track
VMCAI
Committee Member in Program Committee within the VMCAI 2019-track
2017
PLDI
Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track
Share
x
Tue 3 Dec 17:57