Search
 
   

69 results for "domain:cmu.edu"

  1. 4
    VeriPhy: Verified Controller Executables from Verified Cyber-Physical Models ☶ pdf formalmethods programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 21 days ago | cached | no comments
  2. 1
    When "ASLR" Is Not Really ASLR - The Case of Incorrect Assumptions and Bad Defaults security windows insights.sei.cmu.edu
    fro avatar via fro 24 days ago | cached | no comments
  3. 5
    Quotations for Learning and Programming ☶ practices programming cs.cmu.edu
    ceh avatar via ceh 25 days ago | cached | 2 comments
  4. 2
    Semantic Crash Bucketing ☶ pdf testing cs.cmu.edu
    ceh avatar via ceh 26 days ago | cached | 1 comment
  5. 6
    SEI CERT C Coding Standard ☶ c wiki.sei.cmu.edu
    klingtnet avatar via klingtnet 1 month ago | cached | 2 comments
  6. 1
    Dancing with Giants: Wimpy Kernels for On-demand Isolated I/O (2014) ☶ pdf security virtualization cylab.cmu.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  7. 3
    Building Safer UGV's with Run-time, Safety Invariants (2009) pdf slides programming security users.ece.cmu.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 3 comments
  8. 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 4 months ago | cached | no comments
  9. 3
    The Evolution of an x86 Virtual Machine Monitor (2010) ☶ pdf hardware historical virtualization ece.cmu.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  10. 6
    Stack Computers: The New Wave: A Survey of Computers with Hardware Stack Support [1989] hardware historical users.ece.cmu.edu
    trn avatar via trn 5 months ago | cached | 1 comment
  11. 1
    QWeSST: Type-Safe, Web Programming Language (2011) ☶ pdf slides plt web cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  12. 7
    Social Processes and Proofs of Theorems and Programs (1979) ☶ pdf formalmethods practices cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 5 comments
  13. 64
    A C89 compiler that produces executables that are also valid ASCII text files pdf compilers cs.cmu.edu
    dl avatar via dl 6 months ago | cached | 4 comments
  14. 1
    Task Assignment with Unknown Duration pdf distributed networking repository.cmu.edu
    grahamc avatar via grahamc 6 months ago | cached | no comments
  15. 12
    The Setenv Fiasco (2015) unix club.cc.cmu.edu
    pushcx avatar via pushcx 7 months ago | cached | 6 comments
  16. 9
    Refinement Types in ML (1991) pdf compilers compsci ml programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 2 comments
  17. 16
    Interview with Simon Peyton-Jones (POPL 2018) haskell person cs.cmu.edu
    puffnfresh avatar via puffnfresh 7 months ago | cached | no comments
  18. 4
    People of Programming Languages plt cs.cmu.edu
    evhan avatar via evhan 7 months ago | cached | no comments
  19. 17
    Interview of Xavier Leroy ­— POPL 18 compilers compsci ml person cs.cmu.edu
    c-cube avatar via c-cube 8 months ago | cached | 2 comments
  20. 9
    People of Programming Languages: Interviews With PL Researchers ☶ formalmethods ml plt cs.cmu.edu
    seako avatar via seako 8 months ago | cached | no comments
Page: 1 2 3 4