I work for the Visual C++ group at Microsoft where I am responsible for determining the quality of floating-point code generation. My interests include validated numerical computing and generative programming. My most recent research involves validating floating-point optimizations using interval-analysis.

I’m particularly excited about our new floating-point model in Visual C++ which will better enable correct and fast floating-point code. We’ve been working on it for a couple of years now and eagerly await feedback from our customers during the first Beta cycle.

Please feel free to post any questions and comments.