BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Estonia
1 × Germany
1 × Hungary
1 × Portugal
1 × Slovenia
1 × Sweden
2 × Denmark
6 × USA
Collaborated with:
M.O.Myreen P.Sewell S.Sarkar M.Flatt M.Batty R.Kumar T.Ridge K.Memarian T.Weber J.Alglave G.Li K.Slind R.Culpepper F.Z.Nardelli M.Norrish Y.K.Tan R.N.S.Rowe H.Férée S.J.Thompson L.Maranget D.Williams D.P.Mulligan K.E.Gray J.C.Blanchette G.Peskine R.Strnisa T.Braibant S.Mador-Haim R.Alur M.M.K.Martin
Talks about:
concurr (4) semant (4) implement (3) power (3) ml (3) multiprocessor (2) structur (2) abstract (2) produc (2) higher (2)

Person: Scott Owens

DBLP DBLP: Owens:Scott

Contributed to:

ICFP 20142014
POPL 20142014
CAV 20122012
ICFP 20122012
PLDI 20122012
POPL 20122012
POPL 20112011
PPDP 20112011
ECOOP 20102010
POPL 20092009
ESOP 20082008
ESOP 20072007
ICFP 20072007
ICFP 20062006
GPCE 20052005
ESOP 20162016
PLDI 20192019

Wrote 17 papers:

ICFP-2014-MulliganOGRS #named #reuse #semantics
Lem: reusable engineering of real-world semantics (DPM, SO, KEG, TR, PS), pp. 175–188.
POPL-2014-KumarMNO #implementation #ml #named
CakeML: a verified implementation of ML (RK, MOM, MN, SO), pp. 179–192.
CAV-2012-Mador-HaimMSMAOAMSW #axiom #memory management #multi
An Axiomatic Memory Model for POWER Multiprocessors (SMH, LM, SS, KM, JA, SO, RA, MMKM, PS, DW), pp. 495–512.
ICFP-2012-MyreenO #higher-order #logic #ml #synthesis
Proof-producing synthesis of ML from higher-order logic (MOM, SO), pp. 115–126.
PLDI-2012-SarkarMOBSMAW #c #c++
Synchronising C/C++ and POWER (SS, KM, SO, MB, PS, LM, JA, DW), pp. 311–322.
POPL-2012-BattyMOSS #c #c++ #compilation #concurrent
Clarifying and compiling C/C++ concurrency: from C++11 to POWER (MB, KM, SO, SS, PS), pp. 509–520.
POPL-2011-BattyOSSW #c++ #concurrent
Mathematizing C++ concurrency (MB, SO, SS, PS, TW), pp. 55–66.
PPDP-2011-BlanchetteWBOS #c++ #concurrent
Nitpicking C++ concurrency (JCB, TW, MB, SO, SS), pp. 113–124.
ECOOP-2010-Owens #abstraction #concurrent #implementation #reasoning
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO (SO), pp. 478–503.
POPL-2009-SarkarSNORBMA #multi #semantics
The semantics of x86-CC multiprocessor machine code (SS, PS, FZN, SO, TR, TB, MOM, JA), pp. 379–391.
ESOP-2008-Owens #semantics
A Sound Semantics for OCamllight (SO), pp. 1–15.
ESOP-2007-LiOS #compilation #higher-order #logic #set
Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic (GL, SO, KS), pp. 205–219.
ICFP-2007-SewellNOPRSS #effectiveness #named #semantics #tool support
Ott: effective tool support for the working semanticist (PS, FZN, SO, GP, TR, SS, RS), pp. 1–12.
ICFP-2006-OwensF
From structures and functors to modules and units (SO, MF), pp. 87–98.
GPCE-2005-CulpepperOF #abstraction #component #interface
Syntactic Abstraction in Component Interfaces (RC, SO, MF), pp. 373–388.
ESOP-2016-OwensMKT #functional #semantics
Functional Big-Step Semantics (SO, MOM, RK, YKT), pp. 589–615.
PLDI-2019-RoweFTO #implementation #ml
Characterising renaming within OCaml's module system: theory and implementation (RNSR, HF, SJT, SO), pp. 950–965.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.