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
ICFP, 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

WPI Projects and Theses

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