• 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
  • POPL 2022 profile
  • POPL 2023 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
No Photo

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
xThu 22 May 11:04
using conf.researchr.org (v1.69.0)
Support page
Sign Up