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.
Proc. ACM Program. Lang. Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Proc. ACM Program. Lang. Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Proc. ACM Program. Lang. Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
ACM-SIAM Symposium on Discrete Algorithms (SODA) A Distributed Palette Sparsification Theorem.
Algorithmica Domination and Cut Problems on Chordal Graphs with Bounded Leafage
Transactions of the Association for Computational Linguistics AfriSpeech-200: Pan-African Accented Speech Dataset for Clinical and General Domain ASR
Peer-to-Peer Networking and Applications
Conference on Neural Information Processing Systems (NeurIPS) Robust and Actively Secure Serverless Collaborative Learning.
International Symposium on Parameterized and Exact Computation (IPEC) Approximate Monotone Local Search for Weighted Problems.