Search Results

46 results

Looking for Missed Alarm Bugs in a Formal Verification Tool – Embedded in Academia

https://blog.regehr.org/archives/2124

Embedded in Academia – John Regehr, Professor of Computer Science, University of Utah, USA

http://blog.regehr.org/

Helping Generative Fuzzers Avoid Looking Only Where the Light is Good, Part 1 – Embedded in Academia

https://blog.regehr.org/archives/1700

Write Fuzzable Code – Embedded in Academia

https://blog.regehr.org/archives/1687

It’s Time for a Modern Synthesis Kernel – Embedded in Academia

https://blog.regehr.org/archives/1676

Synthesizing Constants – Embedded in Academia

https://blog.regehr.org/archives/1636

John Regehr's Personal Page

https://john.regehr.org/

Dataflow Analyses and Compiler Optimizations that Use Them, for Free – Embedded in Academia

https://blog.regehr.org/archives/2578

Why Do Peephole Optimizations Work? – Embedded in Academia

https://blog.regehr.org/archives/2485

Formal-Methods-Based Bugfinding for LLVM’s AArch64 Backend – Embedded in Academia

https://blog.regehr.org/archives/2265

Filters
Category
Domain
In web feed
Language