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 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
ITP Completing Almost Fair Simulations
USENIX Symposium on Operating Systems Design and Implementation μUSB: Practical and Safe USB Driver Reuse for Arm TrustZone