Hacker News
- Towards Modern Development of Cloud Applications [pdf] https://sigops.org/s/conferences/hotos/2023/papers/ghemawat.pdf 10 comments
- The Return of the Unix Shell https://www.sigops.org/2021/the-return-of-the-unix-shell/ 4 comments
- Metastable Failures in Distributed Systems [pdf] https://sigops.org/s/conferences/hotos/2021/papers/hotos21-s11-bronson.pdf 12 comments
- Cores that don’t count [pdf] https://sigops.org/s/conferences/hotos/2021/papers/hotos21-s01-hochschild.pdf 71 comments
- Unix Shell Programming: The Next 50 Years [pdf] https://sigops.org/s/conferences/hotos/2021/papers/hotos21-s06-greenberg.pdf 135 comments
- Unix Shell Programming: The Next 50 Years – HotOS Xviii [pdf] https://sigops.org/s/conferences/hotos/2021/papers/hotos21-s06-greenberg.pdf 3 comments
- Everything You Wanted to Know About Synchronization (2013) [pdf] http://sigops.org/sosp/sosp13/papers/p33-david.pdf 4 comments
- COZ: Finding Code That Counts with Causal Profiling [pdf] http://www.sigops.org/sosp/sosp15/current/2015-Monterey/printable/090-curtsinger.pdf 3 comments
- Yesquel: scalable SQL storage for Web applications [pdf] http://sigops.org/sosp/sosp15/current/2015-Monterey/printable/106-aguilera.pdf 3 comments
- Everything You Always Wanted to Know About Synchronization http://sigops.org/sosp/sosp13/papers/p33-david.pdf 3 comments
Lobsters
- Unix Shell Programming: The Next 50 Years https://sigops.org/s/conferences/hotos/2021/papers/hotos21-s06-greenberg.pdf 19 comments devops , pdf
- Cores that don't count https://sigops.org/s/conferences/hotos/2021/papers/hotos21-s01-hochschild.pdf 3 comments hardware , pdf
- People of Systems & Architecture: James Mickens https://www.sigops.org/2020/people-of-systems-architecture-james-mickens/ 8 comments person
- Cores that don’t count - How Google dealt with corrupt execution errors due to manufacturing defects in processors https://sigops.org/s/conferences/hotos/2021/papers/hotos21-s01-hochschild.pdf 11 comments programming
- System Programming in Rust: Beyond Safety https://www.sigops.org/hotos/hotos17/papers/hotos17-final92.pdf 5 comments programming
- System Programming in Rust: Beyond Safety [PDF] https://www.sigops.org/hotos/hotos17/papers/hotos17-final92.pdf 21 comments rust
- seL4, a formally verified version of the L4 microkernel, was spec-prototyped in Haskell (PDF) http://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf 8 comments haskell
- I have questions about automatic theorem proving. http://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf 18 comments compsci