Hacker News
- The Return of the Unix Shell https://www.sigops.org/2021/the-return-of-the-unix-shell/ 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
Lobsters
- People of Systems & Architecture: James Mickens https://www.sigops.org/2020/people-of-systems-architecture-james-mickens/ 8 comments person
- 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