Search
 
   

39 results for "domain:cacm.acm.org"

  1. 2
    Learning Topic Models Provably and Efficiently compsci cacm.acm.org
    mjn avatar via mjn 2 months ago | cached | no comments
  2. 14
    Lessons from Building Static Analysis Tools at Google compsci cacm.acm.org
    Dawny33 avatar via Dawny33 3 months ago | cached | 12 comments
  3. 2
    Analysis of SSL Certificate Reissues and Revocations in the Wake of Heartbleed security cacm.acm.org
    mjn avatar via mjn 5 months ago | cached | no comments
  4. 5
    Why Code Comments Still Matter practices programming cacm.acm.org
    quobit avatar via quobit 6 months ago | cached | 4 comments
  5. 13
    A Programmable Programming Language lisp plt cacm.acm.org
    leeg avatar via leeg 6 months ago | cached | 10 comments
  6. 3
    A Historical Perspective of Speech Recognition (2014) ai historical cacm.acm.org
    mjn avatar via mjn 6 months ago | cached | no comments
  7. 13
    Let’s Not Forget the ‘science’ in ‘computer Science’ compsci science cacm.acm.org
    quobit avatar via quobit 6 months ago | cached | 1 comment
  8. 8
    Retrospective: An Axiomatic Basis for Computer Programming historical practices testing cacm.acm.org
    calvin avatar via calvin 9 months ago | cached | no comments
  9. 1
    A Large-Scale Study of Programming Languages and Code Quality in GitHub programming cacm.acm.org
    fcbsd avatar via fcbsd 10 months ago | cached | 1 comment
  10. 8
    A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World (2010) ☶ compsci formalmethods programming cacm.acm.org
    pja avatar via pja 1 year ago | cached | no comments
  11. 20
    In Memoriam: Jean E. Sammet 1928-2017 person programming cacm.acm.org
    calvin avatar via calvin 1 year ago | cached | 7 comments
  12. 4
    An Interview With Edsger W. Dijkstra ☶ compsci cacm.acm.org
    eliezerb avatar via eliezerb 1 year ago | cached | no comments
  13. 4
    Certifying a File System Using Crash Hoare Logic: Correctness in the Presence of Crashes ☶ compsci cacm.acm.org
    mjn avatar via mjn 1 year ago | cached | no comments
  14. 5
    Attack of the Killer Microseconds programming scaling cacm.acm.org
    calvin avatar via calvin 1 year ago | cached | 6 comments
  15. 12
    Why Google Stores Billions of Lines of Code in a Single Repository ☶ practices vcs cacm.acm.org
    joshuacc avatar via joshuacc 1 year ago | cached | 5 comments
  16. 4
    Black-box learning of automata compsci cacm.acm.org
    mjn avatar via mjn 1 year ago | cached | 1 comment
  17. 10
    Pure Randomness Extracted from Two Poor Sources compsci cacm.acm.org
    mjn avatar via mjn 1 year ago | cached | no comments
  18. 6
    Time to Reinspect the Foundations? - CACM Nov 2016 ☶ compsci historical philosophy cacm.acm.org
    quobit avatar via quobit 1 year ago | cached | no comments
  19. 9
    What Makes a Program Elegant? philosophy programming cacm.acm.org
    quobit avatar via quobit 1 year ago | cached | 1 comment
  20. 1
    Adaptive Computation: The Multidisciplinary Legacy of John H. Holland person cacm.acm.org
    mjn avatar via mjn 2 years ago | cached | no comments
Page: 1 2