9 stories from 7 submitters
  1. 4
    Programming with a Read-Eval-Synth Loop ☶ pdf compilers cseweb.ucsd.edu
    craigstuntz avatar via craigstuntz 5 months ago | cached | no comments
  2. 11
    The Geometry Engine: A VLSI Geometry System for Graphics (1982) pdf graphics hardware historical cseweb.ucsd.edu
    calvin avatar via calvin 1 year ago | cached | 2 comments
  3. 3
    Reliably Erasing Data from Flash-Based Solid State Drives [2010] ☶ pdf slides security cseweb.ucsd.edu
    mz avatar via mz 1 year ago | cached | 4 comments
  4. 1
    IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (2015) ☶ pdf formalmethods plt programming security cseweb.ucsd.edu
    nickpsecurity avatar via nickpsecurity 2 years ago | cached | no comments
  5. 1
    Principled and Practical Web Application Security (2015) ☶ pdf formalmethods javascript security web cseweb.ucsd.edu
    nickpsecurity avatar via nickpsecurity 2 years ago | cached | no comments
  6. 3
    FaCT: Flexible, Constant-Time, Programming Language (2017) pdf compsci programming security cseweb.ucsd.edu
    nickpsecurity avatar via nickpsecurity 3 years ago | cached | no comments
  7. 6
    The Inside Story on Shared Libraries and Dynamic Loading pdf c linux cseweb.ucsd.edu
    tkozik avatar via tkozik 4 years ago | cached | no comments
  8. 6
    Printing Floating-Point Numbers - A Faster, Always Correct Method pdf math programming cseweb.ucsd.edu
    av avatar via av 5 years ago | cached | no comments
  9. 8
    The State Machine Approach: A tutorial pdf distributed cseweb.ucsd.edu
    SeanTAllen avatar via SeanTAllen 5 years ago | cached | 1 comment