Theophilos Giannakopoulos -

Registered user since Thu 14 Nov 2019

Name:Theophilos Giannakopoulos

Country:United States

Affiliation:Systems & Technology Research

Personal website: https://www.abstractnonsense.org/

Contributions

2019

SEInfraConfig

Author of Synthesizing Mutable Configurations: Setting up Systems for Success within the SEConfig 2019-track

2018

ICFP

Author of Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion within the Research Papers-track

LAFI

Author of Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion within the PPS 2018-track

2016

LAFI

Author of Finite-depth Higher-order Abstract Syntax Trees for Reasoning about Probabilistic Programs within the PPS 2016-track