The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods| concerningquality.com
I show recent progress, and describe a job for a compiler engineer.| www.oilshell.org
| www.cis.upenn.edu
Extracting a Verified Interpreter from Isabelle/HOL| concerningquality.com
I was chatting with a PhD student while back, who remarked to me that many senior PL researchers seemed stuck in a defensive crouch. I thoug...| semantic-domain.blogspot.com