regehr

28 ms·

1.
by regehr 10y ago
I adjusted the text a bit anyhow.
2.
by regehr 10y ago
Yes, I'm adding them as I learn about them her (or, in this case, am reminded about them).
3.
by regehr 10y ago
Anyone who enjoys this story will likely also enjoy _Tau Zero_ by Poul Anderson.
4.
by regehr 10y ago
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, but a lot of those have already been implemented.
5.
by regehr 10y ago
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. Also, Raimondas Sasnauskas, who implemented
6.
by regehr 11y ago
Meanwhile, Java runs pretty fast.
7.
by regehr 11y ago
Replying to myself because depth limit. Let me try to think of a good way to update the post to capture this better...
8.
by regehr 11y ago
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.
9.
by regehr 11y ago
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".
10.
by regehr 11y ago
It doesn't seem straightforward to me: you're using words like base and derived that aren't in the C standard.
11.
by regehr 11y ago
Josh, what's your opinion about this situation? https://goo.gl/3hz0em
12.
by regehr 11y ago
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 the other hand it is slower and harder to
13.
by regehr 11y ago
_A Perfect Spy_ has my vote, it's an incredible book.
14.
by regehr 11y ago
Also we're all waiting for the strict aliasing checker.
15.
by regehr 11y ago
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 want that getting broken either.
16.
by regehr 11y ago
I'm not sure if the QuickCheck people have explored these ideas, perhaps they'll chime in.
17.
by regehr 11y ago
Shrinkers, reducers, minimizers -- all are the same thing and all operate using the basic ideas outlined in the original Delta Debugging paper.
18.
by regehr 11y ago
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 abstract problem. DD just removes stuff. C-Reduce d
19.
by regehr 11y ago
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
20.
by regehr 11y ago
HintHunt in Paris is awesome.
21.
by regehr 11y ago
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: http://blog.regehr.org/archives
22.
by regehr 11y ago
Quest was a much earlier tool (ca. 2005) with similar goals: https://github.com/lindig/quest
23.
by regehr 11y ago
My kids enjoy finger binary since they only need to count to four in order to give me the finger.
24.
by regehr 11y ago
Sure :).
25.
by regehr 11y ago
Many people have observed the LLVM appears to move unusually quickly. This is good except when it's bad.
26.
by regehr 11y ago
Adrian might have mentioned an important drawback of using LLVM: active effort is required to keep up with it. Many an LLVM-based research project has gotten stuck on 2.9 or 3.2 at which point it starts becoming less and less relevant. It&#
27.
by regehr 11y ago
Pretty good book about this incident: http://www.amazon.com/Idaho-Falls-Americas-Nuclear-Accident/...
28.
by regehr 11y ago
Sean, when I visited in 2012 I don't remember any security lines, is this new? I found the Beijing subway to be far nicer than the ones found in major American cities. No surprise since it's much newer.
29.
by regehr 11y ago
One of my favorite things is an old highway in Kansas that emerges from a reservoir that was created in the 1960s and then drops back into the water a short distance away. It's in an out-of-the-way location and we used to go sit on the
30.
by regehr 11y ago
The "without requiring you to think too much about the problem space" is pretty huge and it is where solver-based testing currently falls over (in my experience).

More ›