Software Engineering Research

31 Entries

  • Language(s)
  • ICSE 2011: Conversation with Baris Aktemur
    14 minutes, 15 seconds
  • ICSE 2011: Danny Dig - Retrofitting Parallelism into a Sequential World
    17 minutes, 9 seconds
  • ICSE 2011: Dieter Rombach - Software Engineering Process Methodology
    27 minutes, 18 seconds
  • ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
    17 minutes, 49 seconds
  • ICSE 2011: Conversation with Kumiyo Nakakoji
    31 minutes, 56 seconds
  • ICSE 2011: Conversation with Andreas Zeller
    24 minutes, 34 seconds
  • Developers: Rise to the Challenge at RiSE4fun.com
  • The Verification Corner - Stepwise Refinement
    22 minutes, 13 seconds
  • Jonathan Edwards: Programming Futures and Declarative Objects
    24 minutes, 16 seconds
  • Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz
    8 minutes, 13 seconds