Informatics 1 - Chair of Distributed Systems and Operating Systems

Filter
Conference contribution

Search results

  • 2023

    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
  • 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

    13 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
    24 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