Embedded in Academia blog.regehr.org

John Regehr, Professor of Computer Science, University of Utah, USA

Looking for Missed Alarm Bugs in a Formal Verification Tool
blog.regehr.org·75w
Dataflow Analyses and Compiler Optimizations that Use Them, for Free
blog.regehr.org·94w
Why Do Peephole Optimizations Work?
blog.regehr.org·119w
Formal-Methods-Based Bugfinding for LLVM’s AArch64 Backend
blog.regehr.org·192w
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM
blog.regehr.org·193w
A Close Look at a Spinlock
blog.regehr.org·222w
llvm-reduce
blog.regehr.org·248w
Responsible and Effective Bugfinding
blog.regehr.org·68w·
Discuss: Hacker News
Alive2 Part 3: Things You Can and Can’t Do with Undef in LLVM
blog.regehr.org·289w
The Gods Pocket Peak Trail
blog.regehr.org·290w

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help