Newest Stories by nickpsecurity | Lobsters

1

Portable RK: A Portable Resource Kernel for Guaranteed and Enforced Timing Behavior (1999) ☶ pdf linux programming pdfs.semanticscholar.org
via nickpsecurity 38 hours ago | cached | no comments

0
1

An Overview of the K Framework ☶ pdf slides formalmethods fsl.cs.illinois.edu
via nickpsecurity 2 days ago | cached | no comments

0
8

How to Evaluate the Suitability of a Formal Method for Industrial Deployment? A Survey ☶ pdf formalmethods programming scch.at
via nickpsecurity 3 days ago | cached | 1 comment

1
6

Data-Driven Verification (2016) ☶ pdf formalmethods programming theory.stanford.edu
via nickpsecurity 4 days ago | cached | no comments

0
2

Concurrent Program Verification by Code Transformation: Correctness (2017) ☶ pdf c formalmethods univ-orleans.fr
via nickpsecurity 6 days ago | cached | no comments

0
13

A Haskell Compiler: Slides on the GHC Implementation compilers haskell scs.stanford.edu
via nickpsecurity 7 days ago | cached | 2 comments

2
5

Functional Programming on a Stack-Based Embedded Processor (2006) ☶ pdf compilers hardware programming home.iae.nl
via nickpsecurity 7 days ago | cached | no comments

0
1

Towards High Assurance HTML5 Applications (2014) ☶ pdf formalmethods web pdfs.semanticscholar.org
via nickpsecurity 8 days ago | cached | no comments

0
6

The many faces of consistency distributed programming muratbuffalo.blogspot.com
via nickpsecurity 8 days ago | cached | no comments

0
6

Kitsune: Efficient, General-Purpose Framework for Dynamic, Software Updating in C ☶ c compsci kitsune-dsu.com
via nickpsecurity 9 days ago | cached | 1 comment

1
3

Hardware Alternatives to Intel for Security Concerns (2013) hardware security pastebin.com
authored by nickpsecurity 11 days ago | cached | 4 comments

4
3

Verifying the Correctness of a Compiler for an Imperative, Programming Language (2011) ☶ pdf compilers formalmethods dspace.jaist.ac.jp
via nickpsecurity 11 days ago | cached | no comments

0
20

The Jury is In: Monolithic OS Design is Flawed ☶ pdf osdev security ts.data61.csiro.au
via nickpsecurity 11 days ago | cached | 15 comments

15
4

The Specification, Verification, and Implementation of Data Structure in ACL2 (2013) ☶ pdf formalmethods lisp programming computer.org
via nickpsecurity 12 days ago | cached | no comments

0
3

Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants ☶ pdf formalmethods hardware security cc.gatech.edu
via nickpsecurity 12 days ago | cached | no comments

0
2

DTHREADS: Efficient Deterministic Multithreading (2011) ☶ pdf c c++ people.cs.ksu.edu
via nickpsecurity 13 days ago | cached | no comments

0
11

Abstracting Abstract Machines (2011) ☶ pdf formalmethods plt ccs.neu.edu
via nickpsecurity 13 days ago | cached | 7 comments

7
4

Modern Extensible Languages (2007) ☶ pdf plt programming danielzingaro.com
via nickpsecurity 14 days ago | cached | 3 comments

3
1

Programmer's Guide for MARC, 4-bit Microcontrollers pdf historical programming web.archive.org
via nickpsecurity 14 days ago | cached | 1 comment

1
5

A Brief Introduction to Distributed Systems (2016) pdf distributed programming cs.vu.nl
via nickpsecurity 15 days ago | cached | no comments

0
3

Formal Specification and Verification of a Microkernel (2010) ☶ pdf c formalmethods osdev people.cs.ksu.edu
via nickpsecurity 15 days ago | cached | no comments

0
6

A Visual, Intuitive Guide to Imaginary Numbers education math betterexplained.com
via nickpsecurity 16 days ago | cached | 2 comments

2
2

CuriOS: Improving Reliability through Operating System Structure (2008) ☶ pdf osdev people.cs.ksu.edu
via nickpsecurity 17 days ago | cached | no comments

0
4

On Automatically Proving the Correctness of math.h Implementations ☶ pdf formalmethods math programming theory.stanford.edu
via nickpsecurity 17 days ago | cached | no comments

0
7

Herbie: Automatically Improving Floating Point Accuracy ☶ compsci math programming herbie.uwplse.org
via nickpsecurity 18 days ago | cached | no comments

0