Disclaimer: All content has been generated automatically by a program running on the titles of publications extracted from people's webpages. Click here for details. ©2007 Advaith Siddharthan

Umar Janjua

Umar Janjua's Affiliations
- CPRG Group
- - Alan Lawrence
  - Alan Mycroft
  - Anton Lokhmotov
  - Arthur Norman
  - Benjamin Rudiak-Gould
  - Boris Feigin
  - Charuwalee Huadmai
  - Cosmin Oancea
  - Dana Xu
  - Mark Adcock
  - Martin Richards
  - Martin Vechev
  - Peter Buchlovsky
  - Richard Thrippleton
  - Silvia Breu
  - Sofiane Naci
  - Tim Griffin
  - Tom Stuart
  - Umar Janjua
  - Viktor Vafeiadis

Research

(Analysis last run in January 2008)

2005--2007: 'safety violations'; 'automatic correction';

1995--1999: 'java virtual machine';

Related People

Alan Mycroft [ TSG ][ CPRG ][ CAG ]:
- 'automatic correction'; 'safety violations';
Viktor Vafeiadis [ CPRG ]:
- 'safety proof';
Matthew Parkinson [ TSG ]:
- 'modular safety';