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.
Proceedings of the ACM on Software Engineering CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings
European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) An Empirical Study of Fuzz Harness Degradation
Proceedings of the ACM on Software Engineering Denoising Fault Localization with Test Line Proximity
Conference on Learning Theory (COLT) On the Stability of Nonlinear Dynamics in GD and SGD: Beyond Quadratic Potentials
ACM International Symposium on Computer Architecture (ISCA) PuDGhost: Experimental Analysis of Computation Result Corruption in Processing-using-DRAM Operations on Real DRAM Chips and Implications for Future Systems
ACM International Symposium on Computer Architecture (ISCA) DeJaVu: Why You Should Write to Your DRAM Rows Twice, Carefully
The Web Conference (WWW)-companion PerQA: A Benchmark for Temporally Sensitive Questions on Heterogeneous Personal Data
OVERLAY'26: 8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis. Learning Formal Models of Parametrized Systems