ICSE 2011

8 Entries

  • This Week
  • This Month
  • All Time
  • Language(s)
  • ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
    17 minutes, 49 seconds
  • ICSE 2011: Victor Pankratius - Developing Manycore Applications with Concurrency Auto-Tuners
    19 minutes, 15 seconds
  • ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History
    36 minutes, 6 seconds
  • ICSE 2011: Conversation with Andreas Zeller
    24 minutes, 34 seconds
  • ICSE 2011: Conversation with Kumiyo Nakakoji
    31 minutes, 56 seconds
  • ICSE 2011: Dieter Rombach - Software Engineering Process Methodology
    27 minutes, 18 seconds
  • ICSE 2011: Danny Dig - Retrofitting Parallelism into a Sequential World
    17 minutes, 9 seconds
  • ICSE 2011: Conversation with Baris Aktemur
    14 minutes, 15 seconds