cacm.acm.org: 78 stories from 48 submitters

  1. 29
    Will RISC-V Revolutionize Computing? assembly hardware cacm.acm.org
    ethoh avatar via ethoh 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 58 comments
  2. 4
    Studying Programming in the Neuroage: Just a Crazy Idea? science cacm.acm.org
    vrthra avatar via vrthra 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  3. 6
    Separation Logic (2019) ☶ formalmethods programming cacm.acm.org
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 12
    A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World (2010) c c++ compilers formalmethods cacm.acm.org
    wesleyac avatar via wesleyac 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  5. 14
    Computers Do Not Make Art, People Do ai art compsci cacm.acm.org
    animatronic avatar via animatronic 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  6. 2
    Securing the Boot Process hardware security cacm.acm.org
    mooreds avatar via mooreds 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 7
    Scaling Static Analyses at Facebook formalmethods cacm.acm.org
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  8. 5
    Who Builds a House Without Drawing Blueprints? (2015) formalmethods practices cacm.acm.org
    Eraad avatar via Eraad 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  9. 4
    Owning Computing's Environmental Impact culture practices science cacm.acm.org
    mempko avatar via mempko 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  10. 3
    Memory Models: A Case For Rethinking Parallel Languages and Hardware hardware performance plt programming cacm.acm.org
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 1
    A New Golden Age for Computer Architecture performance scaling cacm.acm.org
    inactive-user avatar via inactive-user 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 1
    A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World (2010) plt cacm.acm.org
    joshuacc avatar via joshuacc 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 15
    Formally Verified Software in the Real World formalmethods programming security cacm.acm.org
    brendan avatar via brendan 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 32
    A Look at the Design of Lua lua cacm.acm.org
    calvin avatar via calvin 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  15. 9
    How We Teach Introductory Computer Science Is Wrong (2009) education cacm.acm.org
    hwayne avatar via hwayne 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  16. 13
    Building the Universal Archive of Source Code historical cacm.acm.org
    quobit avatar via quobit 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 2
    Learning Topic Models Provably and Efficiently compsci cacm.acm.org
    mjn avatar via mjn 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 15
    Lessons from Building Static Analysis Tools at Google compsci cacm.acm.org
    Dawny33 avatar via Dawny33 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  19. 2
    Analysis of SSL Certificate Reissues and Revocations in the Wake of Heartbleed security cacm.acm.org
    mjn avatar via mjn 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 5
    Why Code Comments Still Matter practices programming cacm.acm.org
    quobit avatar via quobit 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  21. 14
    A Programmable Programming Language lisp plt cacm.acm.org
    inactive-user avatar via inactive-user 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  22. 3
    A Historical Perspective of Speech Recognition (2014) ai historical cacm.acm.org
    mjn avatar via mjn 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 13
    Let’s Not Forget the ‘science’ in ‘computer Science’ compsci science cacm.acm.org
    quobit avatar via quobit 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  24. 8
    Retrospective: An Axiomatic Basis for Computer Programming historical practices testing cacm.acm.org
    calvin avatar via calvin 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 1
    A Large-Scale Study of Programming Languages and Code Quality in GitHub programming cacm.acm.org
    fcbsd avatar via fcbsd 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
<< Page 1 | Page 3 >>