About Me

I am a PhD student at the Programming Group in the School of Computer Science at the University of St. Gallen. My research interests encompass software engineering, programming languages, and security, with a particular focus on improving the reliability of Infrastructure as Code (IaC).

I obtained my Bachelor's degree in Computer Science from ETH Zurich and a joint Master's degree from ETH Zurich and EPF Lausanne, specializing in security and distributed systems. My master thesis was conducted at the PARSA lab at EPFL under the supervision of Mirjana Stojilović and Ognjen Glamočanin, where I worked on side-channel attacks on remotely accessible FPGAs.

Beyond academia, I love doing sports and watching football.

Publications

Metamorphic Testing for Infrastructure-as-Code Engines [PDF] D. Spielmann, G. Zakhour, D. Arnold, M. Biagiola, R. Meier, G. Salvaneschi Proceedings of the ACM on Programming Languages 10 (OOPSLA1), 2026
TerraDS: A Dataset for Terraform HCL Programs [PDF] C. Bühler*, D. Spielmann*, R. Meier, G. Salvaneschi IEEE/ACM 22nd International Conference on Mining Software Repositories, 2025
Automated Infrastructure as Code Program Testing [PDF] D. Sokolowski, D. Spielmann, G. Salvaneschi IEEE Transactions on Software Engineering, 2024
The PIPr Dataset of Public Infrastructure as Code Programs [PDF] D. Sokolowski, D. Spielmann, G. Salvaneschi IEEE/ACM 21st International Conference on Mining Software Repositories, 2024
RDS: FPGA Routing Delay Sensors for Effective Remote Power Analysis Attacks [PDF] D. Spielmann*, O. Glamočanin*, M. Stojilović IACR Transactions on Cryptographic Hardware and Embedded Systems, 2023

Education

PhD in Computer Science
University of St. Gallen (2023 – Present)
Advisor: Prof. Dr. Guido Salvaneschi  |  Co-Advisor: Prof. Dr. Manuel Rigger
Joint MSc in Computer Science
ETH Zurich & EPF Lausanne (2020 – 2023)
Specialization: Security and Distributed Systems
Master Thesis: Routing Delay Sensors for Remote Power Side-Channel Attacks on FPGAs (Advisors: Prof. Dr. Srdjan Capkun, Dr. Mirjana Stojilović, and Dr. Ognjen Glamočanin)
BSc in Computer Science
ETH Zurich (2016 – 2019)

Experience

Data Engineering Intern
Credit Suisse (Oct 2019 – Apr 2020)
First Lieutenant
Swiss Armed Forces (Jul 2015 – Present)

Teaching

Teaching Assistant (University of St. Gallen)

  • Introduction to Programming (Fall 2023, 2024, 2025)
  • Programming Methodology (Spring 2024, 2025, 2026)