Search dblp for Publications

export results for "toc:db/conf/plos/plos2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/plos/CastesG23,
  author       = {Charly Castes and
                  Adrien Ghosn},
  title        = {Dynamic Linkers Are the Narrow Waist of Operating Systems},
  booktitle    = {Proceedings of the 12th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {26--33},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623759.3624548},
  doi          = {10.1145/3623759.3624548},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plos/CastesG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plos/GonzalezMB23,
  author       = {Am{\'{e}}lie Gonzalez and
                  Djob Mvondo and
                  Y{\'{e}}rom{-}David Bromberg},
  title        = {Takeaways of Implementing a Native Rust {UDP} Tunneling Network Driver
                  in the Linux Kernel},
  booktitle    = {Proceedings of the 12th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {18--25},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623759.3624547},
  doi          = {10.1145/3623759.3624547},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plos/GonzalezMB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plos/KlimtKLM23,
  author       = {Jonathan Klimt and
                  Martin Kr{\"{o}}ning and
                  Stefan Lankes and
                  Antonello Monti},
  title        = {On the Challenge of Sound Code for Operating Systems},
  booktitle    = {Proceedings of the 12th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {83--90},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623759.3624554},
  doi          = {10.1145/3623759.3624554},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plos/KlimtKLM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plos/KresselLO23,
  author       = {John Alistair Kressel and
                  Hugo Lefeuvre and
                  Pierre Olivier},
  title        = {Software Compartmentalization Trade-Offs with Hardware Capabilities},
  booktitle    = {Proceedings of the 12th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {49--57},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623759.3624550},
  doi          = {10.1145/3623759.3624550},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plos/KresselLO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plos/LafranceD0CNB23,
  author       = {Arthur Lafrance and
                  David Detweiler and
                  Zhaofeng Li and
                  Xiangdong Chen and
                  Vikram Narayanan and
                  Anton Burtsev},
  title        = {Extending Rust with Support for Zero Copy Communication},
  booktitle    = {Proceedings of the 12th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {74--82},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623759.3624552},
  doi          = {10.1145/3623759.3624552},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plos/LafranceD0CNB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plos/MaC023,
  author       = {Zhiyao Ma and
                  Guojun Chen and
                  Lin Zhong},
  title        = {Panic Recovery in Rust-based Embedded Systems},
  booktitle    = {Proceedings of the 12th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {66--73},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623759.3624549},
  doi          = {10.1145/3623759.3624549},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plos/MaC023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plos/OttRSS23,
  author       = {Maximilian Ott and
                  Phillip Raffeck and
                  Volkmar Sieh and
                  Wolfgang Schr{\"{o}}der{-}Preikschat},
  title        = {Towards Just-In-Time Compiling of Operating Systems},
  booktitle    = {Proceedings of the 12th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {41--48},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623759.3624551},
  doi          = {10.1145/3623759.3624551},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plos/OttRSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plos/PatelAFS23,
  author       = {Shaurya Patel and
                  Sidharth Agrawal and
                  Alexandra Fedorova and
                  Margo I. Seltzer},
  title        = {CHERI-picking: Leveraging capability hardware for prefetching},
  booktitle    = {Proceedings of the 12th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {58--65},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623759.3624553},
  doi          = {10.1145/3623759.3624553},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plos/PatelAFS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plos/PohjolaSTWSNUMS23,
  author       = {Johannes {\AA}man Pohjola and
                  Hira Taqdees Syeda and
                  Miki Tanaka and
                  Krishnan Winter and
                  Tsun Wang Sau and
                  Benjamin Nott and
                  Tiana J. Tsang Ung and
                  Craig McLaughlin and
                  Remy Seassau and
                  Magnus O. Myreen and
                  Michael Norrish and
                  Gernot Heiser},
  title        = {Pancake: Verified Systems Programming Made Sweeter},
  booktitle    = {Proceedings of the 12th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {1--9},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623759.3624544},
  doi          = {10.1145/3623759.3624544},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plos/PohjolaSTWSNUMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plos/SippelS23,
  author       = {Michael Sippel and
                  Horst Schirmeier},
  title        = {Process Composition with Typed Unix Pipes},
  booktitle    = {Proceedings of the 12th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {34--40},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623759.3624546},
  doi          = {10.1145/3623759.3624546},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plos/SippelS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plos/WangNAS23,
  author       = {Bingyao Wang and
                  Sepehr Noorafshan and
                  Reto Achermann and
                  Margo I. Seltzer},
  title        = {Synthesizing Device Drivers with Ghost Writer},
  booktitle    = {Proceedings of the 12th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {10--17},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623759.3624545},
  doi          = {10.1145/3623759.3624545},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plos/WangNAS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/plos/2023,
  title        = {Proceedings of the 12th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623759},
  doi          = {10.1145/3623759},
  timestamp    = {Tue, 17 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plos/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.