Skip to main content Skip to main navigation

Publications

Displaying results 61 to 70 of 77.
  1. Muhammad El-Hindi; Tobias Ziegler; Matthias Heinrich; Adrian Lutsch; Zheguang Zhao; Carsten Binnig

    Benchmarking the Second Generation of Intel SGX Hardware

    In: Spyros Blanas; Norman May (Hrsg.). International Conference on Management of Data. ACM SIGMOD International Conference on Management of Data …

  2. Lasse Thostrup; Jan Skrzypczak; Matthias Jasny; Tobias Ziegler; Carsten Binnig

    DFI: The Data Flow Interface for High-Speed Networks

    In: SIGMOD Record, Vol. 51, No. 1, Pages 15-22, Association for Computing Machinery (ACM), 2022.

  3. Alberto Lerner; Matthias Jasny; Theo Jepsen; Carsten Binnig; Philippe Cudré-Mauroux

    DBMS Annihilator: A High-Performance Database Workload Generator in Action

    In: Proceedings of the VLDB Endowment (PVLDB), Vol. 15, No. 12, Pages 3682-3685, Association for Computing Machinery (ACM), 2022.

  4. Marius Gassen; Benjamin Hättasch; Benjamin Hilprecht; Nadja Geisler; Alexander Fraser; Carsten Binnig

    Demonstrating CAT: Synthesizing Data-Aware Conversational Agents for Transactional Databases

    In: Proceedings of the VLDB Endowment (PVLDB), Vol. 15, No. 12, Pages 3586-3589, Association for Computing Machinery (ACM), 2022.

  5. Benjamin Hilprecht; Carsten Binnig

    Zero-Shot Cost Models for Out-of-the-box Learned Cost Prediction

    In: Proceedings of the VLDB Endowment (PVLDB), Vol. 15, No. 11, Pages 2361-2374, Association for Computing Machinery (ACM), 2022.

  6. Benjamin Hilprecht; Carsten Binnig

    One Model to Rule them All: Towards Zero-Shot Learning for Databases

    In: 12th Conference on Innovative Data Systems Research, CIDR 2022. Conference on Innovative Data Systems Research (CIDR-2022), January 9-12, …

  7. Björn Deiseroth; Patrick Schramowski; Hikaru Shindo; Devendra Singh Dhami; Kristian Kersting

    LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2208.13518, Pages 0-10, arXiv, 2022.

  8. Viktor Pfanschilling; Hikaru Shindo; Devendra Singh Dhami; Kristian Kersting

    Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming

    In: Gabriele Kern-Isberner; Gerhard Lakemeyer; Thomas Meyer (Hrsg.). Proceedings of the 19th International Conference on Principles of Knowledge …

  9. Xuan Xie; Kristian Kersting; Daniel Neider

    Neuro-Symbolic Verification of Deep Neural Networks

    In: Luc De Raedt (Hrsg.). Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. International Joint Conference on …

  10. Dominik Hintersdorf; Lukas Struppek; Kristian Kersting

    To Trust or Not To Trust Prediction Scores for Membership Inference Attacks

    In: Luc De Raedt (Hrsg.). Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. International Joint Conference on …