Sarah Harris

According to our database, Sarah Harris authored at least 8 papers between 2007 and 2023.

Collaborative distances:

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

2023

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact).

Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty

Dagstuhl Artifacts Ser., 2023

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper).

Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2019

PrideMM: A Solver for Relaxed Memory Models.

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota

CoRR, 2019

PrideMM: Second Order Model Checking for Memory Consistency Models.

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

Development of a predictive model for estimating forest surface fuel load in Australian eucalypt forests with LiDAR data.

Yang Chen, Xuan Zhu, Marta Yebra, Sarah Harris, Nigel Tapper

Environ. Model. Softw., 2017

2015

Identity Communication in Virtual Teams: Insights from Interviews with Working Professionals.

Susan A. Brown, Sarah Harris, Sherry M. B. Thatcher, David W. Wilson

Proceedings of the 21st Americas Conference on Information Systems, 2015

2011

Evaluating Spectral Indices for Assessing Fire Severity in Chaparral Ecosystems (Southern California) Using MODIS/ASTER (MASTER) Airborne Simulator Data.

Sarah Harris, Sander Veraverbeke, Simon Hook

Remote. Sens., 2011

2007

Sketch understanding systems.

Christine Alvarado, Ned Burns, Howard Chen, Jason Fennell, Sarah Harris, Max Pfleuger, Devin Smith, Paul Wais, Matt Weiner, Aaron Wolin

Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2007