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

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