Microsoft Researchers on 2013 ICFP Competition
RiSE
72 postsFilters
List of Episodes
Peter Heldens - Creating Scripts with TouchDevelop
TouchDevelop - Getting Started
Guido de Caso - Distributed Knowledge Authorization Language
ICSE 2011: Conversation with Baris Aktemur
ICSE 2011: Danny Dig - Retrofitting Parallelism into a Sequential World
ICSE 2011: Dieter Rombach - Software Engineering Process Methodology
ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
ICSE 2011: Victor Pankratius - Developing Manycore Applications with Concurrency…
ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History
ICSE 2011: Conversation with Kumiyo Nakakoji
ICSE 2011: Conversation with Andreas Zeller
Pagination