Hacker News new | past | comments | ask | show | jobs | submit login

I was very curious to skim the papers that (I presume) covered results on non-toy programs. Unfortunately all three 404 :(.

EDIT: Took a look at the issues for the repo, and here are links that work:

https://cs.stanford.edu/people/eschkufz/docs/asplos291-schku...

https://cs.stanford.edu/people/eschkufz/docs/oopsla011-sharm...

https://cs.stanford.edu/people/eschkufz/docs/pldi52-schkufza...

In the issue he also mentioned this paper that's linked from his page:

https://cs.stanford.edu/people/eschkufz/docs/cove.pdf

Going to start reading through these now, seems pretty interesting and I've never come across something like this before.




> I've never come across something like this before.

Have a look at Souper. I believe it's got slightly different approach, but the same idea / result. (https://github.com/google/souper)

Actually I'm a bit disappointed that none of the papers references it (did a quick text search only).


That's because a) the initial STOKE paper (2013) is older than Souper (initial commit 2014) and b) there is no Souper paper so far




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: