Matthew Parkinson

Research

I have recently submitted my Thesis, and am now working at Middlesex University with Professor Richard Bornat

I was/am a Ph.D. student in the Theory and Semantics group being supervised by Dr Gavin Bierman and Professor Andrew Pitts. I am interested in formalising the semantics of Object-Oriented programming and developing formal methods for reasoning about programs. I am currently investigating how to use separation logic in a Java like setting.

I previously organised the Theory Mini-courses. These are now organised by Sam Staton

Publications

Separation Logic

• Exploiting linearizability in program logic. (with Bornat) Submitted September 2005.
• Local Reasoning for Java, Ph.D. Thesis, Submitted Aug 2005. Final Version; and a Technical Report (Identical content, but more compactly typeset.)
• Permission Accounting in Separation Logic, (with Bornat, Calcagno, and O'Hearn.) Proceedings of 32nd POPL. Pages 259-270. Jan 2005
• Separation logic and abstraction, (with Bierman) Proceedings of 32nd POPL. Pages 247-258. Jan 2005

I have also presented a short abstract at AppSem04 on When separation logic met Java.

Java Semantics (MJ)

• Effects and effect inference for a core Java calculus. (with Bierman) Proceedings of Workshop on Object-Oriented Developments (WOOD'03). ENTCS 82(8). April 2003. (The slides from WOOD'03.)
• MJ: an imperative core calculus for Java and Java with effects (with Bierman and Pitts) University of Cambridge Computer Laboratory Technical report 563. April 2003.

Supervisions

I have supervised the following courses for Churchill College.
In Part IB: Logic and Proof, Semantics, Foundations of Functional Programming and Prolog.
In Part II: Types, Specification and Verification I and Topics in Concurrency.

Contact Details

EMail:	Matthew.Parkinson at cl.cam.ac.uk
Address:	University of Cambridge Computer Laboratory William Gates Building JJ Thomson Avenue Cambridge CB3 0FD, UK

Miscellaneous

I would like to thank Gareth Stoyle for letting me steal, and modify, his CSS.

Some random links: one to my friend Ewan Mellor's webpage to boost his page rank. He did his final year project on Iota with Gavin Bierman, and also has some great lisp for Sawfish. And a second to Chris Morgan's website as he also wants more pagerank!

Here are some companies I have worked for:

• Leaguevision Limited a web design, draughting, and CAD company based in Nottingham.
• Invest Solutions Limited a software and hardware consultancy based in Cambridge.