/l/pdf | laarc

laarc

1.		A Plea for Lean Software - Niklaus Wirth [pdf] (yp.to)
		2 points by rain1 to pdf historical software software.crisis 20 days ago \| discuss
2.		Grey-Box Concolic Testing on Binary Code (ac.kr)
		2 points by nickpsecurity to testing security pdf 61 days ago \| 1 comment
3.		Division by 3 [pdf] (arxiv.org)
		by rain1 to math mathematics paper pdf 57 days ago \| discuss
4.		Wagner's Generalized Birthday Atttack [pdf] (springer.com)
		by rain1 to cryptography mathematics paper pdf 75 days ago \| discuss
5.		Discrete Calculus [pdf] (uic.edu)
		by rain1 to mathematics pdf 138 days ago \| discuss
6.		21 compilers and 3 orders of magnitude in 60 minutes (venge.net)
		3 points by nickpsecurity to compilers pdf slides 177 days ago \| discuss
7.		A Taxonomy of Concurrency Bugs in Datacenter Distributed Systems (uchicago.edu)
		by nickpsecurity to distributed reliability pdf 188 days ago \| 2 comments
8.		IBM iSeries (AS/400) Architecture (fu-berlin.de)
		3 points by nickpsecurity to pdf slides osdev 202 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 208 days ago \| 1 comment
10.		A method for encoding Egyptian quadrats in Unicode [pdf] (unicode.org)
		by rain1 to pdf unicode text egypt 223 days ago \| 1 comment
11.		Visualizing Information Flow through C Programs (2010) (gilith.com)
		by nickpsecurity to pdf slides c security formalmethods visualization 223 days ago \| discuss
12.		Writing User-Space, Network Drivers (2019) (arxiv.org)
		by nickpsecurity to pdf linux networking c 225 days ago \| 1 comment
13.		Boxify: Full-fledged App Sandboxing for Stock Android (2015) (usenix.org)
		by nickpsecurity to pdf android security 226 days ago \| 1 comment
14.		Design of the EROS Trusted Window System (2004) (jhu.edu)
		by nickpsecurity to pdf security gui historical 227 days ago \| 1 comment
15.		Compiling with Dependent Types (williamjbowman.com)
		4 points by nickpsecurity to pdf compilers plt 236 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 233 days ago \| 1 comment
17.		A Survey of Runtime Policy Enforcement Techniques and Implementations (2011) (core.ac.uk)
		by nickpsecurity to pdf security programming 233 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 240 days ago \| 2 comments