🔬 Program Analysis - jamii

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

🐛Debuggers Code

github.com··Hacker News

RECON: An LLM-Enhanced Backward Constraint Analysis Framework

🐛Debuggers Academic

arxiv.org·

Subversion-Resistance for Free from Formal Verification

🌀Effect Systems

lesswrong.com·

Zcash Developers Weigh New Shielded Pool After Orchard Bug

♻️Incremental Computation

cointelegraph.com·

Less-relevant results

AWS can now mathematically prove your VMs are isolated

📊Columnar Storage

thenewstack.io·

Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt

🔍Abstract Interpretation News

wwd.com

Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks

🛡️Memory Safety News

coindesk.com·

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

λPLT

lix.polytechnique.fr·

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

⚙️Compilers Blog

blog.quarkslab.com·

AI industry leaders urge Congress to regulate synthetic DNA to prevent bioweapons

🛡️Memory Safety

4sysops.com·

Researchers discover hidden chip threats and a way to stop them

🛡️Memory Safety

techxplore.com·

Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors

📊Columnar Storage Blog

aws.amazon.com··Hacker News

The Orchard Bug and the Unfolding Cybersecurity Reckoning

♻️Incremental Computation News Blog

bengoertzel.substack.com··Substack

Formal verification of the S-two AIR

⚙️Compilers Academic

arxiv.org·

View from Bangladesh: India forcing people across the border is becoming a test of ties

🔍Abstract Interpretation News

scroll.in·

AWS’ powerful Graviton5 CPU makes its debut in new M9g and M9gd cloud instances

📊Columnar Storage

siliconangle.com·

Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise

🐛Debuggers

newrepublic.com·

Zcash teams propose Ironwood pool to restore supply verification after Orchard flaw

📊Columnar Storage

cointelegraph.com·

We Cut Semgrep's Taint Analysis Time by 75%

Introducing Soteria: A New Generation of Static Analysis for Rust

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

RECON: An LLM-Enhanced Backward Constraint Analysis Framework

Subversion-Resistance for Free from Formal Verification

Zcash Developers Weigh New Shielded Pool After Orchard Bug

AWS can now mathematically prove your VMs are isolated

Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt

Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

AI industry leaders urge Congress to regulate synthetic DNA to prevent bioweapons

Researchers discover hidden chip threats and a way to stop them

Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors

The Orchard Bug and the Unfolding Cybersecurity Reckoning

Formal verification of the S-two AIR

View from Bangladesh: India forcing people across the border is becoming a test of ties

AWS’ powerful Graviton5 CPU makes its debut in new M9g and M9gd cloud instances

Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise

Zcash teams propose Ironwood pool to restore supply verification after Orchard flaw