Publications
Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.
International Conference on Machine Learning (ICML) SparseOpt: Addressing Normalization-induced Gradient Skew in Sparse Training
International Conference on Machine Learning (ICML) Robustness of Mixtures of Experts to Feature Noise
ACM Symposium on Principles of Distributed Computing (PODC) The Distributed Complexity Landscape on Trees Depends on the Knowledge About the Network Size
IEEE Cybersecurity Development (SecDev) SoK: A Modularized Framework for Symbolic Execution and Application for Usable Tool Design
ICS '26: Proceedings of the 40th ACM International Conference on Supercomputing Clutch: High Performance Vector-Scalar Comparison using DRAM via Chunked Temporal Coding
ACM International Conference on AI-Powered Software (AIware) Can LLMs Really Reason about Code? Studying How Well LLMs Understand the Relation between Input, Code, and Output
European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE-Companion) Testing Protocols with Formal Languages
Conferences: European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE companion) Generating Test Inputs and Interactions with the Fandango Fuzzer: How to Test Complex Systems Automatically and Exhaustively
European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE-Companion) PYURIFY: Purifying Python Tests for Precise Fault Localization