 |
privacy |
||
|
Hangout for experimental confirmation and demonstration of software, computing, and networking. The exercises don't always work out. The professor is a bumbler and the laboratory assistant is a skanky dufus.
Blog Feed Recent Items 
The nfoCentrale Blog Conclave nfoCentrale Associated Sites |
2005-04-21FLINT for bug-free, secure, and reliable software. That should cover it!ACM News Service: Studies Recharge Computer Science. Susie Poppick's 2005-04-20 Yale Daily News article recaps a number of activities in the Yale Computer Science Department. What caught my eye is the description of Zhong Shao's FLINT project. I'm also a little wary of the blurb's use of "with an eye toward commercialization." The article is clear that the project is oriented toward certification of commercially-marketed software. That's reassuring although I don't think that's meant as a limitation. The FLINT approach involves writing certified software, accompanied by a logical proof (of what, pray tell?) that is amenable to mechanical verification. I've always been curious how that could work, and I am more curious since it figures into my immediate interest in raising open-system trustworthiness. There are no links in the article, but a quick search provides some hot leads. Of greatest importance is noticing that the methodology depends on use of a common intermediate language for expressing programs, and it is based on strong typing and safety qualities of the chosen intermediate form. I know where I might be able to use that. Some day. To dig into as part of my immediate trustworthiness preoccupations, there is FLINT's apparent use of SML/NJ (an open-source implementation of Standard ML, where ML is Robin Milner's Meta-Language), as well as efforts on secure programming and proof-carrying code to dig into. The direction is interesting, though I am willing to start with code-carrying attestation, with code-carrying proofs a "nice-to-have when we can finally get it."
|
||
|
You are navigating Orcmid's Lair. |
template
created 2004-06-17-20:01 -0700 (pdt)
by orcmid |