Informatik 1 - Lehrstuhl für Distributed Systems and Operating Systems

Suchergebnisse

  • 2025

    Cage: Hardware-Accelerated Safe WebAssembly

    Fink, M., Stavrakakis, D., Sprokholt, D., Chakraborty, S., Ekberg, J. E. & Bhatotia, P., 1 März 2025, CGO 2025 - Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization. Doerfert, J., Grosser, T., Leather, H. & Sadayappan, P. (Hrsg.). Association for Computing Machinery, Inc, S. 538-552 15 S. (CGO 2025 - Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access

  • TNIC: A Trusted NIC Architecture: A hardware-network substrate for building high-performance trustworthy distributed systems

    Giantsidi, D., Pritzi, J., Gust, F., Katsarakis, A., Koshiba, A. & Bhatotia, P., 30 März 2025, ASPLOS 2025 - Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, S. 1282-1301 20 S. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; Band 2).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures

    Kırmemiş, O., Romão, F., Giortamis, E. & Bhatotia, P., 1 März 2025, CGO 2025 - Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization. Doerfert, J., Grosser, T., Leather, H. & Sadayappan, P. (Hrsg.). Association for Computing Machinery, Inc, S. 299-316 18 S. (CGO 2025 - Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
  • 2024

    Confidential VMs Explained: An Empirical Analysis of AMD SEV-SNP and Intel TDX

    Misono, M., Stavrakakis, D., Santos, N. & Bhatotia, P., 13 Dez. 2024, in: Proceedings of the ACM on Measurement and Analysis of Computing Systems. 8, 3, 36.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    Open Access

  • Gramine-TDX: A Lightweight OS Kernel for Confidential VMs

    Kuvaiskii, D., Stavrakakis, D., Qin, K., Xing, C., Bhatotia, P. & Vij, M., 9 Dez. 2024, CCS 2024 - Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Inc, S. 4598-4612 15 S. (CCS 2024 - Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    2 Zitate (Scopus)

  • IndiLog: Bridging Scalability and Performance in Stateful Serverless Computing with Shared Logs

    Wiesholler, M., Dinu, F., Picorel, J. & Bhatotia, P., 16 Sept. 2024, Proceedings of the 17th ACM International Systems and Storage Conference, SYSTOR 2024. Association for Computing Machinery, Inc, S. 1-13 13 S. (Proceedings of the 17th ACM International Systems and Storage Conference, SYSTOR 2024).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • SPP: Safe Persistent Pointers for Memory Safety

    Stavrakakis, D., Panfil, A., Nam, M. & Bhatotia, P., 2024, Proceedings - 2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024. Institute of Electrical and Electronics Engineers Inc., S. 37-52 16 S. (Proceedings - 2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • uIO: Lightweight and Extensible Unikernels

    Misono, M., Okelmann, P., Mainas, C. & Bhatotia, P., 20 Nov. 2024, SoCC 2024 - Proceedings of the 2024 ACM Symposium on Cloud Computing. Association for Computing Machinery, Inc, S. 580-599 20 S. (SoCC 2024 - Proceedings of the 2024 ACM Symposium on Cloud Computing).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • vFPIO: A Virtual I/O Abstraction for FPGA-accelerated I/O Devices

    Chen, J., Unnibhavi, H., Koshiba, A. & Bhatotia, P., 2024, Proceedings of the 2024 USENIX Annual Technical Conference, ATC 2024. USENIX Association, S. 1167-1184 18 S. (Proceedings of the 2024 USENIX Annual Technical Conference, ATC 2024).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • 2023

    Capacity planning for dependable services

    Faqeh, R., Martin, A., Schiavoni, V., Bhatotia, P., Felber, P. & Fetzer, C., 17 Okt. 2023, in: Theoretical Computer Science. 976, 114126.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

  • FlexLog: A Shared Log for Stateful Serverless Computing

    Giantsidi, D., Giortamis, E., Tornow, N., Dinu, F. & Bhatotia, P., 7 Aug. 2023, HPDC 2023 - Proceedings of the 32nd International Symposium on High-Performance Parallel and Distributed Computing. Association for Computing Machinery, Inc, S. 195-209 15 S. (HPDC 2023 - Proceedings of the 32nd International Symposium on High-Performance Parallel and Distributed Computing).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    3 Zitate (Scopus)

  • Trusted Heterogeneous Disaggregated Architectures

    Koshiba, A., Gust, F., Pritzi, J., Vahldiek-Oberwagner, A., Santos, N. & Bhatotia, P., 24 Aug. 2023, APSys 2023 - Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems. Association for Computing Machinery, Inc, S. 72-79 8 S. (APSys 2023 - Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    2 Zitate (Scopus)
  • 2022

    Capacity Planning for Dependable Services

    Faqeh, R., Martin, A., Schiavoni, V., Bhatotia, P., Felber, P. & Fetzer, C., 2022, Stabilization, Safety, and Security of Distributed Systems - 24th International Symposium, SSS 2022, Proceedings. Devismes, S., Petit, F., Altisen, K., Di Luna, G. A. & Fernandez Anta, A. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 222-238 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13751 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • Lasagne: a static binary translator for weak memory model architectures

    Rocha, R. C. O., Sprokholt, D., Fink, M., Gouicem, R., Spink, T., Chakraborty, S. & Bhatotia, P., 9 Juni 2022, PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (Hrsg.). Association for Computing Machinery, S. 888-902 15 S. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    15 Zitate (Scopus)

  • Loop Rolling for Code Size Reduction

    Rocha, R. C. O., Petoumenos, P., Franke, B., Bhatotia, P. & O'Boyle, M., 2022, CGO 2022 - Proceedings of the 2022 IEEE/ACM International Symposium on Code Generation and Optimization. Lee, J. W., Hack, S. & Shpeisman, T. (Hrsg.). Institute of Electrical and Electronics Engineers Inc., S. 217-229 13 S. (CGO 2022 - Proceedings of the 2022 IEEE/ACM International Symposium on Code Generation and Optimization).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    13 Zitate (Scopus)

  • Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures

    Gouicem, R., Sprokholt, D., Ruehl, J., Rocha, R. C. O., Spink, T., Chakraborty, S. & Bhatotia, P., 19 Dez. 2022, ASPLOS 2023 - Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Aamodt, T. M., Jerger, N. E. & Swift, M. (Hrsg.). Association for Computing Machinery, S. 107-122 16 S. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    7 Zitate (Scopus)

  • SafePM: A Sanitizer for Persistent Memory

    Bozdogan, K. K., Stavrakakis, D., Issa, S. & Bhatotia, P., 28 März 2022, EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems. Association for Computing Machinery, Inc, S. 506-524 19 S. (EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    4 Zitate (Scopus)

  • Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures

    Unnibhavi, H., Cerdeira, D., Barbalace, A., Santos, N. & Bhatotia, P., 10 Juni 2022, SIGMOD 2022 - Proceedings of the 2022 International Conference on Management of Data. Association for Computing Machinery, S. 1462-1477 16 S. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    2 Zitate (Scopus)

  • Treaty: Secure Distributed Transactions

    Giantsidi, D., Bailleu, M., Crooks, N. & Bhatotia, P., 2022, Proceedings - 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2022. Institute of Electrical and Electronics Engineers Inc., S. 14-27 14 S. (Proceedings - 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2022).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    5 Zitate (Scopus)

  • VMSH: Hypervisor-agnostic Guest Overlays for VMs

    Thalheim, J., Okelmann, P., Unnibhavi, H., Gouicem, R. & Bhatotia, P., 28 März 2022, EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems. Association for Computing Machinery, Inc, S. 678-696 19 S. (EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    4 Zitate (Scopus)
  • 2021

    Avocado: A secure in-memory distributed storage system

    Bailleu, M., Giantsidi, D., Gavrielatos, V., Le Quoc, D., Nagarajan, V. & Bhatotia, P., 2021, 2021 USENIX Annual Technical Conference. USENIX Association, S. 285-301 17 S. (2021 USENIX Annual Technical Conference).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    29 Zitate (Scopus)

  • Execution reconstruction: Harnessing failure reoccurrences for failure reproduction

    Zuo, G., Ma, J., Quinn, A., Bhatotia, P., Fonseca, P. & Kasikci, B., 18 Juni 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (Hrsg.). Association for Computing Machinery, S. 1155-1170 16 S. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    20 Zitate (Scopus)

  • Provenance expressiveness benchmarking on non-deterministic executions

    Chan, S. C., Cheney, J. & Bhatotia, P., 2021.

    Publikation: Konferenzbeitrag › Papier › Begutachtung

  • Rkt-io: A direct I/O stack for shielded execution

    Thalheim, J., Unnibhavi, H., Priebe, C., Bhatotia, P. & Pietzuch, P., 21 Apr. 2021, EuroSys 2021 - Proceedings of the 16th European Conference on Computer Systems. Association for Computing Machinery, Inc, S. 490-506 17 S. 3456255. (EuroSys 2021 - Proceedings of the 16th European Conference on Computer Systems).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    21 Zitate (Scopus)

  • Steel: Composable Hardware-Based Stateful and Randomised Functional Encryption

    Bhatotia, P., Kohlweiss, M., Martinico, L. & Tselekounis, Y., 2021, Public-Key Cryptography – PKC 2021 - 24th IACR International Conference on Practice and Theory of Public Key Cryptography, 2021, Proceedings. Garay, J. A. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 709-736 28 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12711 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    3 Zitate (Scopus)
  • 2020

    SecuretF: A secure tensorflow framework

    Le Quoc, D., Gregor, F., Arnautov, S., Bhatotia, P., Kunkel, R. & Fetzer, C., 7 Dez. 2020, Middleware 2020 - Proceedings of the 2020 21st International Middleware Conference. Association for Computing Machinery, Inc, S. 44-59 16 S. (Middleware 2020 - Proceedings of the 2020 21st International Middleware Conference).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    30 Zitate (Scopus)

  • T-Lease: A trusted lease primitive for distributed systems

    Trach, B., Faqeh, R., Oleksenko, O., Ozga, W., Bhatotia, P. & Fetzer, C., 12 Okt. 2020, SoCC 2020 - Proceedings of the 2020 ACM Symposium on Cloud Computing. Association for Computing Machinery, Inc, S. 387-400 14 S. (SoCC 2020 - Proceedings of the 2020 ACM Symposium on Cloud Computing).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    11 Zitate (Scopus)

  • Welcome from the Conference Chairs

    Krusche, S., Brugge, B. & Tenbergen, B., Nov. 2020, 2020 IEEE 32nd Conference on Software Engineering Education and Training, CSEE and T 2020. Daun, M., Hochmuller, E., Krusche, S., Brugge, B. & Tenbergen, B. (Hrsg.). Institute of Electrical and Electronics Engineers Inc., S. 281-282 2 S. 9206203. (2020 IEEE 32nd Conference on Software Engineering Education and Training, CSEE and T 2020).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
  • 2019

    Mirele: A mixed-reality system for learning a task domain

    Hodaie, Z., Taheri, S. & Brügge, B., 2019, 16th International Conference on Cognition and Exploratory Learning in Digital Age, CELDA 2019. IADIS Press, S. 439-442 4 S. (16th International Conference on Cognition and Exploratory Learning in Digital Age, CELDA 2019).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
  • 2016

    INSPECTOR: Data Provenance Using Intel Processor Trace (PT)

    Thalheim, J., Bhatotia, P. & Fetzer, C., 8 Aug. 2016, Proceedings - 2016 IEEE 36th International Conference on Distributed Computing Systems, ICDCS 2016. Institute of Electrical and Electronics Engineers Inc., S. 25-34 10 S. 7536502. (Proceedings - International Conference on Distributed Computing Systems; Band 2016-August).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    27 Zitate (Scopus)
  • 2013

    Rocking the keys with a multi-touch interface

    Walther, T., Ismailović, D. & Brügge, B., 2013, in: Proceedings of the International Conference on New Interfaces for Musical Expression. S. 98-101 4 S.

    Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Begutachtung

    1 Zitat (Scopus)
  • 2011

    Session reports for SIGCOMM 2010

    Agrawal, S., Athota, K., Bhatotia, P., Goyal, P., Krisha, P., Ruchandan, K., Sastry, N., Singh, G., Sudevalayam, S., Thomas, I. I., Vishwanath, A., Xu, T. & Yu, F., Jan. 2011, in: Computer Communication Review. 41, 1, S. 66-83 18 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung