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

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.