Theophilos Giannakopoulos

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 4

Top Topics

Conditional Probability Distributions

Random Variables

Joint Probability Distributions

Conditionally Independent

Top Venues

Proc. ACM Program. Lang.

Publications

Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi
Synthesizing Mutable Configurations: Setting up Systems for Success. ASE Workshops (2019)
Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb
Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion. CoRR (2018)
Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee, Oleg Sokolsky
Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. SETTA (2018)
Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb
Contextual equivalence for a probabilistic language with continuous random variables and recursion. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
Towards an Operational Semantics for Alloy. FM (2009)