Travelled to:1 × France
2 × USA
Collaborated with:D.Garbuzov S.Zdancewic D.Griffith E.L.Gunter A.W.Appel A.Nogin Ariel Eizenberg Yuanfeng Peng Toma Pigli J.Devietti J.Kang C.Hur V.Vafeiadis
Talks about:program (2) memori (2) model (2) barracuda (1) sequenti (1) parallel (1) support (1) specifi (1) pointer (1) axiomat (1)
Person: William Mansky
DBLP: Mansky:William
Contributed to:
2015
2015
2014
20172017Wrote 5 papers:
- CAV-2015-ManskyGZ #axiom #memory management #modelling #specification
- An Axiomatic Specification for Sequential Memory Models (WM, DG, SZ), pp. 413–428.
- PLDI-2015-KangHMGZV #c #memory management
- A formal C memory model supporting integer-pointer casts (JK, CKH, WM, DG, SZ, VV), pp. 326–335.
- GRAPHITE-2014-ManskyGG #optimisation #parallel #source code #specification
- Specifying and Executing Optimizations for Parallel Programs (WM, DG, ELG), pp. 58–70.
- OOPSLA-2017-ManskyAN
- A verified messaging system (WM, AWA, AN), p. 28.
- PLDI-2017-EizenbergPPMD #analysis #named #runtime #source code
- BARRACUDA: binary-level analysis of runtime RAces in CUDA programs (AE, YP, TP, WM, JD), pp. 126–140.