• Sign in
  • Sign up
conf.researchr.org / Timos Antonopoulos
  • 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
xMon 1 Mar 02:46
using conf.researchr.org (v1.42.1)
Support page
Sign Up