icse 2011

  1. Windows 7 ICSE 2011: Danny Dig - Retrofitting Parallelism into a Sequential World

    Link Removed is a Principal Investigator at the Link Removed (UPCRC Illinois). UPCRC's stated mission is to make parallel programming synonymous with programming. Dr. Dig leads research on refactorings that retrofit parallelism into existing sequential code. How do you retrovit parallelism into...
    • News
    • Thread
    • code refactoring code retrofits danny dig icse 2011 interview parallelism programming research sequential code software development upcrc illinois wolfram schulte
    • Replies: 0
    • Forum: Live RSS Feeds

  2. Windows 7 ICSE 2011: Dieter Rombach - Software Engineering Process Methodology

    Prof. Dr. Dieter Rombach studied mathematics and computer science at the universities of Karlsruhe and Kaiserslautern. Since 1992, he has held the chair for Software Engineering at the University of Kaiserslautern, and since 1996, he has been Executive Director of the Fraunhofer Institute for...
    • News
    • Thread
    • code reuse computer science dieter rombach engineering environment engineering methods football management fraunhofer institute icse 2011 process methodology quality assurance quantitative methods software development software models software processes topics university of kaiserslautern
    • Replies: 0
    • Forum: Live RSS Feeds

  3. Windows 7 ICSE 2011: Grigore Rosu - The Art and Science of Program Verification

    Grigore Rosu is an associate professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Link Removed (FSL). His research interests encompass both theoretical foundations and system development in the areas of formal methods...
    • News
    • Thread
    • acm sigsoft awards computer science etaps 2002 executable semantics formal methods grigore rosu hoare logic icse 2011 nasa ames nsf career programming languages research software development software verification system development teaching theoretical foundations uiuc
    • Replies: 0
    • Forum: Live RSS Feeds

  4. Windows 7 ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History

    Meet Dr. John Rushby, a computer scientist who runs the Formal Methods group within the Computer Science Laboratory at SRI International. Dr. Rushby is a legendary scientist in the field of formal methods and verification. He has a very rich history in the computer science which you will learn...
    • News
    • Thread
    • computer science computing history expert conversations formal methods icse 2011 john rushby mouse sri international verification wolfram schulte
    • Replies: 0
    • Forum: Live RSS Feeds

  5. Windows 7 ICSE 2011: Conversation with Andreas Zeller

    ICSE, the International Conference on Software Engineering,® is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering...
    • News
    • Thread
    • algorithms andreas zeller code assertions computer science conference debugging delta debugging developer community education expert conversations icse 2011 innovation program failures programming quality assurance research software development software trends wolfram schulte
    • Replies: 0
    • Forum: Live RSS Feeds