| 1. | | Two-Way String-Matching (1991) [pdf] (researchgate.net) |
| 5 points by burntsushi to compsci research pdf on Feb 7, 2019 | 2 comments |
|
| 2. | | Compiling with Dependent Types (williamjbowman.com) |
| 4 points by nickpsecurity to pdf compilers plt on Feb 22, 2019 | discuss |
|
| 3. | | Behavioral Programming (2012) [pdf] (weizmann.ac.il) |
| 4 points by akkartik to programming pdf dev on Jan 3, 2019 | discuss |
|
| 4. | | 21 compilers and 3 orders of magnitude in 60 minutes (venge.net) |
| 3 points by nickpsecurity to compilers pdf slides on April 21, 2019 | discuss |
|
| 5. | | IBM iSeries (AS/400) Architecture (fu-berlin.de) |
| 3 points by nickpsecurity to pdf slides osdev on March 27, 2019 | 1 comment |
|
| 6. | | A Plea for Lean Software - Niklaus Wirth [pdf] (yp.to) |
| 2 points by rain1 to pdf historical software software.crisis on Sept 25, 2019 | discuss |
|
| 7. | | Grey-Box Concolic Testing on Binary Code (ac.kr) |
| 2 points by nickpsecurity to testing security pdf on Aug 15, 2019 | 1 comment |
|
| 8. | | Falcon: A Graph Manipulation Language for Heterogenous Systems (iisc.ernet.in) |
| 2 points by nickpsecurity to parallel c plt graphs pdf slides on March 21, 2019 | 1 comment |
|
| 9. | | Mesh: Compacting Memory Management for C/C++ Applications (arxiv.org) |
| 2 points by nickpsecurity to pdf compsci c c++ reliability performance on Feb 17, 2019 | 2 comments |
|
| 10. | | High-Assurance, Separation Kernels: A Survey on Formal Methods (arxiv.org) |
| 2 points by nickpsecurity to security realengineering osdev pdf on Feb 5, 2019 | discuss |
|
| 11. | | Division by 3 [pdf] (arxiv.org) |
| by rain1 to math mathematics paper pdf on Aug 19, 2019 | discuss |
|
| 12. | | Wagner's Generalized Birthday Atttack [pdf] (springer.com) |
| by rain1 to cryptography mathematics paper pdf on Aug 2, 2019 | discuss |
|
| 13. | | Discrete Calculus [pdf] (uic.edu) |
| by rain1 to mathematics pdf on May 31, 2019 | discuss |
|
| 14. | | A Taxonomy of Concurrency Bugs in Datacenter Distributed Systems (uchicago.edu) |
| by nickpsecurity to distributed reliability pdf on April 10, 2019 | 2 comments |
|
| 15. | | A method for encoding Egyptian quadrats in Unicode [pdf] (unicode.org) |
| by rain1 to pdf unicode text egypt on March 7, 2019 | 1 comment |
|
| 16. | | Visualizing Information Flow through C Programs (2010) (gilith.com) |
| by nickpsecurity to pdf slides c security formalmethods visualization on March 6, 2019 | discuss |
|
| 17. | | Writing User-Space, Network Drivers (2019) (arxiv.org) |
| by nickpsecurity to pdf linux networking c on March 4, 2019 | 1 comment |
|
| 18. | | Boxify: Full-fledged App Sandboxing for Stock Android (2015) (usenix.org) |
| by nickpsecurity to pdf android security on March 3, 2019 | 1 comment |
|
| 19. | | Design of the EROS Trusted Window System (2004) (jhu.edu) |
| by nickpsecurity to pdf security gui historical on March 2, 2019 | 1 comment |
|
| 20. | | A Survey of Techniques for Improving the Security of GPU's (2018) (arxiv.org) |
| by nickpsecurity to pdf graphics hardware security on Feb 25, 2019 | 1 comment |
|
| 21. | | A Survey of Runtime Policy Enforcement Techniques and Implementations (2011) (core.ac.uk) |
| by nickpsecurity to pdf security programming on Feb 25, 2019 | 1 comment |
|
| 22. | | FaCT: A Flexible, Constant-Time, Programming Language (2017) (ucsd.edu) |
| by nickpsecurity to crypto security programming compilers pdf on Feb 2, 2019 | 1 comment |
|
