laarcnew | comments | discord | tags | ask | show | place | submit | /l/pdflogin
1.
A Plea for Lean Software - Niklaus Wirth [pdf] (yp.to)
2 points by rain1 to pdf historical software software.crisis 79 days ago | discuss
2.
Grey-Box Concolic Testing on Binary Code (ac.kr)
2 points by nickpsecurity to testing security pdf 120 days ago | 1 comment
3.
Division by 3 [pdf] (arxiv.org)
by rain1 to math mathematics paper pdf 116 days ago | discuss
4.
Wagner's Generalized Birthday Atttack [pdf] (springer.com)
by rain1 to cryptography mathematics paper pdf 133 days ago | discuss
5.
Discrete Calculus [pdf] (uic.edu)
by rain1 to mathematics pdf 196 days ago | discuss
6.
21 compilers and 3 orders of magnitude in 60 minutes (venge.net)
3 points by nickpsecurity to compilers pdf slides 236 days ago | discuss
7.
A Taxonomy of Concurrency Bugs in Datacenter Distributed Systems (uchicago.edu)
by nickpsecurity to distributed reliability pdf 247 days ago | 2 comments
8.
IBM iSeries (AS/400) Architecture (fu-berlin.de)
3 points by nickpsecurity to pdf slides osdev 261 days ago | 1 comment
9.
Falcon: A Graph Manipulation Language for Heterogenous Systems (iisc.ernet.in)
2 points by nickpsecurity to parallel c plt graphs pdf slides 267 days ago | 1 comment
10.
A method for encoding Egyptian quadrats in Unicode [pdf] (unicode.org)
by rain1 to pdf unicode text egypt 281 days ago | 1 comment
11.
Visualizing Information Flow through C Programs (2010) (gilith.com)
by nickpsecurity to pdf slides c security formalmethods visualization 282 days ago | discuss
12.
Writing User-Space, Network Drivers (2019) (arxiv.org)
by nickpsecurity to pdf linux networking c 284 days ago | 1 comment
13.
Boxify: Full-fledged App Sandboxing for Stock Android (2015) (usenix.org)
by nickpsecurity to pdf android security 285 days ago | 1 comment
14.
Design of the EROS Trusted Window System (2004) (jhu.edu)
by nickpsecurity to pdf security gui historical 286 days ago | 1 comment
15.
Compiling with Dependent Types (williamjbowman.com)
4 points by nickpsecurity to pdf compilers plt 294 days ago | discuss
16.
A Survey of Techniques for Improving the Security of GPU's (2018) (arxiv.org)
by nickpsecurity to pdf graphics hardware security 291 days ago | 1 comment
17.
A Survey of Runtime Policy Enforcement Techniques and Implementations (2011) (core.ac.uk)
by nickpsecurity to pdf security programming 291 days ago | 1 comment
18.
Mesh: Compacting Memory Management for C/C++ Applications (arxiv.org)
2 points by nickpsecurity to pdf compsci c c++ reliability performance 299 days ago | 2 comments

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: