Efficient GPU Join OptimizationDiscusses efficient GPU-accelerated join optimization for complex queries, aiming to improve optimization times and heuristic plan quality.
Data Management: OverviewIntroduces fundamental concepts of data management, including data models, databases, and key tasks.
Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Moodle EnvironmentExplores the support services and environment of Moodle at EPFL, including group modes, admin tools, course management, and user interactions.
Structure DatabaseExplores structured databases for materials at the process level and waste treatment.