David Spielmann

According to our database, David Spielmann authored at least 5 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automated Infrastructure as Code Program Testing.

Daniel Sokolowski, David Spielmann, Guido Salvaneschi

IEEE Trans. Software Eng., June, 2024

The PIPr Dataset of Public Infrastructure as Code Programs.

Daniel Sokolowski, David Spielmann, Guido Salvaneschi

Proceedings of the 21st IEEE/ACM International Conference on Mining Software Repositories, 2024

Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code.

Daniel Sokolowski, David Spielmann, Guido Salvaneschi

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023

RDS: FPGA Routing Delay Sensors for Effective Remote Power Analysis Attacks.

David Spielmann, Ognjen Glamocanin, Mirjana Stojilovic

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023

Extensible Testing for Infrastructure as Code.

David Spielmann, Daniel Sokolowski, Guido Salvaneschi

Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023