Hacker News
- The 2012 Millennium Artifact https://www.cs.rochester.edu/users/faculty/nelson/courses/csc_200/project_2012_site/index.html 22 comments
- Undecidability (1999) https://www.cs.rochester.edu/u/nelson/courses/csc_173/computability/undecidable.html 3 comments
- Understanding and optimizing persistent memory allocation (2020) [pdf] https://www.cs.rochester.edu/u/scott/papers/2020_ISMM_Ralloc.pdf 2 comments
- Refactoring the FreeBSD Kernel with Checked C [pdf] https://www.cs.rochester.edu/u/jzhou41/papers/freebsd_checkedc.pdf 13 comments
- Simple, Fast, Practical Non-Blocking and Blocking Concurrent Queue Algorithms http://www.cs.rochester.edu/u/michael/PODC96.html 5 comments
- Refactoring the FreeBSD Kernel with Checked C [pdf] https://www.cs.rochester.edu/u/jzhou41/papers/freebsd_checkedc.pdf 4 comments freebsd
- [PDF] Simplifying Transactional Memory Support in C++ http://www.cs.rochester.edu/u/scott/papers/2019-04-29_taco_preprint.pdf 3 comments cpp
- Improving Haskell STM Performance (2016) https://www.cs.rochester.edu/u/ryates/files/ryates-haskell-tm-poster.pdf 18 comments haskell