A site devoted mostly to everything related to Information Technology under the sun - among other things.

Sunday, February 24, 2013

AI in Medicine

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

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

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/

About Me

My photo
I am a senior software developer working for General Motors Corporation.. I am interested in intelligent computing 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.

Blog Archive