Search
 
   

8 results for "domain:cs.utah.edu"

  1. 7
    KLOVER: A Symbolic Execution and Automatic, Test Generator for C++ Programs pdf c++ testing cs.utah.edu
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | 1 comment
  2. 9
    Xerox: Friar Tuck & Robin Hood historical security cs.utah.edu
    feoh avatar via feoh 1 year ago | cached | 1 comment
  3. 38
    The Story of Mel, a Real Programmer (1983) assembly historical programming cs.utah.edu
    rdegges avatar via rdegges 2 years ago | cached | 8 comments
  4. 8
    CS 6510 Practical Functional Programming lisp programming cs.utah.edu
    friendlysock avatar via friendlysock 2 years ago | cached | no comments
  5. 23
    Csmith c testing embed.cs.utah.edu
    pushcx avatar via pushcx 2 years ago | cached | 3 comments
  6. 8
    Understanding Integer Overflow in C/C++ pdf compsci security cs.utah.edu
    jcs avatar via jcs 2 years ago | cached | no comments
  7. 8
    Undefined Behaviors in LLVM pdf slides compilers cs.utah.edu
    pushcx avatar via pushcx 2 years ago | cached | no comments
  8. 4
    Binding as Sets of Scopes: Notes on a new model of macro expansion for Racket lisp programming cs.utah.edu
    SeanW avatar via SeanW 2 years ago | cached | no comments