1. 1
    Programmatic Control of a Compiler for Generating High-Performance, Spatial Hardware (2017) ☶ pdf compilers hardware programming arxiv.org
    nickpsecurity avatar via nickpsecurity 15 hours ago | cached | no comments
  2. 3
    Source Code Verification for Embedded Systems using Prolog (2016) ☶ pdf c++ formalmethods programming montenegros.de
    nickpsecurity avatar via nickpsecurity 15 hours ago | cached | no comments
  3. 3
    Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior (2013) pdf c pdos.csail.mit.edu
    pstef avatar via pstef 33 hours ago | cached | no comments
  4. 3
    Formal Verification of Obstacle Avoidance and Navigation of Ground Robots (2017) ☶ pdf formalmethods hardware programming symbolaris.com
    nickpsecurity avatar via nickpsecurity 36 hours ago | cached | no comments
  5. 4
    Refinement Types for TLA+ (2014) ☶ pdf formalmethods plt citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 36 hours ago | cached | no comments
  6. 4
    Toward a Framework for Highly Automated Vehicle Safety Validation, Philip Koopman & Michael Wagner pdf formalmethods practices testing users.ece.cmu.edu
    trn avatar via trn 39 hours ago | cached | no comments
  7. 3
    What you get is what you C: Controlling side effects in mainstream C compilers ☶ pdf c compilers drive.google.com
    fcbsd avatar via fcbsd 2 days ago | cached | 1 comment
  8. 2
    Parsing with Derivatives pdf performance plt matt.might.net
    enkiv2 avatar via enkiv2 2 days ago | cached | no comments
  9. 2
    A Functional I/O System (2009) ☶ pdf education lisp cs.brown.edu
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | no comments
  10. 2
    A Provably Correct Sampler for Probabilistic Programs (2016) ☶ pdf ai formalmethods programming microsoft.com
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | no comments
  11. 5
    A Gentle Introduction to Capabilities pdf security dropbox.com
    calvin avatar via calvin 2 days ago | cached | no comments
  12. 1
    The Essence of Reynolds (2014) pdf person plt cs.ucl.ac.uk
    hwayne avatar via hwayne 3 days ago | cached | no comments
  13. 33
    Rust Case Study: Chucklefish Taps Rust to Bring Safe Concurrency to Video Games pdf games rust rust-lang.org
    calvin avatar via calvin 3 days ago | cached | 13 comments
  14. 9
    "Thirty Years Later: Lessons from the Multics Security Evaluation", Paul Karger, Roger Schell (2002) ☶ pdf practices security acsac.org
    trn avatar via trn 3 days ago | cached | 1 comment
  15. 6
    Computer Security: the Achilles’ heel of the electronic Air Force? (Roger R. Schell) [1979] ☶ pdf historical practices security insct.syr.edu
    trn avatar via trn 3 days ago | cached | no comments
  16. 3
    Learning Assertions to Verify Linked-List Programs (2015) ☶ pdf ai c formalmethods www-users.cs.york.ac.uk
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | no comments
  17. 3
    Trace-based Verification of Imperative Programs with I/O (2010) ☶ pdf formalmethods ml web gmalecha.github.io
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | no comments
  18. 1
    FINE-CFI: Fine-grained Control-Flow Integrity for Operating System Kernels pdf security cs.wayne.edu
    fro avatar via fro 4 days ago | cached | no comments
  19. 6
    Can Logic Programming Execute as Fast as Imperative Programming? (1990) ☶ pdf compilers compsci performance programming eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | 6 comments
  20. 3
    Towards a Programmer's Apprentice (Again) (2015) ☶ pdf ai programming groups.csail.mit.edu
    nickpsecurity avatar via nickpsecurity 5 days ago | cached | no comments
  21. 6
    A Survey of Rollback-Recovery Protocols in Message-Passing Systems (2002) pdf distributed cs.utexas.edu
    jtfmumm avatar via jtfmumm 6 days ago | cached | no comments
  22. 3
    Compatible Time-Sharing System (1961-1973) Fiftieth Anniversary Commemorative Overview [2011-2012] pdf compsci historical multicians.org
    trn avatar via trn 6 days ago | cached | no comments
  23. 5
    Design-by-Contract for Specification and Conformance Testing of Distributed Software (2014) ☶ pdf distributed formalmethods testing researchgate.net
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | 1 comment
  24. 2
    Dissecting the NVIDIA Volta GPU Architecture via Microbenchmarking ☶ pdf hardware performance arxiv.org
    mjn avatar via mjn 7 days ago | cached | no comments
  25. 18
    Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) pdf lisp programming ccs.neu.edu
    calvin avatar via calvin 7 days ago | cached | 11 comments
Page 2 >>