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
