Oliver Pearce

According to our database, Oliver Pearce authored at least 4 papers between 2018 and 2026.

Collaborative distances:

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

2026

RustMC : Automated Verification of Real-World Concurrent Rust.

Oliver Pearce, Julien Lange, Dan O'Keeffe

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2026

2025

RustMC: Extending the GenMC stateless model checker to Rust.

Oliver Pearce, Julien Lange, Dan O'Keeffe

CoRR, February, 2025

2024

Children's perspectives on pain-logging: Insights from a Co-Design Approach.

Linda Price, Irum Rauf, Daniel Gooch, Dmitri S. Katz, Oliver Pearce, Blaine A. Price

Proceedings of the Designing Interactive Systems Conference, 2024

2018

Feel My Pain: Design and Evaluation of Painpad, a Tangible Device for Supporting Inpatient Self-Logging of Pain.

Blaine A. Price, Ryan Kelly, Vikram Mehta, Ciaran McCormick, Hanad Ahmed, Oliver Pearce

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018