Informatics 1 - Chair of Distributed Systems and Operating Systems

Search results

  • 2023

    Capacity planning for dependable services

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

    Research output: Contribution to journalArticlepeer-review

  • 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, p. 195-209 15 p. (HPDC 2023 - Proceedings of the 32nd International Symposium on High-Performance Parallel and Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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, p. 72-79 8 p. (APSys 2023 - Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 222-238 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13751 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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 Jun 2022, PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). Association for Computing Machinery, p. 888-902 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    10 Scopus citations
  • 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. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 217-229 13 p. (CGO 2022 - Proceedings of the 2022 IEEE/ACM International Symposium on Code Generation and Optimization).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    9 Scopus citations
  • 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 Dec 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. (eds.). Association for Computing Machinery, p. 107-122 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • SafePM: A Sanitizer for Persistent Memory

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 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., p. 14-27 14 p. (Proceedings - 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • VMSH: Hypervisor-agnostic Guest Overlays for VMs

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 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, p. 285-301 17 p. (2021 USENIX Annual Technical Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    21 Scopus citations
  • Execution reconstruction: Harnessing failure reoccurrences for failure reproduction

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    14 Scopus citations
  • Provenance expressiveness benchmarking on non-deterministic executions

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

    Research output: Contribution to conferencePaperpeer-review

  • 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, p. 490-506 17 p. 3456255. (EuroSys 2021 - Proceedings of the 16th European Conference on Computer Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    14 Scopus citations
  • 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. (ed.). Springer Science and Business Media Deutschland GmbH, p. 709-736 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12711 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • 2020

    SecuretF: A secure tensorflow framework

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    25 Scopus citations
  • T-Lease: A trusted lease primitive for distributed systems

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    10 Scopus citations
  • 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. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 281-282 2 p. 9206203. (2020 IEEE 32nd Conference on Software Engineering Education and Training, CSEE and T 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    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, p. 439-442 4 p. (16th International Conference on Cognition and Exploratory Learning in Digital Age, CELDA 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    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., p. 25-34 10 p. 7536502. (Proceedings - International Conference on Distributed Computing Systems; vol. 2016-August).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    26 Scopus citations
  • 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. p. 98-101 4 p.

    Research output: Contribution to journalConference articlepeer-review

    1 Scopus citations
  • 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, p. 66-83 18 p.

    Research output: Contribution to journalArticlepeer-review