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
SPLASH 2019 profile
SPLASH 2020 profile
Not registered as user yet
Name:
Timos Antonopoulos
Affiliation:
Yale University
Contributions
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
VMCAI 2019
Committee Member in Program Committee within the VMCAI 2019-track
POST 2019
Author of A Formal Analysis of Timing Channel Security via Bucketing within the POST 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
Mon 1 Mar 02:46