BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
Collaborated with:
O.Padon S.Shoham M.Sagiv R.Guerraoui V.Kuncak I.Berkovits M.Lazic J.Hoenicke A.Podelski Marcelo Taube K.L.McMillan J.R.Wilcox D.Woos
Talks about:
distribut (3) decid (3) verif (2) logic (2) decomposit (1) threshold (1) algorithm (1) protocol (1) lineariz (1) modular (1)

Person: Giuliano Losa

DBLP DBLP: Losa:Giuliano

Contributed to:

PLDI 20122012
CAV (2) 20192019
OOPSLA 20172017
PLDI 20182018
POPL 20182018

Wrote 5 papers:

Speculative linearizability (RG, VK, GL), pp. 55–66.
CAV-2019-BerkovitsLLPS #algorithm #composition #decidability #distributed #logic #verification
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics (IB, ML, GL, OP, SS), pp. 245–266.
OOPSLA-2017-PadonLSS #decidability #distributed #protocol #reasoning
Paxos made EPR: decidable reasoning about distributed protocols (OP, GL, MS, SS), p. 31.
PLDI-2018-TaubeLMPSSWW #composition #decidability #deduction #distributed #verification
Modularity for decidability of deductive verification with applications to distributed systems (MT, GL, KLM, OP, MS, SS, JRW, DW), pp. 662–677.
POPL-2018-PadonHLPSS #first-order #liveness #logic #safety
Reducing liveness to safety in first-order logic (OP, JH, GL, AP, MS, SS), p. 33.

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.