Travelled to:1 × Singapore
Collaborated with:C.Sprenger C.S.0001 D.A.Basin
Talks about:consensus (1) algorithm (1) transact (1) restart (1) hardwar (1) memori (1) failur (1) cutoff (1) verif (1) under (1)
Person: Ognjen Maric
DBLP: Maric:Ognjen
Contributed to:
2014
2017Wrote 2 papers:
- FM-2014-MaricS #hardware #memory management #transaction #verification
- Verification of a Transactional Memory Manager under Hardware Failures and Restarts (OM, CS), pp. 449–464.
- CAV-2017-MaricSB #algorithm #bound
- Cutoff Bounds for Consensus Algorithms (OM, CS0, DAB), pp. 217–237.