☰

Scott Owens, Ph.D. - Publications

Affiliations: 
2007 University of Utah, Salt Lake City, UT 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

8 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Tan YK, Myreen MO, Kumar R, Fox ACJ, Owens S, Norrish M. The verified CakeML compiler backend Journal of Functional Programming. 29. DOI: 10.1017/S0956796818000229  0.409
2016 Kumar R, Arthan R, Myreen MO, Owens S. Self-Formalisation of Higher-Order Logic Journal of Automated Reasoning. 56: 221-259. DOI: 10.1007/S10817-015-9357-X  0.375
2014 Myreen MO, Owens S. Proof-producing translation of higher-order logic into pure and stateful ML Journal of Functional Programming. 24: 284-315. DOI: 10.1017/S0956796813000282  0.472
2010 Sewell P, Sarkar S, Owens S, Nardelli FZ, Myreen MO. x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors Communications of the Acm. 53: 89-97. DOI: 10.1145/1785414.1785443  0.346
2010 Sewell P, Nardelli Fz, Owens S, Peskine G, Ridge T, Sarkar S, StrniŠa R. Ott: Effective tool support for the working semanticist Journal of Functional Programming. 20: 71-122. DOI: 10.1017/S0956796809990293  0.377
2009 Owens S, Reppy J, Turon A. Regular-expression derivatives re-examined Journal of Functional Programming. 19: 173-190. DOI: 10.1017/S0956796808007090  0.323
2008 Owens S, Slind K. Adapting functional programs to higher order logic Higher-Order and Symbolic Computation. 21: 377-409. DOI: 10.1007/s10990-008-9038-0  0.54
2006 Gordon M, Iyoda J, Owens S, Slind K. Automatic formal synthesis of hardware from higher order logic Electronic Notes in Theoretical Computer Science. 145: 27-43. DOI: 10.1016/J.Entcs.2005.10.003  0.532
Show low-probability matches.