Search
 
   

38 results for "domain:cs.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 2 months ago | cached | 3 comments
  3. 6
    Can Logic Programming Execute as Fast as Imperative Programming? (1990) ☶ pdf compilers compsci performance programming eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 6 comments
  4. 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
  5. 5
    Setuid Demystified (2002) ☶ pdf formalmethods security unix people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  6. 6
    TreeRegex: An Extension to Regular Expressions for Matching and Manipulating Tree-Structured Text ☶ pdf javascript eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 3 comments
  7. 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
  8. 2
    Synthesis of Statically-Analyzable, Accelerator Networks from Sequential Programs (2016) pdf compsci hardware performance programming people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | no comments
  9. 2
    DIABLO: Datacenter-in-a-Box Simulator Using FPGA's (2013) compsci distributed hardware networking testing diablo.cs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | no comments
  10. 5
    Markov's Inequality for Matrices math people.eecs.berkeley.edu
    pushcx avatar via pushcx 9 months ago | cached | no comments
  11. 2
    BOOM v2: an open-source out-of-order RISC-V core hardware eecs.berkeley.edu
    Forty-Bot avatar via Forty-Bot 11 months ago | cached | no comments
  12. 3
    Numbers Every Programmer Should Know By Year programming visualization people.eecs.berkeley.edu
    pushcx avatar via pushcx 1 year ago | cached | 1 comment
  13. 2
    Towards High-Assurance HTML5 Applications (2014) pdf programming security web eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  14. 15
    Programming Languages for High-Assurance Autonomous Vehicles (Ivory) ☶ pdf slides compilers security chess.eecs.berkeley.edu
    asthasr avatar via asthasr 1 year ago | cached | 7 comments
  15. 16
    Akaros: open source, GPL-licensed operating system for manycore architectures programming akaros.cs.berkeley.edu
    av avatar via av 1 year ago | cached | no comments
  16. 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
  17. 12
    Design of the RISC-V Instruction Set Architecture pdf assembly hardware eecs.berkeley.edu
    gandro avatar via gandro 2 years ago | cached | 2 comments
  18. 7
    Simulating Physics with Computers pdf compsci math cs.berkeley.edu
    sin avatar via sin 2 years ago | cached | 1 comment
  19. 15
    Numbers Every Programmer Should Know By Year compsci practices programming eecs.berkeley.edu
    friendlysock avatar via friendlysock 2 years ago | cached | 2 comments
  20. 11
    Exterminate all operating system abstractions (1996) pdf programming cs.berkeley.edu
    pushcx avatar via pushcx 2 years ago | cached | no comments
Page: 1 2