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.
European Symposium on Programming (ESOP) Aneris: A Mechanized Logic for Modular Reasoning about Distributed Systems
Conference on Neural Information Processing Systems (NeurIPS) A Measure-Theoretic Approach to Kernel Conditional Mean Embeddings.
AAAI Workshop on Information-Theoretic Causal Inference and Discovery (ITCI) Coloring Fast Without Learning Your Neighbors' Colors.
International Conference on Machine Learning (ICML) Is Local SGD Better than Minibatch SGD?
International Conference on Machine Learning (ICML) A Unified Theory of Decentralized SGD with Changing Topology and Local Updates.
International Conference on Machine Learning (ICML) SCAFFOLD: Stochastic Controlled Averaging for Federated Learning.
International Conference on Machine Learning (ICML) Extrapolation for Large-batch Training in Deep Learning.
SSS Brief Announcement: TRIX: Low-Skew Pulse Propagation for Fault-Tolerant Hardware
International Conference on Software Engineering (ICSE)