1. 3
    The Specification, Verification, and Implementation of Data Structure in ACL2 (2013) ☶ pdf formalmethods lisp programming computer.org
    nickpsecurity avatar via nickpsecurity 12 hours ago | cached | no comments
  2. 2
    Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants ☶ pdf formalmethods hardware security cc.gatech.edu
    nickpsecurity avatar via nickpsecurity 12 hours ago | cached | no comments
  3. 2
    DTHREADS: Efficient Deterministic Multithreading (2011) ☶ pdf c c++ people.cs.ksu.edu
    nickpsecurity avatar via nickpsecurity 37 hours ago | cached | no comments
  4. 9
    Abstracting Abstract Machines (2011) ☶ pdf formalmethods plt ccs.neu.edu
    nickpsecurity avatar via nickpsecurity 37 hours ago | cached | 6 comments
  5. 4
    Modern Extensible Languages (2007) ☶ pdf plt programming danielzingaro.com
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | 3 comments
  6. 1
    Programmer's Guide for MARC, 4-bit Microcontrollers pdf historical programming web.archive.org
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | 1 comment
  7. 5
    A Brief Introduction to Distributed Systems (2016) pdf distributed programming cs.vu.nl
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | no comments
  8. 3
    Formal Specification and Verification of a Microkernel (2010) ☶ pdf c formalmethods osdev people.cs.ksu.edu
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | no comments
  9. 6
    A Visual, Intuitive Guide to Imaginary Numbers education math betterexplained.com
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | 2 comments
  10. 2
    CuriOS: Improving Reliability through Operating System Structure (2008) ☶ pdf osdev people.cs.ksu.edu
    nickpsecurity avatar via nickpsecurity 5 days ago | cached | no comments
  11. 4
    On Automatically Proving the Correctness of math.h Implementations ☶ pdf formalmethods math programming theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 5 days ago | cached | no comments
  12. 7
    Herbie: Automatically Improving Floating Point Accuracy ☶ compsci math programming herbie.uwplse.org
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | no comments
  13. 4
    VeriPhy: Verified Controller Executables from Verified Cyber-Physical Models ☶ pdf formalmethods programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 7 days ago | cached | no comments
  14. 8
    Data Structures for Text Sequences (1998) ☶ pdf compsci programming cs.unm.edu
    nickpsecurity avatar via nickpsecurity 7 days ago | cached | 5 comments
  15. 1
    A Survey of Programming Languages and Platforms for Multi-Agent Systems (2006) pdf compsci programming vsis-www.informatik.uni-hamburg.de
    nickpsecurity avatar via nickpsecurity 8 days ago | cached | no comments
  16. 6
    Type Theory and Functional Programming (1999) pdf book formalmethods programming cs.kent.ac.uk
    nickpsecurity avatar via nickpsecurity 8 days ago | cached | 2 comments
  17. 7
    Introduction to Computer Organization with x86-64 Assembly Language & GNU/Linux assembly c education hardware bob.cs.sonoma.edu
    nickpsecurity avatar via nickpsecurity 9 days ago | cached | no comments
  18. 6
    Verifying Optimizations Using SMT Solvers pdf slides compilers formalmethods performance llvm.org
    nickpsecurity avatar via nickpsecurity 9 days ago | cached | 1 comment
  19. 11
    Life Lessons from Differential Equations math philosophy practices johndcook.com
    nickpsecurity avatar via nickpsecurity 10 days ago | cached | 2 comments
  20. 2
    Chips-2.0: FPGA Design Suite Based on C to Verilog Design Flow ☶ hardware programming github.com
    nickpsecurity avatar via nickpsecurity 10 days ago | cached | no comments
  21. 4
    OpenFastPath: Open-Source, User-Space, Fast-Path, TCP/IP Stack pdf slides networking performance events.static.linuxfound.org
    nickpsecurity avatar via nickpsecurity 10 days ago | cached | no comments
  22. 15
    History of the BASIC Engine games hardware historical programming basicengine.org
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | no comments
  23. 2
    BrainCoqulus: A Formally Verified Optimizing Compiler of Lambda Calculus to Brainfuck ☶ pdf compilers formalmethods read.seas.harvard.edu
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | no comments
  24. 9
    A Brief History of the BEAM Compiler compilers erlang historical blog.erlang.org
    nickpsecurity avatar via nickpsecurity 12 days ago | cached | no comments
  25. 2
    Formal Verification of a Flash Memory Device Driver - An Experience Report (2008) ☶ pdf c formalmethods hardware citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 13 days ago | cached | no comments
Page 2 >>