Search
 
   

17 results for "domain:princeton.edu"

  1. 4
    Formal Verification of Coalescing Graph-Coloring Register Allocation (2010) ☶ pdf compilers formalmethods cs.princeton.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  2. 7
    A Verified Messaging System (2017) ☶ pdf c formalmethods security cs.princeton.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  3. 3
    Security Testing of a Secure, Cache Design (2016) pdf compsci hardware security palms.ee.princeton.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 1 comment
  4. 9
    Unix and Beyond: An Interview with Ken Thompson ☶ person unix cs.princeton.edu
    dgv avatar via dgv 8 months ago | cached | 1 comment
  5. 5
    New silicon structure opens the gate to quantum computers hardware princeton.edu
    Yogthos avatar via Yogthos 8 months ago | cached | no comments
  6. 2
    In Computer Languages, Clarity Is Key person programming paw.princeton.edu
    calvin avatar via calvin 1 year ago | cached | no comments
  7. 4
    Quicksort analyzed pdf compsci programming cs.princeton.edu
    vyodaiken avatar via vyodaiken 1 year ago | cached | no comments
  8. 10
    Sedgewick, Cardinality Estimation pdf compsci math cs.princeton.edu
    tf avatar via tf 1 year ago | cached | no comments
  9. 9
    OpenPiton - open source research processor ☶ hardware parallel.princeton.edu
    sevan avatar via sevan 2 years ago | cached | no comments
  10. 21
    Brian Kernighan book on Go Language book go princeton.edu
    softinio avatar via softinio 2 years ago | cached | 2 comments
  11. 5
    The Zephyr Abstract Syntax Description Language pdf compilers cs.princeton.edu
    pushcx avatar via pushcx 2 years ago | cached | no comments
  12. 3
    Experience with the Linotron 202 (1980) ☶ pdf reversing cs.princeton.edu
    tedu avatar via tedu 2 years ago | cached | 1 comment
  13. 8
    Unix Pipes Inspired by APL unix princeton.edu
    rubenbarroso avatar via rubenbarroso 2 years ago | cached | no comments
  14. 11
    The Most Dangerous Equation ☶ pdf math press.princeton.edu
    pushcx avatar via pushcx 2 years ago | cached | 1 comment
  15. 5
    A Regular Expression Matcher c compsci programming cs.princeton.edu
    sin avatar via sin 2 years ago | cached | 1 comment
  16. 7
    Tracking the Flow of Ideas through the Programming Languages Literature pdf compsci practices cs.princeton.edu
    pushcx avatar via pushcx 3 years ago | cached | no comments
  17. 3
    A Regular Expression Matcher c programming cs.princeton.edu
    jdp avatar via jdp 4 years ago | cached | no comments