pdf - Link to a PDF document | Lobsters

Stories tagged as pdf – Link to a PDF document

Tip: read stories across multiple tags with /t/tag1,tag2

7

Reflections on kernel development process, quality and testing pdf linux practices linuxplumbersconf.org
via eatonphil 2 days ago | cached | 3 comments

3
2

Control-Flow Integrity for the Linux kernel: A Security Evaluation pdf linux security alunos.dcc.fc.up.pt
via lattera 2 days ago | cached | 5 comments

5
16

Philosophy of Computer Science ☶ pdf compsci philosophy cse.buffalo.edu
via adamo 4 days ago | cached | 4 comments

4
27

Linux Kernel Fastboot On the Way pdf slides linux performance linuxplumbersconf.org
via calvin 4 days ago | cached | 13 comments

13
2

SlimGuard: A Secure and Memory-Efficient Heap Allocator pdf security ssrg.ece.vt.edu
via fro 4 days ago | cached | no comments

0
1

Smokestack: Thwarting DOP Attacks with Runtime Stack Layout Randomization pdf security dx-dev.computer.org
via fro 4 days ago | cached | no comments

0
6

A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers ☶ pdf formalmethods testing cse.unt.edu
via nickpsecurity 6 days ago | cached | no comments

0
13

9th Circuit holds that scraping a public website does not violate the CFAA [pdf] pdf privacy cdn.ca9.uscourts.gov
via abriosi 6 days ago | cached | 8 comments

8
13

Rash shell: From Reckless Interactions to Reliable Programs ☶ pdf lisp unix willghatch.net
via jmiven 6 days ago | cached | 8 comments

8
2

The Measured Cost of Conservative Garbage Collection (1992) pdf historical programming web.archive.org
via calvin 9 days ago | cached | no comments

0
11

2019 State of the Hardened Union pdf slides freebsd netbsd openbsd github.com
authored by lattera 9 days ago | cached | 10 comments

10
5

Empirical Notes on the Interaction Between Continuous Kernel Fuzzing and Development pdf security users.utu.fi
via lattera 10 days ago | cached | no comments

0
3

Making of PowerPC pdf hardware historical archive.org
via sevan 10 days ago | cached | no comments

0
5

Towards a new era of secure group messaging pdf slides security i.blackhat.com
via skunkwerks 10 days ago | cached | 5 comments

5
3

Narcissus: Correct-by-Construction Derivation of Decoders and Encoders from Binary Formats pdf programming pit-claudel.fr
via calvin 10 days ago | cached | no comments

0
5

Vinod Khosla and Sun Microsystems - Preliminary Business Plan (1982) pdf historical unix khoslaventures.com
via mjturner 11 days ago | cached | no comments

0
3

The Power of 10: Rules for Developing Safety-Critical Code (2006) pdf practices programming web.eecs.umich.edu
via hwayne 11 days ago | cached | 1 comment

1
4

Call-by-Need Is Clairvoyant Call-by-Value ☶ pdf formalmethods plt programming cs.nott.ac.uk
via nickpsecurity 12 days ago | cached | no comments

0
7

Monadic Parsing in Haskell (1998) pdf haskell cs.nott.ac.uk
via calvin 12 days ago | cached | no comments

0
2

Automatic review of abstract state machines by meta property verification (2010) ☶ pdf formalmethods programming security citeseerx.ist.psu.edu
via nickpsecurity 13 days ago | cached | no comments

0
19

Software against humanity? An Illichian perspective on the industrial era of software pdf slides programming cs.kent.ac.uk
via GeoffWozniak 14 days ago | cached | 7 comments

7
3

Three principles of data science: predictability, computability, and stability (PCS) pdf science arxiv.org
via nalzok 14 days ago | cached | 1 comment

1
24

Magritte: A Language for Pipe-Based Programming ☶ pdf unix files.jneen.net
via self 14 days ago | cached | 6 comments

6
10

Dark Internet Mail Environment pdf crypto privacy security darkmail.info
via josuah 16 days ago | cached | 8 comments

8
5

Decisions, Assumptions, and Overfitting (2016) pdf haskell drive.google.com
via hwayne 16 days ago | cached | no comments

0