Search dblp for Publications

export results for "toc:db/conf/sosp/plos2007.bht:"

 download as .bib file

@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}
}
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.