Resource Reasoning

The 'Resource Reasoning' platform research grant ended in June 2016. This website is now in archival state.

November 2010 Yak session
November 2010 Yak session
November 2010 Yak session
November 2010 Yak session
November 2010 Yak session
November 2010 Yak session
November 2010 Yak session
November 2010 Yak session
November 2010 Yak session
November 2010 Yak session
November 2010 Yak session
November 2010 Yak session
November 2010 Yak session
November 2010 Yak session
November 2010 Yak session
April 2015 UCL Yak session
April 2015 UCL Yak session
April 2015 UCL Yak session
April 2015 UCL Yak session
April 2015 UCL Yak session
April 2015 Resource Reasoning Grant Meeting
April 2015 Resource Reasoning Grant Meeting
April 2015 Resource Reasoning Grant Meeting
April 2015 Resource Reasoning Grant Meeting
April 2015 Resource Reasoning Grant Meeting
April 2015 Resource Reasoning Grant Meeting
April 2015 Resource Reasoning Grant Meeting
April 2015 Resource Reasoning Grant Meeting
April 2015 Resource Reasoning Grant Meeting
April 2015 Resource Reasoning Grant Meeting
Samin Ishtiaq and Peter O'Hearn win the Most Influential POPL Paper Award

This website describes research activity between 2009 and 2016 in the southeast of England – at Imperial, Microsoft Research Cambridge, Oxford, Queen Mary and UCL – on local reasoning about resources.

It arose from work on various forms of separation logic and its associated automatic verification tools.

The ongoing project is to develop an elegant theory (or theories) of resource reasoning that meshes with programmers’ informal intuitions and leads to tractable analysis and verification techniques for a range of problem domains such as classic operating systems, the evolving world of web software and concurrent programming.

The research activity was underpinned by an EPSRC Programme Grant, ‘Resource Reasoning’, and also other grants, fellowships and industrial collaborations (see Support & Connections).