Filter
Conference contribution

Search results

  • 2023

    Loupe: Driving the Development of OS Compatibility Layers

    Lefeuvre, H., Gain, G., Bădoiu, V.-A., Dinca, D., Schiller, V.-R., Raiciu, C., Huici, F. & Olivier, P., 19 Sept 2023, (Accepted/In press) Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'24). New York, NY, USA, Vol. 1. 19 p.

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

    Open Access
  • Software Compartmentalization Trade-Offs with Hardware Capabilities

    Kressel, J. A., Lefeuvre, H. & Olivier, P., 1 Oct 2023, 12th Workshop on Programming Languages and Operating Systems (PLOS 2023), October 23, 2023, Koblenz, Germany. p. 49–57

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

    Open Access
  • 2022

    Assessing the Impact of Interface Vulnerabilities in Compartmentalized Software

    Lefeuvre, H., Bădoiu, V.-A., Chien, Y., Huici, F., Dautenhahn, N. & Olivier, P., 22 Dec 2022, (Accepted/In press) Proceedings of 30th Network and Distributed System Security (NDSS'23). Internet Society, (NDSS'23).

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

    Open Access
  • FlexOS: Towards Flexible OS Isolation

    Lefeuvre, H., Bădoiu, V.-A., Jung, A., Teodorescu, Ș., Rauch, S., Huici, F., Raiciu, C. & Olivier, P., 28 Feb 2022, ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Falsafi, B., Ferdman, M., Lu, S. & Wenisch, T. F. (eds.). p. 467-482 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

    Open Access
    File
    874 Downloads (Pure)
  • 2021

    FlexOS: Easy Specialization of OS Safety Properties

    Lefeuvre, H., 6 Dec 2021, (E-pub ahead of print) Proceedings of the 22nd International Middleware Conference Doctoral Symposium. 22 ed. New York, USA: Association for Computing Machinery, 4 p.

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

    Open Access
    File
    210 Downloads (Pure)
  • Unikraft: Fast, Specialized Unikernels the Easy Way

    Kuenzer, S., Bădoiu, V.-A., Lefeuvre, H., Santhanam, S., Jung, A., Gain, G., Cyril, S., Lupu, C., Teodorescu, Ș., Răducanu, C., Banu, C., Mathy, L., Deaconescu, R., Raiciu, C. & Huici, F., 23 Apr 2021, Proceedings of the 16th European Conference on Computer Systems. 16 ed. ACM Digital Library

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

    Open Access
  • Wayfinder: Towards Automatically Deriving Optimal OS Configurations

    Jung, A., Lefeuvre, H., Rotsos, C., Olivier, P., Huici, F., Niepert, M. & Oñoro, D., 29 Jun 2021, (Accepted/In press) 12th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys).

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

  • 2020

    Towards Highly Specialized, POSIX-compliant Software Stacks with Unikraft: Work-in-Progress

    Santhanam, S., Kuenzer, S., Lefeuvre, H., Huici, F., Jung, A., Pagani, S., Muraru, G.-C., Stabellini, S., He, J. & Beri, J., 20 Sept 2020, Towards Highly Specialized, POSIX-compliant Software Stacks with Unikraft: Work-in-Progress. Singapore, Singapore: IEEE, Vol. 2020 International Conference on Embedded Software (EMSOFT). 3 p.

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

    Open Access
    File
    193 Downloads (Pure)