Software reliability

Vikram S. Adve

Vikram S. Adve

Vikram S. Adve

Associate Professor of Computer Science

URL:

Vikram V. Adve's Website

Research Interests:

Compilers, software reliability, performance analysis and computer architecture.

Biography:

Vikram Adve is an Associate Professor of Computer Science at the University of Illinois at Urbana-Champaign.  His research interests include compilers and programmming languages, and their use for software security, system reliability, and parallel programming.  His research group developed the LLVM Compiler Infrastructure, a widely distributed and novel compiler framework for 'lifelong' optimization of programs.  LLVM is in production use by several companies including Apple, Adobe, Cray, and others, and is included in both MacOS 10.5 and Apple's SDK.

Darko Marinov

Darko Marinov

Darko Marinov

Associate Professor of Computer Science

URL:

Darko Marinov's Website

Research Interests:

Software reliability; software testing and model checking for sequential, parallel, and distributed code; and program transformations (refactorings).

Biography:

Darko Marinov is an Associate Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. His main research interests are in Software Engineering: improving software reliability; software testing and model checking for sequential, parallel, and distributed code; and program transformations (refactorings). He has a lot of fun looking for software bugs.

Syndicate content