Search
 
   

8 results for "domain:theory.stanford.edu"

  1. 6
    Data-Driven Verification (2016) ☶ pdf formalmethods programming theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | no comments
  2. 4
    On Automatically Proving the Correctness of math.h Implementations ☶ pdf formalmethods math programming theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 17 days ago | cached | no comments
  3. 1
    Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions (2015) ☶ pdf android formalmethods java theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  4. 2
    Seams: Provably-Safe, Local Edits on Graphs (2017) ☶ pdf formalmethods plt programming theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  5. 3
    Beyond Worst-Case Analysis (CS264) video compsci theory.stanford.edu
    tf avatar via tf 1 year ago | cached | no comments
  6. 6
    Heuristics in Game Programming games math theory.stanford.edu
    zg avatar via zg 3 years ago | cached | no comments
  7. 2
    Singe: Leveraging Warp Specialization for High Performance on GPUs pdf compsci hardware science theory.stanford.edu
    drturtle avatar via drturtle 4 years ago | cached | no comments
  8. 7
    Introduction to A* compsci programming theory.stanford.edu
    codeon1 avatar via codeon1 4 years ago | cached | no comments