icse 2011

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...

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...

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...

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...

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...