--- title: Embedded in Academia posts | daily.dev description: Regehr's platform covers topics related to computer science, programming languages, and software engineering research. Through articles, research papers, and technical discussions, Regehr offers insights into compiler optimization techniques, programming language design principles, and software verification methods. Readers can learn about formal methods, type systems, and static analysis tools to improve the reliability and correctness of software systems. Additionally, Regehr provides updates on the latest research advancements, academic conferences, and industry collaborations to help readers stay informed and engaged in the field of computer science research. canonical: https://daily.dev/sources/regehr twitter:card: summary_large_image twitter:site: @dailydotdev og:url: https://daily.dev/sources/regehr og:type: website og:site_name: daily.dev og:title: Embedded in Academia posts | daily.dev og:description: Regehr's platform covers topics related to computer science, programming languages, and software engineering research. Through articles, research papers, and technical discussions, Regehr offers insights into compiler optimization techniques, programming language design principles, and software verification methods. Readers can learn about formal methods, type systems, and static analysis tools to improve the reliability and correctness of software systems. Additionally, Regehr provides updates on the latest research advancements, academic conferences, and industry collaborations to help readers stay informed and engaged in the field of computer science research. og:image: https://api.daily.dev/og/sources/regehr.png og:image:width: 1200 og:image:height: 630 ---  # Embedded in Academia Follow FollowBlock Regehr's platform covers topics related to computer science, programming languages, and software engineering research. Through articles, research papers, and technical discussions, Regehr offers insights into compiler optimization techniques, programming language design principles, and software verification methods. Readers can learn about formal methods, type systems, and static analysis tools to improve the reliability and correctness of software systems. Additionally, Regehr provides updates on the latest research advancements, academic conferences, and industry collaborations to help readers stay informed and engaged in the field of computer science research. [Looking for Missed Alarm Bugs in a Formal Verification Tool – Embedded in Academia](/posts/looking-for-missed-alarm-bugs-in-a-formal-verification-tool-embedded-in-academia-bci0e0h2i)[Dataflow Analyses and Compiler Optimizations that Use Them, for Free – Embedded in Academia](/posts/dataflow-analyses-and-compiler-optimizations-that-use-them-for-free-embedded-in-academia-nzy0qzvqp)[Responsible and Effective Bugfinding – Embedded in Academia](/posts/responsible-and-effective-bugfinding-embedded-in-academia-xr3qkkgpu)[llvm-reduce – Embedded in Academia](/posts/llvm-reduce-embedded-in-academia-hq38cwwc4)[High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM – Embedded in Academia](/posts/high-throughput-formal-methods-assisted-fuzzing-for-llvm-embedded-in-academia-lrwa1u0vj)[Formal-Methods-Based Bugfinding for LLVM’s AArch64 Backend – Embedded in Academia](/posts/formal-methods-based-bugfinding-for-llvm-s-aarch64-backend-embedded-in-academia-vpxhjfieg)[Alive2 Part 3: Things You Can and Can’t Do with Undef in LLVM – Embedded in Academia](/posts/alive2-part-3-things-you-can-and-can-t-do-with-undef-in-llvm-embedded-in-academia-jwlrcdaso)[The Saturation Effect in Fuzzing – Embedded in Academia](/posts/the-saturation-effect-in-fuzzing-embedded-in-academia-mq8yhgwfq)[You Might as Well Be a Great Copy Editor – Embedded in Academia](/posts/you-might-as-well-be-a-great-copy-editor-embedded-in-academia-ephepqikk)[The Gods Pocket Peak Trail – Embedded in Academia](/posts/the-gods-pocket-peak-trail-embedded-in-academia-ycizj4omy) ## Most upvoted posts from Embedded in Academia ## Best discussed posts from Embedded in Academia ## All posts from Embedded in Academia ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/sources/regehr#organization","name":"Embedded in Academia","url":"https://daily.dev/sources/regehr","logo":{"@type":"ImageObject","url":"https://media.daily.dev/image/upload/t_logo,f_auto/v1/logos/184fb345011042d887308ece6c5e5f92"},"description":"Regehr's platform covers topics related to computer science, programming languages, and software engineering research. Through articles, research papers, and technical discussions, Regehr offers insights into compiler optimization techniques, programming language design principles, and software verification methods. Readers can learn about formal methods, type systems, and static analysis tools to improve the reliability and correctness of software systems. Additionally, Regehr provides updates on the latest research advancements, academic conferences, and industry collaborations to help readers stay informed and engaged in the field of computer science research."},{"@type":"CollectionPage","@id":"https://daily.dev/sources/regehr#page","url":"https://daily.dev/sources/regehr","name":"Embedded in Academia posts on daily.dev","description":"Regehr's platform covers topics related to computer science, programming languages, and software engineering research. Through articles, research papers, and technical discussions, Regehr offers insights into compiler optimization techniques, programming language design principles, and software verification methods. Readers can learn about formal methods, type systems, and static analysis tools to improve the reliability and correctness of software systems. Additionally, Regehr provides updates on the latest research advancements, academic conferences, and industry collaborations to help readers stay informed and engaged in the field of computer science research.","about":{"@id":"https://daily.dev/sources/regehr#organization"},"isPartOf":{"@type":"WebSite","url":"https://daily.dev"}},{"@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Sources","item":"https://daily.dev/sources"},{"@type":"ListItem","position":3,"name":"Embedded in Academia"}]}]} ```