41554 blogs · [ { "id": "01a07d5d-637f-713f-8cbb-8853c20a9f53", "title": "Looking for Missed Alarm Bugs in a Formal Verification Tool", "url": "https://blog.regehr.org/archives/2124", "published_at": "2024-09-04T18:29:03+00:00" }, { "id": "01a07d5d-637f-713f-8cbb-8853c2227da6", "title": "Dataflow Analyses and Compiler Optimizations that Use Them, for Free", "url": "https://blog.regehr.org/archives/2578", "published_at": "2024-04-20T21:55:33+00:00" }, { "id": "01a07d5d-637f-713f-8cbb-8853c232aa22", "title": "Why Do Peephole Optimizations Work?", "url": "https://blog.regehr.org/archives/2485", "published_at": "2023-11-01T16:23:20+00:00" }, { "id": "01a07d5d-637f-713f-8cbb-8853c2af1288", "title": "Formal-Methods-Based Bugfinding for LLVM’s AArch64 Backend", "url": "https://blog.regehr.org/archives/2265", "published_at": "2022-06-06T14:58:02+00:00" }, { "id": "01a07d5d-637f-713f-8cbb-8853c30211d2", "title": "High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM", "url": "https://blog.regehr.org/archives/2148", "published_at": "2022-05-31T14:56:41+00:00" }, { "id": "01a07d5d-637f-713f-8cbb-8853c3742787", "title": "A Close Look at a Spinlock", "url": "https://blog.regehr.org/archives/2173", "published_at": "2021-11-06T19:57:06+00:00" }, { "id": "01a07d5d-637f-713f-8cbb-8853c448100e", "title": "llvm-reduce", "url": "https://blog.regehr.org/archives/2109", "published_at": "2021-05-13T16:58:00+00:00" }, { "id": "01a07d5d-637f-713f-8cbb-8853c4aeb1a9", "title": "Responsible and Effective Bugfinding", "url": "https://blog.regehr.org/archives/2037", "published_at": "2020-08-17T18:36:43+00:00" }, { "id": "01a07d5d-637f-713f-8cbb-8853c5a1f315", "title": "Alive2 Part 3: Things You Can and Can’t Do with Undef in LLVM", "url": "https://blog.regehr.org/archives/1837", "published_at": "2020-07-31T20:33:05+00:00" }, { "id": "01a07d5d-637f-713f-8cbb-8853c630054b", "title": "The Gods Pocket Peak Trail", "url": "https://blog.regehr.org/archives/1832", "published_at": "2020-07-23T15:41:01+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/blog.regehr.org/posts