Sarah Harris

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 6

Top Topics

Interaction Styles

Predictive Model

Top Venues

FM Workshops (2)

Dagstuhl Artifacts Ser.

Publications

Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper). ECOOP (2023)
Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota
PrideMM: A Solver for Relaxed Memory Models. CoRR (2019)
Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota
PrideMM: Second Order Model Checking for Memory Consistency Models. FM Workshops (2) (2019)
Yang Chen, Xuan Zhu, Marta Yebra, Sarah Harris, Nigel Tapper
Development of a predictive model for estimating forest surface fuel load in Australian eucalypt forests with LiDAR data. Environ. Model. Softw. 97 (2017)
Susan A. Brown, Sarah Harris, Sherry M. B. Thatcher, David W. Wilson
Identity Communication in Virtual Teams: Insights from Interviews with Working Professionals. AMCIS (2015)
Sarah Harris, Sander Veraverbeke, Simon Hook
Evaluating Spectral Indices for Assessing Fire Severity in Chaparral Ecosystems (Southern California) Using MODIS/ASTER (MASTER) Airborne Simulator Data. Remote. Sens. 3 (11) (2011)
Christine Alvarado, Ned Burns, Howard Chen, Jason Fennell, Sarah Harris, Max Pfleuger, Devin Smith, Paul Wais, Matt Weiner, Aaron Wolin
Sketch understanding systems. SIGGRAPH Courses (2007)