conf.researchr.org / Timos Antonopoulos

Not registered as user yet

Name: Timos Antonopoulos

Affiliation: Yale University

Contributions

SPLASH 2020Author of DynamiTe: Dynamic Termination and Non-termination Proofs within the OOPSLA-track
VMCAI 2020PC Member in Program Committee within the VMCAI 2020-track
APLAS 2019Ordinary PC member in Program Committee within the Research Papers-track
SPLASH 2019Author 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 2019Committee Member in Program Committee within the VMCAI 2019-track
POST 2019Author of A Formal Analysis of Timing Channel Security via Bucketing within the POST 2019-track
PLDI 2017Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track