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 × France
1 × USA
Collaborated with:
R.H.0001 J.Tristan G.L.S.Jr. D.Dreyer V.Vafeiadis R.J.0002 T.Chajed M.F.Kaashoek N.Zeldovich G.Morrisett G.Tan E.Gan
Talks about:
logic (3) concurr (2) verifi (2) refin (2) stronger (1) recoveri (1) program (1) preserv (1) termin (1) system (1)

Person: Joseph Tassarotti

DBLP DBLP: Tassarotti:Joseph

Contributed to:

ICML 20152015
PLDI 20152015
PLDI 20122012
ESOP 20172017
PLDI 20192019
POPL 20192019

Wrote 6 papers:

ICML-2015-TristanTS #estimation #gpu #performance
Efficient Training of LDA on a GPU by Mean-for-Mode Estimation (JBT, JT, GLSJ), pp. 59–68.
PLDI-2015-TassarottiDV #logic #memory management #verification
Verifying read-copy-update in a logic for weak memory (JT, DD, VV), pp. 110–120.
PLDI-2012-MorrisettTTTG #named #performance
RockSalt: better, faster, stronger SFI for the x86 (GM, GT, JT, JBT, EG), pp. 395–404.
ESOP-2017-TassarottiJ0 #concurrent #higher-order #logic #refinement
A Higher-Order Logic for Concurrent Termination-Preserving Refinement (JT, RJ0, RH0), pp. 909–936.
PLDI-2019-ChajedTKZ #named #refinement #verification
Argosy: verifying layered storage systems with recovery refinement (TC, JT, MFK, NZ), pp. 1054–1068.
POPL-2019-TassarottiH #concurrent #logic #random #source code
A separation logic for concurrent randomized programs (JT, RH0), p. 30.
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.