Search
 
   

9 results for "domain:people.eecs.berkeley.edu"

  1. 2
    High-Coverage Hint Generation for Massive Courses ☶ pdf video compsci formalmethods lisp programming people.eecs.berkeley.edu
    aminb avatar via aminb 1 month ago | cached | 1 comment
  2. 7
    Scaling up Superoptimization (2016) ☶ pdf compilers performance people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 3 comments
  3. 1
    A Design and Verification Methodology for Secure Isolated Regions (2016) ☶ pdf formalmethods programming security people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  4. 5
    Setuid Demystified (2002) ☶ pdf formalmethods security unix people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  5. 4
    An Interview with the Old Man of Floating-Point [1998] historical programming people.eecs.berkeley.edu
    gerikson avatar via gerikson 7 months ago | cached | no comments
  6. 2
    Synthesis of Statically-Analyzable, Accelerator Networks from Sequential Programs (2016) pdf compsci hardware performance programming people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | no comments
  7. 5
    Markov's Inequality for Matrices math people.eecs.berkeley.edu
    pushcx avatar via pushcx 9 months ago | cached | no comments
  8. 3
    Numbers Every Programmer Should Know By Year programming visualization people.eecs.berkeley.edu
    pushcx avatar via pushcx 1 year ago | cached | 1 comment
  9. 1
    Stuart Russell's Q & A: The future of artificial intelligence cogsci compsci philosophy people.eecs.berkeley.edu
    tf avatar via tf 1 year ago | cached | no comments