Search
 
   

16 results for "domain:cs.umd.edu"

  1. 6
    Lightweight Monadic Programming in ML (2011) ☶ pdf compilers ml cs.umd.edu
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  2. 2
    ACSL by Example: Towards a Verified C Standard Library (2016) ☶ pdf c formalmethods cs.umd.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  3. 13
    Locksmith - Practical, Static, Race Detection for C pdf c compsci cs.umd.edu
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | 2 comments
  4. 22
    The Magic of XOR math cs.umd.edu
    pushcx avatar via pushcx 1 year ago | cached | 5 comments
  5. 2
    Xerox Star retrospective pdf culture historical www-lb.cs.umd.edu
    a-109-107 avatar via a-109-107 1 year ago | cached | no comments
  6. 20
    The original Waterfall paper was anti-Waterfall? (1970) ☶ pdf practices programming cs.umd.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 12 comments
  7. 9
    Introduction to Graph Compression techniques pdf compsci cs.umd.edu
    Dawny33 avatar via Dawny33 1 year ago | cached | no comments
  8. 1
    IntegriDB - Verifiable SQL for Outsourced Databases (2015) pdf crypto databases security umiacs.umd.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  9. 2
    The "Double-Checked Locking is Broken" Declaration compsci java programming cs.umd.edu
    goncalo avatar via goncalo 1 year ago | cached | no comments
  10. 4
    Intercepting Arbitrary Functions on Windows, UNIX, and Macintosh OS X Platforms (2004) ☶ pdf c programming wwwold.cs.umd.edu
    mjturner avatar via mjturner 2 years ago | cached | no comments
  11. 1
    An End-to-End Measurement of Certificate Revocation in the Web’s PKI pdf security cs.umd.edu
    kyle avatar via kyle 2 years ago | cached | no comments
  12. 8
    Alibi Routing compsci networking security unix alibi.cs.umd.edu
    jonbaer avatar via jonbaer 3 years ago | cached | no comments
  13. 2
    Political Ideology Detection Using Recursive Neural Networks pdf math umiacs.umd.edu
    vg avatar via vg 3 years ago | cached | no comments
  14. 7
    C-strider: Type-Aware Heap Traversal for C pdf c compsci cs.umd.edu
    animatronic avatar via animatronic 4 years ago | cached | no comments
  15. 7
    The Ruby Type Checker pdf compsci ruby cs.umd.edu
    jcs avatar via jcs 4 years ago | cached | 2 comments
  16. 2
    The Relationship Between COBOL and Computer Science (1985) pdf compsci practices cs.umd.edu
    aturley avatar via aturley 4 years ago | cached | no comments