there are a lot of good choices depending on what you want to emphasize. I like the Bansal/Aiken paper from ASPLOS '06 a lot, and also "Synthesis of Loop Free Programs" from like PLDI '14
-
-
-
-
Replying to @johnregehr @lindsey
I liked this class when I took it in 2012: http://web.stanford.edu/class/cs357/ Alex and David gave the class, with Clark as guest. I'm thinking of this paper: https://raw.githubusercontent.com/StanfordPL/stoke/develop/docs/papers/asplos13.pdf … I still have some notes and the readings. Looks like I did this for the class:https://github.com/jfbastien/BitBlast …
4 replies 1 retweet 7 likes -
I used STOKE once to generate some SIMD code! It was fun
1 reply 0 retweets 4 likes -
I think it's so cool that it actually works
1 reply 0 retweets 1 like -
I found STOKE useful as sort of a guide to give me a rough idea of the best way to do something, which I then implemented manually. There’s more work to be done before I’d be comfortable actually shipping the generated code verbatim.
1 reply 0 retweets 1 like -
basically all superoptimizers to date have this issue, that a human should be in the loop somewhere. it's something I'd like to fix.
2 replies 0 retweets 1 like -
I’m actually OK with this, though. I think I want an “algorithm idea generator” more than a superoptimizer.
3 replies 0 retweets 1 like -
yeah there's room for a lot of different tools here! the ones I want are those that displace hand-written instcombine and isel.
1 reply 0 retweets 1 like
Another example: I just wrote a fragment shader to draw a checkerboard pattern for debugging. There are a lot of ways I can think of to do this and if I actually cared about perf it would be annoying. Would be nice for a tool to just tell me which technique is fastest.
-
-
Replying to @pcwalton @johnregehr and
e.g. what I came up with is this. A quick Google search suggests that most people abuse the sign function instead. Which is faster? ¯\_(ツ)_/¯pic.twitter.com/CuvlXQezMU
0 replies 0 retweets 0 likesThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I liked some of what Halide tried to do in that direction, with auto tuning.
0 replies 0 retweets 0 likesThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.