@article{Armstrong2019,
abstract = {Architecture specifications notionally define the fundamental interfacereturn;
author = {Armstrong, Alasdair and Pulte, Christopher and Flur, Shaked and Stark, Ian and Krishnaswami, Neel and Sewell, Peter and Bauereiss, Thomas and Campbell, Brian and Reid, Alastair and Gray, Kathryn E. and Norton, Robert M. and Mundkur, Prashanth and Wassell, Mark and French, Jon},
doi = {10.1145/3290384},
file = {:E$\backslash$:/java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 1
issn = {2475-1421},
journal = {Proceedings of the ACM on Programming Languages},
number = {POPL},
pages = {1--31},
title = {{ISA semantics for ARMv8-A, RISC-V, and CHERI-MIPS}},
volume = {3},
year = {2019}
}
@article{Vazou2014,
abstract = {SMT-based checking of refinement types for call-by-value languages is a wellvoid ocfs2_map_and_dirty_folio(truct inode *inode, handle_t *handle,
annote = {ICFP Video - https://www.youtube.com/watch?v=vqvNQixKr6w},
archivePrefix = {arXiv},
arxivId = {arXiv:1604.02480v1},
author = {Vazou, Niki and Seidel, Eric L and Peyton-jones, Simon},
doi = {10.1145/2628136.2628161},
eprint = {arXiv:1604.02480v1},
file = {:C$\backslash$:/Users/User/AppData/Local/Mendeley Ltd./Mendeley Desktop/Downloaded/Merz, Vanzetto - 2014 - Refinement types for Haskell.pdf:pdf},
isbn = {9781450328739},
issn = {15232867},
journal = {ICFP '14 Proceedings of the 19th ACM SIGPLAN international conference on Functional programming},
mendeley-groups = {Semantic Tools/RefinementTypes  size_t from,size_t , struct  *folio, int zero,
title = {{Refinement Types For Haskell}},
year = {2014}
}