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