Domain Specific Language (DSL) to model big data systems
Energy Market for decentralized cross-commodity energy management
Implementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)
GuideForce Implementation
