Researcher Presents Aristotle Formal Verification Talk, Joins HASE Workshop in The Hague
satnam6502 · x · 2026-11-11
Researcher satnam6502 gave a talk at REACH 2026 on formal verification with Aristotle and correct circuit synthesis, and is heading to the HASE (High-Assurance Systems Engineering) workshop in The Hague to contribute ideas on scalable formal verification and the challenges of creating specifications.
HASE is a yearly invite-only workshop on principled techniques for verifying correctness and security of hardware and low-level software, co-located with ACM CCS. Topics include microarchitectural attacks and defenses, secure compilers, TEEs, isolation and compartmentalization, and scalable formal verification. HASE 2026 runs 12-14 November 2026 in The Hague.
More from Research
- Sable proves bit-exact LLM inference: Qwen2.5-32B verified on one GPU in 92.5s — MoonMath-ai · 2026-11-11
- AACL 2026 tutorial maps diffusion language models, slides now public — Bollegala · 2026-11-11
- K-means-based output classifier still trainable via alternating minimization, with a KL-constrained E-step — caglar_ee · 2026-11-11
- Molence Bio open-sources Mol-1-constraint for constraint-guided biomolecular prediction — AllThingsApx · 2026-11-11
- Compass 1 navigation foundation model hits 79.4% success in 320 real-world trials, zero-shot transfers to 4 robot types — abursuc · 2026-11-11
- Hollow-core fibre cuts data link lag 30% over 1,000km in Chinese trial — AIFlow_ML · 2026-11-11