From the February 2013 issue of the Vision System Design Magazine
http://www.vision-systems.com/articles/print/volume-18/issue-2/departments/snapshots/ai-based-software-predicts-ease-of-intubation.html
Sunday, February 24, 2013
Latent Bugs in Software Development Tools
2 studies on latent bugs in software development tools; one on findings and understanding bugs in C compilers:
http://www.cs.utah.edu/~regehr/papers/pldi11-preprint.pdf
and the other one on error code mismatches between documentation and the real world:
http://www.eecs.berkeley.edu/~rubio/includes/paste10.pdf
http://www.cs.utah.edu/~regehr/papers/pldi11-preprint.pdf
and the other one on error code mismatches between documentation and the real world:
http://www.eecs.berkeley.edu/~rubio/includes/paste10.pdf
Wednesday, February 6, 2013
Spec#
Spec# is a formal language for API contracts (influenced by JML, AsmL, and Eiffel), which extends C# with constructs for non-null types, preconditions, postconditions, and object invariants. Find it @ http://research.microsoft.com/en-us/projects/specsharp/
Subscribe to:
Posts (Atom)
About Me
- Babak Makkinejad
- I had been a senior software developer working for HP and GM. I am interested in intelligent and scientific computing. I am passionate about computers as enablers for human imagination. The contents of this site are not in any way, shape, or form endorsed, approved, or otherwise authorized by HP, its subsidiaries, or its officers and shareholders.