Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/plos:"
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}
}
@inproceedings{DBLP:conf/sosp/000121,
author = {Christian Dietrich},
title = {CppSig: Extracting Type Information for C-Preprocessor Macro Expansions},
booktitle = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
and Operating Systems, Virtual Event, Germany, October 25, 2021},
pages = {62--68},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477113.3487268},
doi = {10.1145/3477113.3487268},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/000121.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/AchermannCHHHRS21,
author = {Reto Achermann and
David A. Cock and
Roni Haecki and
Nora Hossle and
Lukas Humbel and
Timothy Roscoe and
Daniel David Schwyn},
title = {Generating correct initial page tables from formal hardware descriptions},
booktitle = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
and Operating Systems, Virtual Event, Germany, October 25, 2021},
pages = {69--75},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477113.3487270},
doi = {10.1145/3477113.3487270},
timestamp = {Wed, 21 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/AchermannCHHHRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BurtsevADHLNZ21,
author = {Anton Burtsev and
Dan Appel and
David Detweiler and
Tianjiao Huang and
Zhaofeng Li and
Vikram Narayanan and
Gerd Zellweger},
title = {Isolation in Rust: What is Missing?},
booktitle = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
and Operating Systems, Virtual Event, Germany, October 25, 2021},
pages = {76--83},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477113.3487272},
doi = {10.1145/3477113.3487272},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/BurtsevADHLNZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/GerhorstHRSH21,
author = {Luis Gerhorst and
Benedict Herzog and
Stefan Reif and
Wolfgang Schr{\"{o}}der{-}Preikschat and
Timo H{\"{o}}nig},
title = {AnyCall: Fast and Flexible System-Call Aggregation},
booktitle = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
and Operating Systems, Virtual Event, Germany, October 25, 2021},
pages = {1--8},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477113.3487267},
doi = {10.1145/3477113.3487267},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/GerhorstHRSH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Greenberg21,
author = {Michael Greenberg},
title = {Files-as-Filesystems for {POSIX} Shell Data Processing},
booktitle = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
and Operating Systems, Virtual Event, Germany, October 25, 2021},
pages = {17--23},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477113.3487265},
doi = {10.1145/3477113.3487265},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Greenberg21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KappesA21,
author = {Giorgos Kappes and
Stergios V. Anastasiadis},
title = {Asterope: {A} Cross-Platform Optimization Method for Fast Memory Copy},
booktitle = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
and Operating Systems, Virtual Event, Germany, October 25, 2021},
pages = {9--16},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477113.3487264},
doi = {10.1145/3477113.3487264},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/KappesA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KoppenFBS21,
author = {Marcel K{\"{o}}ppen and
Birte Friesel and
Christoph Borchert and
Olaf Spinczyk},
title = {Decoupling Application Logic from Persistent Memory Frameworks with
AspectC++},
booktitle = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
and Operating Systems, Virtual Event, Germany, October 25, 2021},
pages = {24--30},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477113.3487269},
doi = {10.1145/3477113.3487269},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/KoppenFBS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LiHNB21,
author = {Zhaofeng Li and
Tianjiao Huang and
Vikram Narayanan and
Anton Burtsev},
title = {Understanding the Overheads of Hardware and Language-Based {IPC} Mechanisms},
booktitle = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
and Operating Systems, Virtual Event, Germany, October 25, 2021},
pages = {53--61},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477113.3487275},
doi = {10.1145/3477113.3487275},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/LiHNB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LinHSS021,
author = {Zhen Lin and
Kao{-}Feng Hsieh and
Yu Sun and
Seunghee Shin and
Hui Lu},
title = {FlashCube: Fast Provisioning of Serverless Functions with Streamlined
Container Runtimes},
booktitle = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
and Operating Systems, Virtual Event, Germany, October 25, 2021},
pages = {38--45},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477113.3487273},
doi = {10.1145/3477113.3487273},
timestamp = {Thu, 04 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/LinHSS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Madsen21,
author = {Ole Lehrmann Madsen},
title = {Using Coroutines for Multi-core Preemptive Scheduling},
booktitle = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
and Operating Systems, Virtual Event, Germany, October 25, 2021},
pages = {46--52},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477113.3487271},
doi = {10.1145/3477113.3487271},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Madsen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/WaddingtonHD21,
author = {Daniel G. Waddington and
Moshik Hershcovitch and
Clem Dickey},
title = {PyMM: Heterogeneous Memory Programming for Python Data Science},
booktitle = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
and Operating Systems, Virtual Event, Germany, October 25, 2021},
pages = {31--37},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477113.3487266},
doi = {10.1145/3477113.3487266},
timestamp = {Thu, 04 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/WaddingtonHD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Yodaiken21,
author = {Victor Yodaiken},
title = {How {ISO} {C} became unusable for operating systems development},
booktitle = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
and Operating Systems, Virtual Event, Germany, October 25, 2021},
pages = {84--90},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477113.3487274},
doi = {10.1145/3477113.3487274},
timestamp = {Thu, 04 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Yodaiken21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2021plos,
title = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
and Operating Systems, Virtual Event, Germany, October 25, 2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477113},
doi = {10.1145/3477113},
isbn = {978-1-4503-8707-1},
timestamp = {Thu, 04 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/2021plos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BarbalaceOR19,
author = {Antonio Barbalace and
Pierre Olivier and
Binoy Ravindran},
title = {Rethinking Communication in Multiple-kernel OSes for New Shared Memory
Interconnects},
booktitle = {Proceedings of the 10th Workshop on Programming Languages and Operating
Systems, {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {45--52},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3365137.3365399},
doi = {10.1145/3365137.3365399},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BarbalaceOR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BittmanAM19,
author = {Daniel Bittman and
Peter Alvaro and
Ethan L. Miller},
title = {A Persistent Problem: Managing Pointers in {NVM}},
booktitle = {Proceedings of the 10th Workshop on Programming Languages and Operating
Systems, {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {30--37},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3365137.3365397},
doi = {10.1145/3365137.3365397},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BittmanAM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/CarverGLSLZPLM19,
author = {Damien Carver and
Redha Gouicem and
Jean{-}Pierre Lozi and
Julien Sopena and
Baptiste Lepers and
Willy Zwaenepoel and
Nicolas Palix and
Julia Lawall and
Gilles Muller},
title = {Fork/Wait and Multicore Frequency Scaling: a Generational Clash},
booktitle = {Proceedings of the 10th Workshop on Programming Languages and Operating
Systems, {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {53--59},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3365137.3365400},
doi = {10.1145/3365137.3365400},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/CarverGLSLZPLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/HeinlothANHSS19,
author = {Bernhard Heinloth and
Marco Ammon and
Dustin T. Nguyen and
Timo H{\"{o}}nig and
Volkmar Sieh and
Wolfgang Schr{\"{o}}der{-}Preikschat},
title = {Cocoon: Custom-Fitted Kernel Compiled on Demand},
booktitle = {Proceedings of the 10th Workshop on Programming Languages and Operating
Systems, {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {1--7},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3365137.3365398},
doi = {10.1145/3365137.3365398},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/HeinlothANHSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/HuLHKCS19,
author = {Jingmei Hu and
Eric Lu and
David A. Holland and
Ming Kawaguchi and
Stephen Chong and
Margo I. Seltzer},
title = {Trials and Tribulations in Synthesizing Operating Systems},
booktitle = {Proceedings of the 10th Workshop on Programming Languages and Operating
Systems, {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {67--73},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3365137.3365401},
doi = {10.1145/3365137.3365401},
timestamp = {Tue, 05 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/HuLHKCS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KoppenTBNS19,
author = {Marcel K{\"{o}}ppen and
Jana Traue and
Christoph Borchert and
J{\"{o}}rg Nolte and
Olaf Spinczyk},
title = {Cache-Line Transactions: Building Blocks for Persistent Kernel Data
Structures Enabled by AspectC++},
booktitle = {Proceedings of the 10th Workshop on Programming Languages and Operating
Systems, {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {38--44},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3365137.3365396},
doi = {10.1145/3365137.3365396},
timestamp = {Tue, 05 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KoppenTBNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LankesBP19,
author = {Stefan Lankes and
Jens Breitbart and
Simon Pickartz},
title = {Exploring Rust for Unikernel Development},
booktitle = {Proceedings of the 10th Workshop on Programming Languages and Operating
Systems, {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {8--15},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3365137.3365395},
doi = {10.1145/3365137.3365395},
timestamp = {Tue, 05 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/LankesBP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LeeKYKM19,
author = {Keunhong Lee and
Jeehoon Kang and
Wonsup Yoon and
Joongi Kim and
Sue B. Moon},
title = {Enveloping Implicit Assumptions of Intrusive Data Structures within
Ownership Type System},
booktitle = {Proceedings of the 10th Workshop on Programming Languages and Operating
Systems, {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {16--22},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3365137.3365403},
doi = {10.1145/3365137.3365403},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/LeeKYKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/MuhammadRH19,
author = {Hisham Muhammad and
Lucas Correia Villa Real and
Michael Homer},
title = {Taxonomy of Package Management in Programming Languages and Operating
Systems},
booktitle = {Proceedings of the 10th Workshop on Programming Languages and Operating
Systems, {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {60--66},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3365137.3365402},
doi = {10.1145/3365137.3365402},
timestamp = {Tue, 05 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/MuhammadRH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/RommelG0L19,
author = {Florian Rommel and
Lennart Glauer and
Christian Dietrich and
Daniel Lohmann},
title = {Wait-Free Code Patching of Multi-Threaded Processes},
booktitle = {Proceedings of the 10th Workshop on Programming Languages and Operating
Systems, {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {23--29},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3365137.3365404},
doi = {10.1145/3365137.3365404},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/RommelG0L19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2019plos,
title = {Proceedings of the 10th Workshop on Programming Languages and Operating
Systems, {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3365137},
doi = {10.1145/3365137},
isbn = {978-1-4503-7017-2},
timestamp = {Tue, 05 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/2019plos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BoosZ17,
author = {Kevin Boos and
Lin Zhong},
editor = {Julia Lawall},
title = {Theseus: a State Spill-free Operating System},
booktitle = {Proceedings of the 9th Workshop on Programming Languages and Operating
Systems, Shanghai, China, October 28, 2017},
pages = {29--35},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3144555.3144560},
doi = {10.1145/3144555.3144560},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BoosZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ChenOKKH17,
author = {Zilin Chen and
Liam O'Connor and
Gabriele Keller and
Gerwin Klein and
Gernot Heiser},
editor = {Julia Lawall},
title = {The Cogent Case for Property-Based Testing},
booktitle = {Proceedings of the 9th Workshop on Programming Languages and Operating
Systems, Shanghai, China, October 28, 2017},
pages = {1--7},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3144555.3144556},
doi = {10.1145/3144555.3144556},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/ChenOKKH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/FrieselBS17,
author = {Birte Friesel and
Markus Buschhoff and
Olaf Spinczyk},
editor = {Julia Lawall},
title = {Annotations in Operating Systems with Custom AspectC++ Attributes},
booktitle = {Proceedings of the 9th Workshop on Programming Languages and Operating
Systems, Shanghai, China, October 28, 2017},
pages = {36--42},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3144555.3144561},
doi = {10.1145/3144555.3144561},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/FrieselBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/HarveyS17,
author = {Paul Harvey and
Joseph S. Sventek},
editor = {Julia Lawall},
title = {Adaptable Actors: Just What The World Needs},
booktitle = {Proceedings of the 9th Workshop on Programming Languages and Operating
Systems, Shanghai, China, October 28, 2017},
pages = {22--28},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3144555.3144559},
doi = {10.1145/3144555.3144559},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/HarveyS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/HumbelACR17,
author = {Lukas Humbel and
Reto Achermann and
David A. Cock and
Timothy Roscoe},
editor = {Julia Lawall},
title = {Towards Correct-by-Construction Interrupt Routing on Real Hardware},
booktitle = {Proceedings of the 9th Workshop on Programming Languages and Operating
Systems, Shanghai, China, October 28, 2017},
pages = {8--14},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3144555.3144557},
doi = {10.1145/3144555.3144557},
timestamp = {Wed, 21 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/HumbelACR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LamowskiWLH17,
author = {Benjamin Lamowski and
Carsten Weinhold and
Adam Lackorzynski and
Hermann H{\"{a}}rtig},
editor = {Julia Lawall},
title = {Sandcrust: Automatic Sandboxing of Unsafe Components in Rust},
booktitle = {Proceedings of the 9th Workshop on Programming Languages and Operating
Systems, Shanghai, China, October 28, 2017},
pages = {51--57},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3144555.3144562},
doi = {10.1145/3144555.3144562},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/LamowskiWLH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/SangRPNAE17,
author = {Bo Sang and
Srivatsan Ravi and
Gustavo Petri and
Mahsa Najafzadeh and
Masoud Saeida Ardekani and
Patrick Eugster},
editor = {Julia Lawall},
title = {Programmable Elasticity for Actor-based Cloud Applications},
booktitle = {Proceedings of the 9th Workshop on Programming Languages and Operating
Systems, Shanghai, China, October 28, 2017},
pages = {15--21},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3144555.3144558},
doi = {10.1145/3144555.3144558},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/SangRPNAE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/VasilakisKRDDS17,
author = {Nikos Vasilakis and
Ben Karel and
Nick Roessler and
Nathan Dautenhahn and
Andr{\'{e}} DeHon and
Jonathan M. Smith},
editor = {Julia Lawall},
title = {Towards Fine-grained, Automated Application Compartmentalization},
booktitle = {Proceedings of the 9th Workshop on Programming Languages and Operating
Systems, Shanghai, China, October 28, 2017},
pages = {43--50},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3144555.3144563},
doi = {10.1145/3144555.3144563},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/VasilakisKRDDS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2017plos,
editor = {Julia Lawall},
title = {Proceedings of the 9th Workshop on Programming Languages and Operating
Systems, Shanghai, China, October 28, 2017},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3144555},
isbn = {978-1-4503-5153-9},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/2017plos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BorchertS15,
author = {Christoph Borchert and
Olaf Spinczyk},
editor = {Shan Lu},
title = {Hardening an {L4} microkernel against soft errors by aspect-oriented
programming and whole-program analysis},
booktitle = {Proceedings of the 8th Workshop on Programming Languages and Operating
Systems, {PLOS} 2015, Monterey, California, USA, October 4, 2015},
pages = {1--7},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2818302.2818304},
doi = {10.1145/2818302.2818304},
timestamp = {Thu, 20 Aug 2020 07:59:05 +0200},
biburl = {https://dblp.org/rec/conf/sosp/BorchertS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/JacobsenKSBB15,
author = {Charles Jacobsen and
Muktesh Khole and
Sarah Spall and
Scotty Bauer and
Anton Burtsev},
editor = {Shan Lu},
title = {Lightweight capability domains: towards decomposing the Linux kernel},
booktitle = {Proceedings of the 8th Workshop on Programming Languages and Operating
Systems, {PLOS} 2015, Monterey, California, USA, October 4, 2015},
pages = {8--14},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2818302.2818307},
doi = {10.1145/2818302.2818307},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/JacobsenKSBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KoomsinS15,
author = {Ake Koomsin and
Yasushi Shinjo},
editor = {Shan Lu},
title = {Running application specific kernel code by a just-in-time compiler},
booktitle = {Proceedings of the 8th Workshop on Programming Languages and Operating
Systems, {PLOS} 2015, Monterey, California, USA, October 4, 2015},
pages = {15--20},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2818302.2818305},
doi = {10.1145/2818302.2818305},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KoomsinS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LevyACCDGLP15,
author = {Amit A. Levy and
Michael P. Andersen and
Bradford Campbell and
David E. Culler and
Prabal Dutta and
Branden Ghena and
Philip Alexander Levis and
Pat Pannuto},
editor = {Shan Lu},
title = {Ownership is theft: experiences building an embedded {OS} in rust},
booktitle = {Proceedings of the 8th Workshop on Programming Languages and Operating
Systems, {PLOS} 2015, Monterey, California, USA, October 4, 2015},
pages = {21--26},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2818302.2818306},
doi = {10.1145/2818302.2818306},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/LevyACCDGLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/NguyenFXD15,
author = {Khanh Nguyen and
Lu Fang and
Guoqing Xu and
Brian Demsky},
editor = {Shan Lu},
title = {Speculative region-based memory management for big data systems},
booktitle = {Proceedings of the 8th Workshop on Programming Languages and Operating
Systems, {PLOS} 2015, Monterey, California, USA, October 4, 2015},
pages = {27--32},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2818302.2818308},
doi = {10.1145/2818302.2818308},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/NguyenFXD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/YanokN15,
author = {Ilya Yanok and
Nathaniel Nystrom},
editor = {Shan Lu},
title = {Tapir: a language for verified {OS} kernel probes},
booktitle = {Proceedings of the 8th Workshop on Programming Languages and Operating
Systems, {PLOS} 2015, Monterey, California, USA, October 4, 2015},
pages = {33--38},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2818302.2818303},
doi = {10.1145/2818302.2818303},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/YanokN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/YuanWYS15,
author = {Xinhao Yuan and
David Williams{-}King and
Junfeng Yang and
Simha Sethumadhavan},
editor = {Shan Lu},
title = {Making lock-free data structures verifiable with artificial transactions},
booktitle = {Proceedings of the 8th Workshop on Programming Languages and Operating
Systems, {PLOS} 2015, Monterey, California, USA, October 4, 2015},
pages = {39--45},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2818302.2818309},
doi = {10.1145/2818302.2818309},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/YuanWYS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2015plos,
editor = {Shan Lu},
title = {Proceedings of the 8th Workshop on Programming Languages and Operating
Systems, {PLOS} 2015, Monterey, California, USA, October 4, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2818302},
doi = {10.1145/2818302},
isbn = {978-1-4503-3942-1},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/2015plos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/AryaDVC13,
author = {Kapil Arya and
Tyler Denniston and
Ana Maria Visan and
Gene Cooperman},
editor = {Tim Harris and
Anil Madhavapeddy},
title = {Semi-automated debugging via binary search through a process lifetime},
booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating
Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
2013},
pages = {9:1--9:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525528.2525533},
doi = {10.1145/2525528.2525533},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/AryaDVC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BurtsevMER13,
author = {Anton Burtsev and
Nikhil Mishrikoti and
Eric Eide and
Robert Ricci},
editor = {Tim Harris and
Anil Madhavapeddy},
title = {Weir: a streaming language for performance analysis},
booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating
Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
2013},
pages = {6:1--6:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525528.2525537},
doi = {10.1145/2525528.2525537},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BurtsevMER13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/DzikPRTV13,
author = {Jan Dzik and
Nick Palladinos and
Konstantinos Rontogiannis and
Eirik Tsarpalis and
Nikolaos Vathis},
editor = {Tim Harris and
Anil Madhavapeddy},
title = {MBrace: cloud computing with monads},
booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating
Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
2013},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525528.2525531},
doi = {10.1145/2525528.2525531},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/DzikPRTV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Eriksen13,
author = {Marius Eriksen},
editor = {Tim Harris and
Anil Madhavapeddy},
title = {Your server as a function},
booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating
Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
2013},
pages = {5:1--5:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525528.2525538},
doi = {10.1145/2525528.2525538},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Eriksen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/FernandezKKA13,
author = {Matthew Fernandez and
Ihor Kuz and
Gerwin Klein and
June Andronick},
editor = {Tim Harris and
Anil Madhavapeddy},
title = {Towards a verified component platform},
booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating
Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
2013},
pages = {2:1--2:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525528.2525535},
doi = {10.1145/2525528.2525535},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/FernandezKKA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Kell13,
author = {Stephen Kell},
editor = {Tim Harris and
Anil Madhavapeddy},
title = {The operating system: should there be one?},
booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating
Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
2013},
pages = {8:1--8:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525528.2525534},
doi = {10.1145/2525528.2525534},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Kell13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KellerMAOCRKH13,
author = {Gabriele Keller and
Toby C. Murray and
Sidney Amani and
Liam O'Connor and
Zilin Chen and
Leonid Ryzhyk and
Gerwin Klein and
Gernot Heiser},
editor = {Tim Harris and
Anil Madhavapeddy},
title = {File systems deserve verification too!},
booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating
Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
2013},
pages = {1:1--1:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525528.2525530},
doi = {10.1145/2525528.2525530},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KellerMAOCRKH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ShindeKKR13,
author = {Pravin Shinde and
Antoine Kaufmann and
Kornilios Kourtis and
Timothy Roscoe},
editor = {Tim Harris and
Anil Madhavapeddy},
title = {Modeling NICs with Unicorn},
booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating
Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
2013},
pages = {3:1--3:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525528.2525532},
doi = {10.1145/2525528.2525532},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/ShindeKKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/SunFBG13,
author = {Kuei Jack Sun and
Daniel Fryer and
Angela Demke Brown and
Ashvin Goel},
editor = {Tim Harris and
Anil Madhavapeddy},
title = {Annotation for automation: rapid generation of file system tools},
booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating
Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
2013},
pages = {4:1--4:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525528.2525529},
doi = {10.1145/2525528.2525529},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/SunFBG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/TschudinRJLLM13,
author = {Peter Senna Tschudin and
Laurent R{\'{e}}veill{\`{e}}re and
Lingxiao Jiang and
David Lo and
Julia Lawall and
Gilles Muller},
editor = {Tim Harris and
Anil Madhavapeddy},
title = {Understanding the genetic makeup of Linux device drivers},
booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating
Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
2013},
pages = {10:1--10:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525528.2525536},
doi = {10.1145/2525528.2525536},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/TschudinRJLLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2013plos,
editor = {Tim Harris and
Anil Madhavapeddy},
title = {Proceedings of the Seventh Workshop on Programming Languages and Operating
Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525528},
doi = {10.1145/2525528},
isbn = {978-1-4503-2460-1},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/2013plos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/DeHonKKMMMMPPRS11,
author = {Andr{\'{e}} DeHon and
Ben Karel and
Thomas F. Knight Jr. and
Gregory Malecha and
Beno{\^{\i}}t Montagu and
Robin Morisset and
Greg Morrisett and
Benjamin C. Pierce and
Randy Pollack and
Sumit Ray and
Olin Shivers and
Jonathan M. Smith and
Gregory Sullivan},
title = {Preliminary design of the {SAFE} platform},
booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
pages = {4:1--4:5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039239.2039245},
doi = {10.1145/2039239.2039245},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/DeHonKKMMMMPPRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/GerakiosPSV11,
author = {Prodromos Gerakios and
Nikolaos Papaspyrou and
Konstantinos Sagonas and
Panagiotis Vekris},
title = {Dynamic deadlock avoidance in systems code using statically inferred
effects},
booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
pages = {5:1--5:5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039239.2039247},
doi = {10.1145/2039239.2039247},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/GerakiosPSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Gidra0S011,
author = {Lokesh Gidra and
Ga{\"{e}}l Thomas and
Julien Sopena and
Marc Shapiro},
title = {Assessing the scalability of garbage collectors on many cores},
booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
pages = {7:1--7:5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039239.2039249},
doi = {10.1145/2039239.2039249},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Gidra0S011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/SahaLM11,
author = {Suman Saha and
Julia Lawall and
Gilles Muller},
title = {Finding resource-release omission faults in Linux},
booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
pages = {1:1--1:5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039239.2039241},
doi = {10.1145/2039239.2039241},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/SahaLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/SunFGB11,
author = {Jack Sun and
Daniel Fryer and
Ashvin Goel and
Angela Demke Brown},
title = {Using declarative invariants for protecting file-system integrity},
booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
pages = {6:1--6:5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039239.2039248},
doi = {10.1145/2039239.2039248},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/SunFGB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/TartlerL00S11,
author = {Reinhard Tartler and
Daniel Lohmann and
Christian Dietrich and
Christoph Egger and
Julio Sincero},
title = {Configuration coverage in the analysis of large-scale system software},
booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
pages = {2:1--2:5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039239.2039242},
doi = {10.1145/2039239.2039242},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/TartlerL00S11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/VisanACD11,
author = {Ana Maria Visan and
Kapil Arya and
Gene Cooperman and
Tyler Denniston},
title = {{URDB:} a universal reversible debugger based on decomposing debugging
histories},
booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
pages = {8:1--8:5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039239.2039251},
doi = {10.1145/2039239.2039251},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/VisanACD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/WargL11,
author = {Alexander Warg and
Adam Lackorzynski},
title = {Rounding pointers: type safe capabilities with {C++} meta programming},
booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
pages = {3:1--3:5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039239.2039244},
doi = {10.1145/2039239.2039244},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/WargL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2011plos,
title = {Proceedings of the 6th Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039239},
doi = {10.1145/2039239},
isbn = {978-1-4503-0979-0},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/2011plos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BarnesR09,
author = {Frederick R. M. Barnes and
Carl G. Ritson},
editor = {Gilles Muller},
title = {Checking process-oriented operating system behaviour using {CSP} and
refinement},
booktitle = {Proceedings of the Fifth Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
pages = {1:1--1:5},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1745438.1745440},
doi = {10.1145/1745438.1745440},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BarnesR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/DagandBR09,
author = {Pierre{-}{\'{E}}variste Dagand and
Andrew Baumann and
Timothy Roscoe},
editor = {Gilles Muller},
title = {Filet-o-Fish: practical and dependable domain-specific languages for
{OS} development},
booktitle = {Proceedings of the Fifth Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
pages = {5:1--5:5},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1745438.1745446},
doi = {10.1145/1745438.1745446},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/DagandBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KicimanLM09,
author = {Emre Kiciman and
Benjamin Livshits and
Madanlal Musuvathi},
editor = {Gilles Muller},
title = {CatchAndRetry: extending exceptions to handle distributed system failures
and recovery},
booktitle = {Proceedings of the Fifth Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
pages = {4:1--4:5},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1745438.1745444},
doi = {10.1145/1745438.1745444},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KicimanLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/OstrowskiBD09,
author = {Krzysztof Ostrowski and
Ken Birman and
Danny Dolev},
editor = {Gilles Muller},
title = {Distributed data flow language for multi-party protocols},
booktitle = {Proceedings of the Fifth Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
pages = {7:1--7:5},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1745438.1745448},
doi = {10.1145/1745438.1745448},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/OstrowskiBD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/PrincehouseB09,
author = {Lonnie Princehouse and
Ken Birman},
editor = {Gilles Muller},
title = {Code-Partitioning Gossip},
booktitle = {Proceedings of the Fifth Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
pages = {3:1--3:5},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1745438.1745443},
doi = {10.1145/1745438.1745443},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/PrincehouseB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ReicheltSB09,
author = {Sebastian Reichelt and
Jan Stoess and
Frank Bellosa},
editor = {Gilles Muller},
title = {A microkernel {API} for fine-grained decomposition},
booktitle = {Proceedings of the Fifth Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
pages = {2:1--2:5},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1745438.1745441},
doi = {10.1145/1745438.1745441},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/ReicheltSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/SchmidtLP09,
author = {Alexander Schmidt and
Martin von L{\"{o}}wis and
Andreas Polze},
editor = {Gilles Muller},
title = {KStruct: preserving consistency through {C} annotations},
booktitle = {Proceedings of the Fifth Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
pages = {6:1--6:5},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1745438.1745447},
doi = {10.1145/1745438.1745447},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/SchmidtLP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2009plos,
editor = {Gilles Muller},
title = {Proceedings of the Fifth Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1745438},
doi = {10.1145/1745438},
isbn = {978-1-60558-844-5},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/2009plos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BierhoffH07,
author = {Kevin Bierhoff and
Chris Hawblitzel},
editor = {Eric Eide and
Marc E. Fiuczynski},
title = {Checking the hardware-software interface in spec{\#}},
booktitle = {Proceedings of the 4th workshop on Programming languages and operating
systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
pages = {9:1--9:5},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1376789.1376802},
doi = {10.1145/1376789.1376802},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BierhoffH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Blaser07,
author = {Luc Bl{\"{a}}ser},
editor = {Eric Eide and
Marc E. Fiuczynski},
title = {A high-performance operating system for structured concurrent programs},
booktitle = {Proceedings of the 4th workshop on Programming languages and operating
systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
pages = {8:1--8:5},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1376789.1376800},
doi = {10.1145/1376789.1376800},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Blaser07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/DiatchkiHJLT07,
author = {Iavor S. Diatchki and
Thomas Hallgren and
Mark P. Jones and
Rebekah Leslie and
Andrew Tolmach},
editor = {Eric Eide and
Marc E. Fiuczynski},
title = {Writing systems software in a functional language: an experience report},
booktitle = {Proceedings of the 4th workshop on Programming languages and operating
systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
pages = {1:1--1:5},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1376789.1376791},
doi = {10.1145/1376789.1376791},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/DiatchkiHJLT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LohmannSHSS07,
author = {Daniel Lohmann and
Jochen Streicher and
Wanja Hofer and
Olaf Spinczyk and
Wolfgang Schr{\"{o}}der{-}Preikschat},
editor = {Eric Eide and
Marc E. Fiuczynski},
title = {Configurable memory protection by aspects},
booktitle = {Proceedings of the 4th workshop on Programming languages and operating
systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
pages = {3:1--3:5},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1376789.1376794},
doi = {10.1145/1376789.1376794},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/LohmannSHSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/MarquetG07,
author = {Kevin Marquet and
Gilles Grimaud},
editor = {Eric Eide and
Marc E. Fiuczynski},
title = {A {DSL} approach for object memory management of small devices},
booktitle = {Proceedings of the 4th workshop on Programming languages and operating
systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
pages = {4:1--4:5},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1376789.1376795},
doi = {10.1145/1376789.1376795},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/MarquetG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/McKenneyMW07,
author = {Paul E. McKenney and
Maged M. Michael and
Jonathan Walpole},
editor = {Eric Eide and
Marc E. Fiuczynski},
title = {Why the grass may not be greener on the other side: a comparison of
locking vs. transactional memory},
booktitle = {Proceedings of the 4th workshop on Programming languages and operating
systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
pages = {6:1--6:5},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1376789.1376798},
doi = {10.1145/1376789.1376798},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/McKenneyMW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/RyzhykKH07,
author = {Leonid Ryzhyk and
Ihor Kuz and
Gernot Heiser},
editor = {Eric Eide and
Marc E. Fiuczynski},
title = {Formalising device driver interfaces},
booktitle = {Proceedings of the 4th workshop on Programming languages and operating
systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
pages = {10:1--10:5},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1376789.1376803},
doi = {10.1145/1376789.1376803},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/RyzhykKH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/SondagKR07,
author = {Tyler Sondag and
Viswanath Krishnamurthy and
Hridesh Rajan},
editor = {Eric Eide and
Marc E. Fiuczynski},
title = {Predictive thread-to-core assignment on a heterogeneous multi-core
processor},
booktitle = {Proceedings of the 4th workshop on Programming languages and operating
systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
pages = {7:1--7:5},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1376789.1376799},
doi = {10.1145/1376789.1376799},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/SondagKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/StuartHLAPM07,
author = {Henrik Stuart and
Ren{\'{e}} Rydhof Hansen and
Julia L. Lawall and
Jesper Andersen and
Yoann Padioleau and
Gilles Muller},
editor = {Eric Eide and
Marc E. Fiuczynski},
title = {Towards easing the diagnosis of bugs in {OS} code},
booktitle = {Proceedings of the 4th workshop on Programming languages and operating
systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
pages = {2:1--2:5},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1376789.1376792},
doi = {10.1145/1376789.1376792},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/StuartHLAPM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/WaltonE07,
author = {Sean Walton and
Eric Eide},
editor = {Eric Eide and
Marc E. Fiuczynski},
title = {Resource management aspects for sensor network software},
booktitle = {Proceedings of the 4th workshop on Programming languages and operating
systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
pages = {5:1--5:5},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1376789.1376796},
doi = {10.1145/1376789.1376796},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/WaltonE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2007plos,
editor = {Eric Eide and
Marc E. Fiuczynski},
title = {Proceedings of the 4th workshop on Programming languages and operating
systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1376789},
doi = {10.1145/1376789},
isbn = {978-1-59593-922-7},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/2007plos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/BaloghC06,
author = {{\'{A}}d{\'{a}}m Balogh and
Zolt{\'{a}}n Cs{\"{o}}rnyei},
editor = {Christian W. Probst},
title = {SysObjC: {C} extension for development of object-oriented operating
systems},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
pages = {5},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995.1216000},
doi = {10.1145/1215995.1216000},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/BaloghC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/LawallPS06,
author = {Julia L. Lawall and
Christian W. Probst and
Ulrik Pagh Schultz},
editor = {Christian W. Probst},
title = {Issues in holistic system design},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
pages = {12},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995.1216007},
doi = {10.1145/1215995.1216007},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/LawallPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/MatthewsCA06,
author = {Chris Matthews and
Yvonne Coady and
Jonathan Appavoo},
editor = {Christian W. Probst},
title = {Portability events: a programming model for scalable system infrastructures},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
pages = {11},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995.1216006},
doi = {10.1145/1215995.1216006},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/MatthewsCA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/PadioleauHLM06,
author = {Yoann Padioleau and
Ren{\'{e}} Rydhof Hansen and
Julia L. Lawall and
Gilles Muller},
editor = {Christian W. Probst},
title = {Semantic patches for documenting and automating collateral evolutions
in Linux device drivers},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
pages = {10},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995.1216005},
doi = {10.1145/1215995.1216005},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/PadioleauHLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/ProbstGGS06,
author = {Christian W. Probst and
Andreas Gal and
Robert Grimm and
Olaf Spinczyk},
editor = {Christian W. Probst},
title = {Linguistic support for modern operating systems workshop on programming
languages and operating systems 2006 {(PLOS} 2006)},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
pages = {1},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995.1215996},
doi = {10.1145/1215995.1215996},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/ProbstGGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/RegehrCAE06,
author = {John Regehr and
Nathan Cooprider and
Will Archer and
Eric Eide},
editor = {Christian W. Probst},
title = {Efficient type and memory safety for tiny embedded systems},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
pages = {6},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995.1216001},
doi = {10.1145/1215995.1216001},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/RegehrCAE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/RegehrCG06,
author = {John Regehr and
Nathan Cooprider and
David Gay},
editor = {Christian W. Probst},
title = {Atomicity and visibility in tiny embedded systems},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
pages = {2},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995.1215997},
doi = {10.1145/1215995.1215997},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/RegehrCG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/Shapiro06,
author = {Jonathan Shapiro},
editor = {Christian W. Probst},
title = {Programming language challenges in systems codes: why systems programmers
still use C, and what to do about it},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
pages = {9},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995.1216004},
doi = {10.1145/1215995.1216004},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/Shapiro06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/SridharS06,
author = {Swaroop Sridhar and
Jonathan S. Shapiro},
editor = {Christian W. Probst},
title = {Type inference for unboxed types and first class mutability},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
pages = {7},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995.1216002},
doi = {10.1145/1215995.1216002},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/SridharS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/StilkerichWGSF06,
author = {Michael Stilkerich and
Christian Wawersich and
Andreas Gal and
Wolfgang Schr{\"{o}}der{-}Preikschat and
Michael Franz},
editor = {Christian W. Probst},
title = {{OSEK/VDX} {API} for Java},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
pages = {4},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995.1215999},
doi = {10.1145/1215995.1215999},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/StilkerichWGSF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/TjangOMN06,
author = {Andrew Tjang and
F{\'{a}}bio Oliveira and
Richard P. Martin and
Thu D. Nguyen},
editor = {Christian W. Probst},
title = {{A:} an assertion language for distributed systems},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
pages = {8},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995.1216003},
doi = {10.1145/1215995.1216003},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/TjangOMN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/YamauchiW06,
author = {Hiroshi Yamauchi and
Mario Wolczko},
editor = {Christian W. Probst},
title = {Writing Solaris device drivers in Java},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
pages = {3},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995.1215998},
doi = {10.1145/1215995.1215998},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/YamauchiW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/2006plos,
editor = {Christian W. Probst},
title = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995},
doi = {10.1145/1215995},
isbn = {1-59593-577-0},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/2006plos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-22 16:09 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
