Skip to content

Sarah Harris

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

2007–2023

Best venue rank

A*

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2023ECOOPRust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper).Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty
2019FMPrideMM: Second Order Model Checking for Memory Consistency Models.Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikols Janota
2007SIGGRAPHSketch understanding systems.Christine Alvarado, Ned Burns, Howard Chen, Jason Fennell, Sarah Harris, Max Pfleuger, Devin Smith, Paul Wais, Matt Weiner, Aaron Wolin