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: Owens:Scott
Contributed to:
2014
2014
20122012
201220122011
2011
20102009
2008200720072006
200520162019Wrote 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.