Blog Post

ICSE 2011: Conversation with Andreas Zeller

Sign in to queue

The Discussion

  • User profile image
    felix9

    hopefully static verification and theorem provers can save even more debugging time ! Smiley

  • User profile image
    GreyCloud

    Good stuff, Delta Debugging sounds great - wish there was a visual studio 2010 add in for it !

  • User profile image
    Charles

    I found it to be quite alarming that most undergraduate CS and CE curriculums do not employ any significant (or any at all...) focus on the art and craft of debugging. When you think about the role debuggers and debugging play in our lives, it just baffles my mind. Of course, there is no magic silver bullet debugger that will find all possible combinations of potential errors... In some sense, this is really a human behavioral problem -> too often we write code without spending enough time up front understanding and then clearly describing what we expect the code can and will do...

    Just like secure coding practices, folks need to be educated on patterns and practices of implicit debugging of code during composition/design time and not blindly rely on the development infrastructure (tooling) machinery to do it for us - compilers and debuggers do the heavy lifting, yes - but we can do much better up front.

    This conversation really opened my eyes. Thank you, Andreas!

    Assertions!

    C

  • User profile image
    Richard.Hein

    What is that symbol on Wolfram's shirt?  I've only started watching the first bit of this video, but am totally distracted by the symbol, because I know I recognize it, but can't remember where it is from.  It's driving me up the wall.  Perplexed

  • User profile image
    Charles

    @Richard.Hein: Not sure, but Honolulu is part of the equation, which means Hawaii. Perhaps it's a symbol related to some natural phenomenon or structure/form?

    Wolfram?

    C

  • User profile image
    felix9
  • User profile image
    Richard.Hein

    @Charles: Ah, it's Team Element ... skateboard company.  LOL Smiley  It says right on the shirt.  Blushing

  • User profile image
    exoteric
    Very much use and appreciate Code Contracts/ dbc. But would like full static support even in express versions of VS so that the full power of static verification and contracts becomes mass-popularized and used by every programmer. Also would like MS to move ideas from Spec# (& Eiffel) into C#/VB and to support saner defaults (non null ref types, immutability specs, etc.)

Add Your 2 Cents