Viewing profile — regehr

I adjusted the text a bit anyhow.

Yes, I'm adding them as I learn about them her (or, in this case, am reminded about them).

Anyone who enjoys this story will likely also enjoy _Tau Zero_ by Poul Anderson.

It turns out it's harder than you'd think to decide whether or not an optimization is a good idea. Of course there are some relatively simple optimizations that are obviously good,…

It's definitely still an active project, but I'm on sabbatical this academic year and have had much less time than usual for my regular research. I'll be getting back to it in June…

Meanwhile, Java runs pretty fast.

Replying to myself because depth limit. Let me try to think of a good way to update the post to capture this better...

Looks like your other comment hit the max reply depth so this will need to finish up, but in any case I don't agree with your reading of the vice versa.

I don't see text that justifies your one-way argument, the bit of 6.2.7.1 that we are talking about says "and vice versa".

It doesn't seem straightforward to me: you're using words like base and derived that aren't in the C standard.

Josh, what's your opinion about this situation? https://goo.gl/3hz0em

Frama-C can be used in "interpreter mode" where it acts like a checking C interpreter. It then catches a superset of the bugs that would be caught by Valgrind / ASan / UBSan. On th…

_A Perfect Spy_ has my vote, it's an incredible book.

Also we're all waiting for the strict aliasing checker.

For new code and for actively maintained old code you are perfectly correct. But there is a huge amount of C code we still rely on that isn't getting enough attention and I don't w…

I'm not sure if the QuickCheck people have explored these ideas, perhaps they'll chime in.

Shrinkers, reducers, minimizers -- all are the same thing and all operate using the basic ideas outlined in the original Delta Debugging paper.

Delta Debugging provided a name and a generic algorithm for something that people had already been doing, but they hadn't been calling it anything and hadn't formulated it as an ab…

ftp.flux.utah.edu is responding fine for me. If you can't find what you're looking for we can help, I'm regehr@cs.utah.edu

HintHunt in Paris is awesome.

I'm one of the Souper developers and can offer a few pointers that may be more helpful than the github repo. Here's a somewhat recent blog post showing things that Souper can do: h…

Quest was a much earlier tool (ca. 2005) with similar goals: https://github.com/lindig/quest

My kids enjoy finger binary since they only need to count to four in order to give me the finger.

Sure :).

Many people have observed the LLVM appears to move unusually quickly. This is good except when it's bad.