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
 
Matthew Parkinson
 

Research

(Analysis last run in January 2008)

2005--2007: 'separation logic'; 'fine-grained concurrency'; 'non-blocking stack'; 'modular safety'; 'semantic definition'; 'core design'; 'j}ava m}odule s}ystem'; 'class invariants'; 'program logic'; 'local reasoning'; 'permission accounting'; 'modular verification';

2000--2004: 'imperative core calculus'; 'core java calculus'; 'effect inference';

Related People