Ask HN: What was the best CS paper you read in 2017?

Post by auggierose » Sat, Dec 30, 2017, 10:34 PM UTC

mcguire wrote: post #75

godelmachine wrote: post #55

Earlier quoted context omitted.

I want to learn formal verification on my own. Do you know of any resources? I got Rolf Dreshler's book on circuit verification, but I would like to master both hardware and software. Would you kindly provide with some pointers?

Two schools: * Coq/dependent types. Check out Software Foundations by Benjamin Pierce, et. al. Everything's online. Also see Idris, which has a good book from Manning. * SMT-solver-based verification of existing languages. See SPARK/Ada (there's a good book but I can't remember the name presently) and the GNAT website. Also, Frama-C, although the documentation is more spotty. Then there's Rustan Leino's work on Dafny…

Post by sulam » Sat, Dec 30, 2017, 10:59 PM UTC

cinjon wrote: post #89

sulam wrote: post #33

Earlier quoted context omitted.

Have you seen the results when they let a trained model manage Borg? The power reductions were immediate, non-trivial, and performance stayed the same. There's your scheduling result for you. Look at it this way. As the paper points out, a Hashtable is just a heuristic that works fairly well in the worst case and reasonably well in the average case. No one would argue that you couldn't hand-roll an algorithm that is…

Link to paper that cedes control of Borg?

Post by tybit » Sat, Dec 30, 2017, 11:29 PM UTC

ky3 wrote: post #32

Leslie Lamport's 1978 "State the Problem Before Describing the Solution" [0]. On his web page the author adds that "The title says it all. This one-page note is as relevant today as when I wrote it. Replace "describing the solution" by "writing the program" and it becomes a practical recipe for improving software." Herewith, the paper in full: "After several years of writing papers in computer science, I discovered t…

Post by alecco » Sat, Dec 30, 2017, 11:55 PM UTC

Post by rmk » Sun, Dec 31, 2017, 12:22 AM UTC

dekayed wrote: post #40

AlexTelon wrote: post #23

Earlier quoted context omitted.

A very interesting read indeed! Besides HN how can one find great papers like this? How did you find out about it?

I'd recommend taking a look at Papers We Love https://github.com/papers-we-love/papers-we-love