Mark J. Wheelhouse

According to our database, Mark J. Wheelhouse authored at least 10 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Designing for Real People: Teaching Agility through User-Centric Service Design.

Robert Chatley, Tony Field, Mark J. Wheelhouse, Carolyn Runcie, Clive Grinyer, Nick de Leon

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2023

2016

Quicksort Revisited - Verifying Alternative Versions of Quicksort.

Razvan Certezeanu, Sophia Drossopoulou, Benjamin Egelund-Müller, K. Rustan M. Leino, Sinduran Sivarajan, Mark J. Wheelhouse

Proceedings of the Theory and Practice of Formal Methods, 2016

2014

Abstract Local Reasoning for Concurrent Libraries: Mind the Gap.

Philippa Gardner, Azalea Raad, Mark J. Wheelhouse, Adam Wright

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

2012

Segment logic.

Mark James Wheelhouse

PhD thesis, 2012

2011

A simple abstraction for complex concurrent indexes.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Abstract Local Reasoning for Program Modules.

Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Abstraction and Refinement for Local Reasoning.

Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse

Proceedings of the Verified Software: Theories, 2010

2009

Small Specifications for Tree Update.

Philippa Gardner, Mark J. Wheelhouse

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

2008

Local Hoare reasoning about DOM.

Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty

Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

DOM: Towards a Formal Specification.

Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty

Proceedings of the PLAN-X 2008, 2008