Publications

Conferences and Workshops

Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion

Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, and Andrew Cobb

International Conference on Functional Programming, 2018

Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion

Mitchell Wand, Theophilos Giannakopoulos, Andrew Cobb, and Ryan Culpepper

Probabilistic Programming Semantics Workshop, 2018

Finite-depth higher-order abstract syntax trees for reasoning about probabilistic programs

Theophilos Giannakopoulos, Mitchell Wand, and Andrew Cobb

Probabilistic Programming Semantics Workshop, 2016

Towards an operational semantics for Alloy

Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi

Formal Methods, 2009

Multi-Decision Policy and Policy Combinator Specifications

Master's Thesis

2012

Towards a Transition System Semantics for Alloy

Major Qualifying Project

2009

Making the Link: Entrepreneurship in Costa Rica

Theophilos Giannakopoulos, Daniel Knox, and Kenneth L. Osborn III

Interactive Qualifying Project

2007